Decision #1419 — library/core/src/result.rs:2189
Status: unreached
Truth table
| row | c0 br 6710 | c1 br 6711 | c2 br 6712 | outcome |
|---|
Independent-effect pairs
c0(branch6710): DEAD view gap →<alloc::vec::Vec<wasmparser::readers::core::operators::Catch>>::extend_desugared::<core::iter::adapters::GenericShunt<wasmparser::binary_reader::BinaryReaderIter<wasmparser::readers::core::operators::Catch>, core::result::Result<core::convert::Infallible, wasmparser::binary_reader::BinaryReaderError>>>· br_table_target
inlined: operators.rs:960c1(branch6711): DEAD view gap →<alloc::vec::Vec<wasmparser::readers::core::operators::Catch>>::extend_desugared::<core::iter::adapters::GenericShunt<wasmparser::binary_reader::BinaryReaderIter<wasmparser::readers::core::operators::Catch>, core::result::Result<core::convert::Infallible, wasmparser::binary_reader::BinaryReaderError>>>· br_table_target
inlined: operators.rs:960c2(branch6712): DEAD view gap →<alloc::vec::Vec<wasmparser::readers::core::operators::Catch>>::extend_desugared::<core::iter::adapters::GenericShunt<wasmparser::binary_reader::BinaryReaderIter<wasmparser::readers::core::operators::Catch>, core::result::Result<core::convert::Infallible, wasmparser::binary_reader::BinaryReaderError>>>· br_table_default
inlined: operators.rs:960