Decision #1425 — library/alloc/src/vec/spec_from_iter_nested.rs:42
Status: unreached
Truth table
| row | c0 br 6942 | c1 br 6943 | c2 br 6944 | c3 br 6945 | outcome |
|---|
Independent-effect pairs
All 4 conditions live in core::ptr::drop_glue::<core::option::Option<core::result::Result<wasmparser::readers::core::types::SubType, wasmparser::binary_reader::BinaryReaderError>>> — 1 br_table_default + 3 br_table_target
c0(branch6942): DEAD view gap →c1(branch6943): DEAD view gap →c2(branch6944): DEAD view gap →c3(branch6945): DEAD view gap →