Decision #1291 — pattern.rs:1449
Status: unreached
Truth table
| row | c0 br 8764 | c1 br 8765 | outcome |
|---|
Independent-effect pairs
c0(branch8764): DEAD view gap →<core::fmt::Formatter>::debug_tuple_field1_finish· br_ifc1(branch8765): DEAD view gap →<core::fmt::Formatter>::debug_tuple_field1_finish· br_if