Decision #468 — lib.rs:2830
Status: unreached
Truth table
| row | c0 br 3227 | c1 br 3228 | outcome |
|---|
Independent-effect pairs
c0(branch3227): DEAD view gap →<alloc::collections::btree::map::IntoIter<usize, alloc::collections::btree::set_val::SetValZST>>::dying_next· br_if
inlined: lib.rs:2881c1(branch3228): DEAD view gap →<alloc::collections::btree::map::IntoIter<usize, alloc::collections::btree::set_val::SetValZST>>::dying_next· br_if
inlined: lib.rs:2881