Decision #1297 — num.rs:151
Status: unreached
Truth table
| row | c0 br 8782 | c1 br 8783 | outcome |
|---|
Independent-effect pairs
c0(branch8782): DEAD view gap →<core::fmt::Formatter>::pad· br_ifc1(branch8783): DEAD view gap →<core::fmt::Formatter>::pad· br_if