Decision #787 — `macros.rs:279`

Status: unreached

Truth table

row	c0 br 5601	c1 br 5602	c2 br 5603	outcome

Independent-effect pairs

c0 (branch 5601): DEAD view gap →
<alloc::vec::Vec<u8> as std::io::Write>::write_fmt · br_if
inlined: impls.rs:489 ← iterator.rs:3676 ← accum.rs:52 ← map.rs:128
c1 (branch 5602): DEAD view gap →
<alloc::vec::Vec<u8> as std::io::Write>::write_fmt · br_if
inlined: impls.rs:489 ← iterator.rs:3676 ← accum.rs:52 ← map.rs:128
c2 (branch 5603): DEAD view gap →
<alloc::vec::Vec<u8> as std::io::Write>::write_fmt · br_if

← back to scry-mcdc