Decision #705 — library/core/src/iter/traits/iterator.rs:2558
Status: no_witness
Truth table
| row | c0 br 5057 | c1 br 5061 | outcome |
|---|---|---|---|
| 81142 | F | * | F |
| 82329 | F | * | F |
| 83391 | F | * | F |
Independent-effect pairs
c0(branch5057): GAP view gap →wasmparser::readers::core::memories::<impl wasmparser::readers::FromReader for wasmparser::readers::core::types::MemoryType>::from_reader· br_if
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:24 ← library/core/src/iter/adapters/mod.rs:177c1(branch5061): DEAD view gap →wasmparser::readers::core::memories::<impl wasmparser::readers::FromReader for wasmparser::readers::core::types::MemoryType>::from_reader· br_if