Decision #1126 — mod.rs:2130
Status: unreached
Truth table
| row | c0 br 7868 | c1 br 7869 | outcome |
|---|
Independent-effect pairs
c0(branch7868): DEAD view gap →<core::io::cursor::Cursor<&mut [u8]> as std::io::Write>::write_fmt· br_if
inlined: backtrace.rs:62c1(branch7869): DEAD view gap →<core::io::cursor::Cursor<&mut [u8]> as std::io::Write>::write_fmt· br_if
inlined: backtrace.rs:149