Decision #875 — library/alloc/src/vec/mod.rs:2746
Status: unreached
Truth table
| row | c0 br 5820 | c1 br 5821 | c2 br 5822 | c3 br 5823 | c4 br 5824 | c5 br 5825 | outcome |
|---|
Independent-effect pairs
All 6 conditions live in <scry_segment::Segmentation>::weak_store — 6 br_if
c0(branch5820): DEAD view gap →c1(branch5821): DEAD view gap →c2(branch5822): DEAD view gap →c3(branch5823): DEAD view gap →c4(branch5824): DEAD view gap →c5(branch5825): DEAD view gap →