Decision #650 — library/core/src/slice/mod.rs:5577
Status: unreached
Truth table
| row | c0 br 4591 | c1 br 4592 | outcome |
|---|
Independent-effect pairs
c0(branch4591): DEAD view gap →alloc::vec::from_elem::<bool>· br_ifc1(branch4592): DEAD view gap →alloc::vec::from_elem::<bool>· br_if