Decision #786 — library/core/src/ptr/mod.rs:823
Status: unreached
Truth table
| row | c0 br 5419 | c1 br 5420 | outcome |
|---|
Independent-effect pairs
c0(branch5419): DEAD view gap →<&alloc::vec::Vec<wasmparser::readers::core::operators::Catch> as core::fmt::Debug>::fmt· br_ifc1(branch5420): DEAD view gap →<&alloc::vec::Vec<wasmparser::readers::core::operators::Catch> as core::fmt::Debug>::fmt· br_if
inlined: library/alloc/src/vec/mod.rs:4303 ← library/core/src/ptr/mut_ptr.rs:1382 ← library/core/src/ptr/mod.rs:818 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823 ← library/core/src/ptr/mod.rs:823