Decision #1022 — library/core/src/slice/index.rs:238
Status: no_witness
Truth table
| row | c0 br 6473 | c1 br 6478 | outcome |
|---|---|---|---|
| 75149 | * | F | F |
| 75150 | * | F | F |
| 75151 | * | F | F |
| 75152 | * | F | F |
| 85032 | * | F | F |
| 85033 | * | F | F |
| 85034 | * | F | F |
| 85035 | * | F | F |
| 252331 | * | F | F |
| 252332 | * | F | F |
| 252333 | * | F | F |
| 252334 | * | F | F |
| 252335 | * | F | F |
| 252336 | * | F | F |
| 252337 | * | F | F |
| 252338 | * | F | F |
| 329708 | * | F | F |
| 329709 | * | F | F |
| 329710 | * | F | F |
| 329711 | * | F | F |
| 329712 | * | F | F |
| 329713 | * | F | F |
| 329714 | * | F | F |
| 329715 | * | F | F |
Independent-effect pairs
c0(branch6473): DEAD view gap →scry_octagon::widen· br_ifc1(branch6478): GAP view gap →scry_octagon::widen· br_if