Decision #322 — library/alloc/src/raw_vec/mod.rs:434
Status: unreached
Truth table
| row | c0 br 2363 | c1 br 2364 | outcome |
|---|
Independent-effect pairs
c0(branch2363): DEAD view gap →core::ptr::drop_in_place<core::iter::adapters::map::Map<core::iter::adapters::flatten::FlatMap<wasmparser::readers::SectionLimitedIntoIter<wasmparser::readers::core::imports::Imports>,wasmparser::readers::core::imports::ImportsIter,wasmparser::readers::core::imports::<impl wasmparser::readers::SectionLimited<wasmparser::readers::core::imports::Imports>>::into_imports_with_offsets::{{closure}}>,wasmparser::readers::core::imports::<impl wasmparser::readers::SectionLimited<wasmparser::readers::core::imports::Imports>>::into_imports::{{closure}}>>· br_ifc1(branch2364): DEAD view gap →core::ptr::drop_in_place<core::iter::adapters::map::Map<core::iter::adapters::flatten::FlatMap<wasmparser::readers::SectionLimitedIntoIter<wasmparser::readers::core::imports::Imports>,wasmparser::readers::core::imports::ImportsIter,wasmparser::readers::core::imports::<impl wasmparser::readers::SectionLimited<wasmparser::readers::core::imports::Imports>>::into_imports_with_offsets::{{closure}}>,wasmparser::readers::core::imports::<impl wasmparser::readers::SectionLimited<wasmparser::readers::core::imports::Imports>>::into_imports::{{closure}}>>· br_if