Decision #774 — alloc.rs:479
Status: unreached
Truth table
| row | c0 br 5509 | c1 br 5512 | outcome |
|---|
Independent-effect pairs
c0(branch5509): DEAD view gap →<std::io::cursor::Cursor<&mut [u8]> as std::io::Write>::write_fmt· br_ifc1(branch5512): DEAD view gap →<std::io::cursor::Cursor<&mut [u8]> as std::io::Write>::write_fmt· br_if