Decision #380 — library/core/src/slice/iter/macros.rs:284
Status: no_witness
Truth table
| row | c0 br 2356 | c1 br 2358 | outcome |
|---|---|---|---|
| 47708 | * | T | T |
| 47709 | * | T | T |
| 51836 | * | T | T |
| 51837 | * | T | T |
| 56374 | * | T | T |
| 56375 | * | T | T |
| 60632 | * | T | T |
| 60633 | * | T | T |
Independent-effect pairs
c0(branch2356): 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:4062 ← library/core/src/iter/traits/iterator.rs:887 ← library/core/src/iter/adapters/map.rs:128 ← library/core/src/iter/adapters/enumerate.rs:146c1(branch2358): GAP view gap →<scry_analyze_core::Interp>::seq· br_if