Decision #287 — library/alloc/src/raw_vec/mod.rs:434
Status: no_witness
Truth table
| row | c0 br 2135 | c1 br 2136 | c2 br 2137 | outcome |
|---|---|---|---|---|
| 788 | T | T | * | T |
| 3828 | T | T | * | T |
| 6773 | T | T | * | T |
Independent-effect pairs
All 3 conditions live in scry_analyze_core::analyze — 3 br_if
c0(branch2135): GAP view gap →c1(branch2136): GAP view gap →c2(branch2137): DEAD view gap →