Decision #562 — library/core/src/slice/index.rs:238
Status: unreached
Truth table
| row | c0 br 3880 | c1 br 3893 | c2 br 3894 | c3 br 3895 | outcome |
|---|
Independent-effect pairs
All 4 conditions live in scry_analyze_core::strip_rust_disambiguator — 4 br_if
c0(branch3880): DEAD view gap →c1(branch3893): DEAD view gap →c2(branch3894): DEAD view gap →c3(branch3895): DEAD view gap →