Decision #669 — library/alloc/src/fmt.rs:659
Status: no_witness
Truth table
| row | c0 br 4394 | c1 br 4435 | c2 br 4522 | outcome |
|---|---|---|---|---|
| 1623 | F | * | * | T |
| 1624 | T | * | F | T |
| 1625 | * | * | T | T |
| 1626 | * | * | T | T |
| 1627 | * | * | T | T |
| 1628 | * | * | F | T |
| 8583 | F | * | * | T |
| 8584 | T | * | F | T |
| 8585 | * | * | T | T |
| 8586 | * | * | T | T |
| 8587 | * | * | T | T |
| 8588 | * | * | F | T |
| 15384 | F | * | * | T |
| 15385 | T | * | F | T |
| 15386 | * | * | T | T |
| 15387 | * | * | T | T |
| 15388 | * | * | T | T |
| 15389 | * | * | F | T |
| 21825 | F | * | F | T |
| 24568 | F | * | F | T |
| 27211 | F | * | F | T |
| 30935 | T | * | F | T |
| 51790 | T | * | F | T |
| 72709 | F | * | F | T |
| 82592 | F | * | F | T |
| 92391 | T | * | * | T |
| 92392 | F | * | F | T |
| 92393 | * | * | T | T |
| 92394 | * | * | T | T |
| 100220 | T | * | * | T |
| 100221 | F | * | F | T |
| 100222 | * | * | T | T |
| 100223 | * | * | T | T |
| 108709 | T | * | * | T |
| 108710 | F | * | F | T |
| 108711 | * | * | T | T |
| 108712 | * | * | T | T |
| 116735 | T | * | * | T |
| 116736 | F | * | F | T |
| 116737 | * | * | T | T |
| 116738 | * | * | T | T |
| 124675 | T | * | F | T |
| 141394 | T | * | F | T |
| 158942 | F | * | F | T |
| 158943 | * | * | T | T |
| 158944 | * | * | T | T |
| 158945 | * | * | T | T |
| 158946 | * | * | F | T |
| 158947 | * | * | T | T |
| 168800 | F | * | F | T |
| 168801 | * | * | T | T |
| 168802 | * | * | T | T |
| 168803 | * | * | T | T |
| 168804 | * | * | F | T |
| 168805 | * | * | T | T |
| 176766 | F | * | F | T |
| 176767 | * | * | T | T |
| 176768 | * | * | T | T |
| 181320 | F | * | F | T |
| 184639 | F | * | F | T |
| 187747 | F | * | F | T |
| 191369 | T | * | F | T |
| 197091 | F | * | F | T |
| 197092 | * | * | T | T |
| 197093 | * | * | T | T |
| 203430 | T | * | F | T |
| 208438 | F | * | F | T |
| 208439 | * | * | T | T |
| 215999 | T | * | F | T |
| 224412 | F | * | F | T |
| 301789 | F | * | F | T |
| 377186 | T | * | F | T |
| 379843 | T | * | F | T |
| 382727 | T | * | F | T |
Independent-effect pairs
c0(branch4394): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1954 ← library/core/src/result.rs:966 ← lib.rs:1955 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1276c1(branch4435): DEAD view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:2000 ← library/core/src/result.rs:966 ← lib.rs:2001 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1276c2(branch4522): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1796 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1276