Decision #1393 — library/core/src/iter/range.rs:900
Status: unreached
Truth table
| row | c0 br 3881 | c1 br 3882 | c2 br 3883 | c3 br 3884 | outcome |
|---|
Independent-effect pairs
c0(branch3881): 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/core/src/iter/adapters/map.rs:128c1(branch3882): 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/core/src/iter/adapters/map.rs:128c2(branch3883): 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/core/src/iter/adapters/map.rs:128c3(branch3884): 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/core/src/iter/adapters/map.rs:128