Decision #975 — library/core/src/slice/mod.rs:4325
Status: partial
Truth table
| row | c0 br 1955 | c1 br 1956 | c2 br 1957 | c3 br 1958 | outcome |
|---|
Independent-effect pairs
All 4 conditions live in scry_analyze_core::i32_binop — 1 br_table_default + 3 br_table_target
c0(branch1955): PROVEDc1(branch1956): DEAD view gap →c2(branch1957): DEAD view gap →c3(branch1958): DEAD view gap →