Decision #452 — library/core/src/slice/iter/macros.rs:284
Status: no_witness
Truth table
| row | c0 br 2490 | c1 br 2529 | outcome |
|---|---|---|---|
| 30566 | F | * | F |
| 30567 | F | * | F |
| 51421 | F | * | F |
| 51422 | F | * | F |
| 72320 | F | * | F |
| 72321 | F | * | F |
| 82203 | F | * | F |
| 82204 | F | * | F |
| 124277 | F | * | F |
| 124278 | F | * | F |
| 140996 | F | * | F |
| 140997 | F | * | F |
| 215556 | F | * | F |
| 215557 | F | * | F |
| 223968 | F | * | F |
| 223969 | F | * | F |
| 301345 | F | * | F |
| 301346 | F | * | F |
Independent-effect pairs
c0(branch2490): GAP view gap →<scry_analyze_core::Interp>::seq· br_ifc1(branch2529): DEAD view gap →<scry_analyze_core::Interp>::seq· br_if
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:60 ← library/alloc/src/vec/spec_extend.rs:27 ← library/alloc/src/vec/mod.rs:4077 ← library/core/src/iter/traits/iterator.rs:887 ← library/core/src/iter/adapters/map.rs:128 ← library/core/src/iter/adapters/enumerate.rs:146