Decision #788 — macros.rs:279
Status: unreached
Truth table
| row | c0 br 5607 | c1 br 5608 | c2 br 5610 | c3 br 5611 | outcome |
|---|
Independent-effect pairs
c0(branch5607): DEAD view gap →<std::io::default_write_fmt::Adapter<std::io::cursor::Cursor<&mut [u8]>> as core::fmt::Write>::write_str· br_if
inlined: impls.rs:510 ← impls.rs:489 ← iterator.rs:3676 ← accum.rs:52 ← map.rs:128c1(branch5608): DEAD view gap →<std::io::default_write_fmt::Adapter<std::io::cursor::Cursor<&mut [u8]>> as core::fmt::Write>::write_str· br_if
inlined: impls.rs:510 ← impls.rs:489 ← iterator.rs:3676 ← accum.rs:52 ← map.rs:128c2(branch5610): DEAD view gap →<std::io::default_write_fmt::Adapter<std::io::cursor::Cursor<&mut [u8]>> as core::fmt::Write>::write_str· br_ifc3(branch5611): DEAD view gap →<std::io::default_write_fmt::Adapter<std::io::cursor::Cursor<&mut [u8]>> as core::fmt::Write>::write_str· br_if