Decision #759 — library/alloc/src/vec/spec_from_iter_nested.rs:61
Status: no_witness
Truth table
| row | c0 br 4866 | c1 br 4918 | outcome |
|---|---|---|---|
| 31162 | * | T | T |
| 31163 | * | T | T |
| 52016 | * | T | T |
| 52017 | * | T | T |
| 72984 | * | T | T |
| 72985 | * | T | T |
| 82867 | * | T | T |
| 82868 | * | T | T |
| 124928 | * | T | T |
| 124929 | * | T | T |
| 141647 | * | T | T |
| 141648 | * | T | T |
| 224773 | * | T | T |
| 224774 | * | T | T |
| 302150 | * | T | T |
| 302151 | * | T | T |
Independent-effect pairs
c0(branch4866): DEAD view gap →<scry_analyze_core::Interp>::loop_region· br_ifc1(branch4918): GAP view gap →<scry_analyze_core::Interp>::loop_region· br_if