Decision #302 — library/core/src/ptr/non_null.rs:614
Status: unreached
Truth table
| row | c0 br 1597 | c1 br 1605 | outcome |
|---|
Independent-effect pairs
c0(branch1597): 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(branch1605): 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