Decision #640 — library/core/src/slice/index.rs:272
Status: unreached
Truth table
| row | c0 br 4552 | c1 br 4553 | outcome |
|---|
Independent-effect pairs
c0(branch4552): DEAD view gap →<scry_float::FloatAbstract>::add· br_ifc1(branch4553): DEAD view gap →<scry_float::FloatAbstract>::add· br_if