Decision #1571 — trifecta.rs:27
Status: no_witness
Truth table
| row | c0 br 10208 | c1 br 10209 | outcome |
|---|---|---|---|
| 184042 | F | F | F |
| 184043 | F | F | F |
| 190469 | F | F | F |
| 190470 | F | F | F |
Independent-effect pairs
c0(branch10208): GAP view gap →<i64 as core::fmt::Display>::fmt· br_ifc1(branch10209): GAP view gap →<i64 as core::fmt::Display>::fmt· br_if