Decision #57 — library/core/src/slice/sort/stable/drift.rs:204
Status: unreached
Truth table
| row | c0 br 402 | c1 br 403 | outcome |
|---|
Independent-effect pairs
c0(branch402): DEAD view gap →core::ptr::drop_glue::<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::SectionLimited<wasmparser::readers::core::imports::Imports>>::into_imports_with_offsets::{closure#0}>, <wasmparser::readers::SectionLimited<wasmparser::readers::core::imports::Imports>>::into_imports::{closure#0}>>· br_ifc1(branch403): DEAD view gap →core::ptr::drop_glue::<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::SectionLimited<wasmparser::readers::core::imports::Imports>>::into_imports_with_offsets::{closure#0}>, <wasmparser::readers::SectionLimited<wasmparser::readers::core::imports::Imports>>::into_imports::{closure#0}>>· br_if