Decision #196 — library/core/src/slice/iter/macros.rs:284
Status: no_witness
Truth table
| row | c0 br 1647 | c1 br 1648 | c2 br 1649 | c3 br 1653 | c4 br 1654 | outcome |
|---|---|---|---|---|---|---|
| 40687 | * | * | * | * | F | F |
| 40688 | * | * | * | * | F | F |
| 43698 | * | * | * | * | F | F |
| 43699 | * | * | * | * | F | F |
| 47151 | * | * | * | * | F | F |
| 47152 | * | * | * | * | F | F |
| 50227 | * | * | * | * | F | F |
| 50228 | * | * | * | * | F | F |
| 79283 | * | * | * | * | F | F |
| 85789 | * | * | * | * | F | F |
| 85790 | * | * | * | * | F | F |
| 89096 | * | * | * | * | F | F |
| 90877 | * | * | * | * | F | F |
Independent-effect pairs
All 5 conditions live in scry_analyze_core::build_static_call_graph — 5 br_if
c0(branch1647): DEAD view gap →c1(branch1648): DEAD view gap →c2(branch1649): DEAD view gap →c3(branch1653): DEAD view gap →c4(branch1654): GAP view gap →