Decision #1066 — library/core/src/ptr/mod.rs:1733
Status: no_witness
Truth table
| row | c0 br 7498 | c1 br 7499 | outcome |
|---|---|---|---|
| 2189 | T | F | F |
| 5980 | T | F | F |
| 9761 | T | F | F |
Independent-effect pairs
c0(branch7498): GAP view gap →<wasmparser::readers::core::elements::Element as wasmparser::readers::FromReader>::from_reader· br_if
inlined: library/alloc/src/vec/into_iter.rs:269 ← library/core/src/ptr/non_null.rs:987c1(branch7499): GAP view gap →<wasmparser::readers::core::elements::Element as wasmparser::readers::FromReader>::from_reader· br_if
inlined: library/alloc/src/vec/into_iter.rs:269 ← library/core/src/ptr/non_null.rs:987