Decision #1325 — trifecta.rs:336
Status: unreached
Truth table
| row | c0 br 8925 | c1 br 8926 | outcome |
|---|
Independent-effect pairs
c0(branch8925): DEAD view gap →<i32 as core::fmt::Display>::fmt· br_ifc1(branch8926): DEAD view gap →<i32 as core::fmt::Display>::fmt· br_if