Decision #548 — library/alloc/src/fmt.rs:659
Status: no_witness
Truth table
| row | c0 br 3507 | c1 br 3699 | outcome |
|---|---|---|---|
| 902 | T | T | T |
| 4695 | T | T | T |
| 8426 | T | T | T |
| 11943 | T | T | T |
| 13319 | T | T | T |
| 14644 | T | T | T |
| 16540 | T | T | T |
| 26020 | T | T | T |
| 35645 | T | T | T |
| 41858 | T | T | T |
| 47958 | T | T | T |
| 52127 | T | T | T |
| 56665 | T | T | T |
| 60882 | T | T | T |
| 65136 | T | T | T |
| 76649 | T | T | T |
| 88326 | T | T | T |
| 92594 | T | T | T |
| 96119 | T | T | T |
| 98006 | T | T | T |
| 99523 | T | T | T |
| 100939 | T | T | T |
| 102642 | T | T | T |
| 105848 | T | T | T |
| 109003 | T | T | T |
| 111633 | T | T | T |
| 114555 | T | T | T |
| 118597 | T | T | T |
| 141533 | T | T | T |
| 163233 | T | T | T |
| 164804 | T | T | T |
| 166526 | T | T | T |
Independent-effect pairs
c0(branch3507): GAP view gap →scry_analyze_core::analyze· br_ifc1(branch3699): GAP view gap →scry_analyze_core::analyze· br_if
inlined: library/core/src/result.rs:968 ← lib.rs:1487 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1275