Decision #789 — library/core/src/slice/index.rs:272
Status: no_witness
Truth table
| row | c0 br 5234 | c1 br 5237 | c2 br 5239 | c3 br 5242 | outcome |
|---|---|---|---|---|---|
| 38196 | T | * | * | T | T |
| 38197 | T | * | * | T | T |
| 38198 | T | * | * | T | T |
| 38199 | T | * | * | T | T |
| 44409 | T | * | * | T | T |
| 44410 | T | * | * | T | T |
| 44411 | T | * | * | T | T |
| 44412 | T | * | * | T | T |
| 135201 | T | * | * | T | T |
| 135202 | T | * | * | T | T |
| 135203 | T | * | * | T | T |
| 135204 | T | * | * | T | T |
| 135205 | T | * | * | T | T |
| 135206 | T | * | * | T | T |
| 135207 | T | * | * | T | T |
| 135208 | T | * | * | T | T |
| 158137 | T | * | * | T | T |
| 158138 | T | * | * | T | T |
| 158139 | T | * | * | T | T |
| 158140 | T | * | * | T | T |
| 158141 | T | * | * | T | T |
| 158142 | T | * | * | T | T |
| 158143 | T | * | * | T | T |
| 158144 | T | * | * | T | T |
Independent-effect pairs
All 4 conditions live in scry_octagon::widen — 4 br_if
c0(branch5234): GAP view gap →c1(branch5237): DEAD view gap →c2(branch5239): DEAD view gap →c3(branch5242): GAP view gap →