Decision #1149 — panicking.rs:648
Status: unreached
Truth table
| row | c0 br 7979 | c1 br 7987 | outcome |
|---|
Independent-effect pairs
c0(branch7979): DEAD view gap →<std::sys::stdio::unix::Stderr as std::io::Write>::write_all_vectored· br_ifc1(branch7987): DEAD view gap →<std::sys::stdio::unix::Stderr as std::io::Write>::write_all_vectored· br_if