Decision #625 — library/core/src/ptr/mod.rs:825
Status: unreached
Truth table
| row | c0 br 4451 | c1 br 4452 | outcome |
|---|
Independent-effect pairs
c0(branch4451): DEAD view gap →<&alloc::vec::Vec<wasmparser::readers::core::operators::Handle> as core::fmt::Debug>::fmt· br_ifc1(branch4452): DEAD view gap →<&alloc::vec::Vec<wasmparser::readers::core::operators::Handle> as core::fmt::Debug>::fmt· br_if