Decision #1361 — mod.rs:618
Status: unreached
Truth table
| row | c0 br 9157 | c1 br 9158 | outcome |
|---|
Independent-effect pairs
c0(branch9157): DEAD view gap →<<std::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core::fmt::Display>::fmt· br_ifc1(branch9158): DEAD view gap →<<std::sys::backtrace::BacktraceLock>::print::DisplayBacktrace as core::fmt::Display>::fmt· br_if