Decision #1326 — trifecta.rs:369
Status: unreached
Truth table
| row | c0 br 8927 | c1 br 8928 | outcome |
|---|
Independent-effect pairs
c0(branch8927): DEAD view gap →<i32 as core::fmt::Display>::fmt· br_ifc1(branch8928): DEAD view gap →<i32 as core::fmt::Display>::fmt· br_if