Decision #255 — library/core/src/slice/index.rs:272
Status: unreached
Truth table
| row | c0 br 1298 | c1 br 1306 | outcome |
|---|
Independent-effect pairs
c0(branch1298): DEAD view gap →<alloc::collections::btree::map::BTreeMap<_, _, _> as core::clone::Clone>::clone::clone_subtree::<usize, alloc::collections::btree::set_val::SetValZST, alloc::alloc::Global>· br_ifc1(branch1306): DEAD view gap →<alloc::collections::btree::map::BTreeMap<_, _, _> as core::clone::Clone>::clone::clone_subtree::<usize, alloc::collections::btree::set_val::SetValZST, alloc::alloc::Global>· br_if