Decision #1125 — alloc.rs:128
Status: unreached
Truth table
| row | c0 br 7866 | c1 br 7867 | outcome |
|---|
Independent-effect pairs
c0(branch7866): DEAD view gap →<core::io::cursor::Cursor<&mut [u8]> as std::io::Write>::write_fmt· br_if
inlined: backtrace.rs:57 ← result.rs:717 ← mod.rs:825 ← mod.rs:825 ← mod.rs:825 ← mod.rs:825 ← mod.rs:825 ← mod.rs:825 ← mod.rs:825 ← boxed.rs:1956 ← alloc.rs:462 ← alloc.rs:344 ← alloc.rs:229c1(branch7867): DEAD view gap →<core::io::cursor::Cursor<&mut [u8]> as std::io::Write>::write_fmt· br_if
inlined: backtrace.rs:57 ← result.rs:717 ← mod.rs:825 ← mod.rs:825 ← mod.rs:825 ← mod.rs:825 ← mod.rs:825 ← boxed.rs:1956 ← alloc.rs:462 ← alloc.rs:344 ← alloc.rs:229