Decision #775 — panic.rs:522

Status: unreached

Truth table

rowc0 br 5534c1 br 5536c2 br 5537outcome

Independent-effect pairs

All 3 conditions live in <std::sys::stdio::unix::Stderr as std::io::Write>::write_fmt — 3 br_if