Decision #581 — lib.rs:6207
Status: unreached
Truth table
| row | c0 br 3985 | c1 br 3988 | outcome |
|---|
Independent-effect pairs
c0(branch3985): DEAD view gap →<alloc::collections::btree::map::IntoIter<usize, alloc::collections::btree::set_val::SetValZST>>::dying_next· br_ifc1(branch3988): DEAD view gap →<alloc::collections::btree::map::IntoIter<usize, alloc::collections::btree::set_val::SetValZST>>::dying_next· br_if