Decision #1172 — binary_reader.rs:93
Status: unreached
Truth table
| row | c0 br 7996 | c1 br 7997 | outcome |
|---|
Independent-effect pairs
c0(branch7996): DEAD view gap →<core::iter::adapters::GenericShunt<wasmparser::binary_reader::BinaryReaderIter<wasmparser::readers::core::operators::Handle>, core::result::Result<core::convert::Infallible, wasmparser::binary_reader::BinaryReaderError>> as core::iter::traits::iterator::Iterator>::next· br_if
inlined: binary_reader.rs:455 ← binary_reader.rs:422 ← binary_reader.rs:430c1(branch7997): DEAD view gap →<core::iter::adapters::GenericShunt<wasmparser::binary_reader::BinaryReaderIter<wasmparser::readers::core::operators::Handle>, core::result::Result<core::convert::Infallible, wasmparser::binary_reader::BinaryReaderError>> as core::iter::traits::iterator::Iterator>::next· br_if
inlined: binary_reader.rs:455 ← binary_reader.rs:422 ← binary_reader.rs:430