Decision #1005 — library/core/src/slice/index.rs:238
Status: unreached
Truth table
| row | c0 br 6380 | c1 br 6390 | c2 br 6394 | c3 br 6400 | outcome |
|---|
Independent-effect pairs
All 4 conditions live in scry_octagon::assign_add_const — 4 br_if
c0(branch6380): DEAD view gap →c1(branch6390): DEAD view gap →c2(branch6394): DEAD view gap →c3(branch6400): DEAD view gap →