Decision #204 — library/core/src/iter/traits/iterator.rs:2495
Status: no_witness
Truth table
| row | c0 br 1685 | c1 br 1686 | outcome |
|---|---|---|---|
| 601 | * | F | F |
| 602 | * | F | F |
| 3641 | * | F | F |
| 3642 | * | F | F |
| 6586 | * | F | F |
| 6587 | * | F | F |
Independent-effect pairs
c0(branch1685): DEAD view gap →scry_analyze_core::emit_call_indirect_edge· br_if
inlined: lib.rs:4219 ← library/core/src/iter/traits/iterator.rs:2899c1(branch1686): GAP view gap →scry_analyze_core::emit_call_indirect_edge· br_if
inlined: lib.rs:4219 ← library/core/src/iter/traits/iterator.rs:2899