Decision #303 — library/core/src/slice/iter/macros.rs:284
Status: unreached
Truth table
| row | c0 br 1603 | c1 br 1604 | outcome |
|---|
Independent-effect pairs
c0(branch1603): 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(branch1604): 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