Decision #366 — library/core/src/slice/iter/macros.rs:180
Status: no_witness
Truth table
| row | c0 br 2346 | c1 br 2349 | c2 br 2355 | c3 br 2356 | c4 br 2357 | c5 br 2361 | outcome |
|---|---|---|---|---|---|---|---|
| 30228 | * | * | * | * | * | T | T |
| 51083 | * | * | * | * | * | T | T |
| 223114 | * | * | * | * | * | T | T |
| 300491 | * | * | * | * | * | T | T |
Independent-effect pairs
All 6 conditions live in scry_analyze_core::compute_bit_facts — 6 br_if
c0(branch2346): DEAD view gap →c1(branch2349): DEAD view gap →c2(branch2355): DEAD view gap →c3(branch2356): DEAD view gap →c4(branch2357): DEAD view gap →c5(branch2361): GAP view gap →