Decision #1324 — trifecta.rs:344
Status: no_witness
Truth table
| row | c0 br 8922 | c1 br 8923 | outcome |
|---|---|---|---|
| 99263 | F | F | F |
| 99264 | F | F | F |
| 102196 | F | F | F |
| 102197 | F | F | F |
Independent-effect pairs
c0(branch8922): GAP view gap →<i64 as core::fmt::Display>::fmt· br_ifc1(branch8923): GAP view gap →<i64 as core::fmt::Display>::fmt· br_if