Decision #80 — lib.rs:6475
Status: unreached
Truth table
| row | c0 br 447 | c1 br 448 | outcome |
|---|
Independent-effect pairs
c0(branch447): DEAD view gap →<alloc::collections::btree::map::entry::OccupiedEntry<u32, alloc::collections::btree::set_val::SetValZST>>::remove_kv· br_ifc1(branch448): DEAD view gap →<alloc::collections::btree::map::entry::OccupiedEntry<u32, alloc::collections::btree::set_val::SetValZST>>::remove_kv· br_if