Decision #1294 — num.rs:198
Status: unreached
Truth table
| row | c0 br 8779 | c1 br 8780 | outcome |
|---|
Independent-effect pairs
c0(branch8779): DEAD view gap →<core::fmt::Formatter>::debug_struct_field4_finish· br_ifc1(branch8780): DEAD view gap →<core::fmt::Formatter>::debug_struct_field4_finish· br_if