Decision #1298 — validations.rs:50
Status: unreached
Truth table
| row | c0 br 8803 | c1 br 8804 | outcome |
|---|
Independent-effect pairs
c0(branch8803): DEAD view gap →<core::fmt::Formatter>::pad· br_ifc1(branch8804): DEAD view gap →<core::fmt::Formatter>::pad· br_if