Decision #1565 — num.rs:41
Status: unreached
Truth table
| row | c0 br 10180 | c1 br 10182 | outcome |
|---|
Independent-effect pairs
c0(branch10180): DEAD view gap →<char as core::fmt::Debug>::fmt· br_ifc1(branch10182): DEAD view gap →<char as core::fmt::Debug>::fmt· br_if