Decision #1143 — mod.rs:614
Status: unreached
Truth table
| row | c0 br 7967 | c1 br 7968 | outcome |
|---|
Independent-effect pairs
c0(branch7967): DEAD view gap →<std::io::default_write_fmt::Adapter<core::io::cursor::Cursor<&mut [u8]>> as core::fmt::Write>::write_str· br_if
inlined: string.rs:3364 ← string.rs:1428 ← string.rs:1229 ← mod.rs:1471 ← mod.rs:341 ← mod.rs:673 ← mod.rs:767c1(branch7968): DEAD view gap →<std::io::default_write_fmt::Adapter<core::io::cursor::Cursor<&mut [u8]>> as core::fmt::Write>::write_str· br_if
inlined: string.rs:3364 ← string.rs:1432 ← mod.rs:2052 ← mod.rs:296 ← mod.rs:609