Decision #638 — library/alloc/src/vec/mod.rs:1864
Status: unreached
Truth table
| row | c0 br 4549 | c1 br 4551 | outcome |
|---|
Independent-effect pairs
c0(branch4549): DEAD view gap →<scry_float::FloatAbstract>::add· br_ifc1(branch4551): DEAD view gap →<scry_float::FloatAbstract>::add· br_if