Decision #402 — library/core/src/slice/index.rs:272
Status: unreached
Truth table
| row | c0 br 2753 | c1 br 2763 | c2 br 2766 | c3 br 2767 | c4 br 2768 | c5 br 2776 | c6 br 2779 | outcome |
|---|
Independent-effect pairs
All 7 conditions live in scry_octagon::assign_copy — 7 br_if
c0(branch2753): DEAD view gap →c1(branch2763): DEAD view gap →c2(branch2766): DEAD view gap →c3(branch2767): DEAD view gap →c4(branch2768): DEAD view gap →c5(branch2776): DEAD view gap →c6(branch2779): DEAD view gap →