Decision #1106 — library/core/src/ptr/mod.rs:825
Status: unreached
Truth table
| row | c0 br 7730 | c1 br 7732 | outcome |
|---|
Independent-effect pairs
c0(branch7730): DEAD view gap →<wasmparser::readers::core::imports::ImportsIter as core::iter::traits::iterator::Iterator>::next· br_if
inlined: types.rs:2149 ← library/core/src/ptr/mod.rs:825 ← library/alloc/src/vec/mod.rs:4285 ← library/core/src/ptr/mod.rs:820 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825 ← library/core/src/ptr/mod.rs:825c1(branch7732): DEAD view gap →<wasmparser::readers::core::imports::ImportsIter as core::iter::traits::iterator::Iterator>::next· br_if