Decision #648 — library/core/src/slice/index.rs:278
Status: unreached
Truth table
| row | c0 br 4583 | c1 br 4584 | outcome |
|---|
Independent-effect pairs
c0(branch4583): DEAD view gap →<scry_float::FloatAbstract>::mul· br_ifc1(branch4584): DEAD view gap →<scry_float::FloatAbstract>::mul· br_if