Decision #191 — library/core/src/iter/range.rs:900
Status: no_witness
Truth table
| row | c0 br 1611 | c1 br 1617 | outcome |
|---|---|---|---|
| 583 | F | * | T |
| 584 | F | * | T |
| 3623 | F | * | T |
| 3624 | F | * | T |
| 6568 | F | * | T |
| 6569 | F | * | T |
Independent-effect pairs
c0(branch1611): GAP view gap →scry_analyze_core::build_static_call_graph· br_ifc1(branch1617): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if