Decision #1654 — library/alloc/src/raw_vec/mod.rs:493
Status: unreached
Truth table
| row | c0 br 4704 | c1 br 4705 | c2 br 4706 | c3 br 4707 | outcome |
|---|
Independent-effect pairs
c0(branch4704): DEAD view gap →<alloc::vec::into_iter::IntoIter<(usize, wasmparser::readers::core::types::SubType)> as core::ops::drop::Drop>::drop· br_table_target
inlined: library/alloc/src/raw_vec/mod.rs:188c1(branch4705): DEAD view gap →<alloc::vec::into_iter::IntoIter<(usize, wasmparser::readers::core::types::SubType)> as core::ops::drop::Drop>::drop· br_table_target
inlined: library/alloc/src/raw_vec/mod.rs:188c2(branch4706): DEAD view gap →<alloc::vec::into_iter::IntoIter<(usize, wasmparser::readers::core::types::SubType)> as core::ops::drop::Drop>::drop· br_table_target
inlined: library/alloc/src/raw_vec/mod.rs:188c3(branch4707): DEAD view gap →<alloc::vec::into_iter::IntoIter<(usize, wasmparser::readers::core::types::SubType)> as core::ops::drop::Drop>::drop· br_table_default
inlined: library/alloc/src/raw_vec/mod.rs:188