Decision #1133 — index.rs:569
Status: unreached
Truth table
| row | c0 br 7912 | c1 br 7913 | c2 br 7914 | outcome |
|---|
Independent-effect pairs
All 3 conditions live in <<std::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core::fmt::Display>::fmt — 3 br_if
c0(branch7912): DEAD view gap →c1(branch7913): DEAD view gap →c2(branch7914): DEAD view gap →