Decision #1107 — types.rs:1704
Status: unreached
Truth table
| row | c0 br 7738 | c1 br 7742 | outcome |
|---|
Independent-effect pairs
c0(branch7738): DEAD view gap →<wasmparser::readers::SectionLimitedIntoIter<wasmparser::readers::core::imports::ImportItemCompact> as core::iter::traits::iterator::Iterator>::next· br_ifc1(branch7742): DEAD view gap →<wasmparser::readers::SectionLimitedIntoIter<wasmparser::readers::core::imports::ImportItemCompact> as core::iter::traits::iterator::Iterator>::next· br_if