Decision #702 — library/core/src/result.rs:965
Status: no_witness
Truth table
| row | c0 br 4586 | c1 br 4587 | outcome |
|---|---|---|---|
| 1734 | * | T | T |
| 1735 | * | T | T |
| 1736 | * | T | T |
| 8694 | * | T | T |
| 8695 | * | T | T |
| 8696 | * | T | T |
| 15499 | * | T | T |
| 15500 | * | T | T |
| 15501 | * | T | T |
Independent-effect pairs
c0(branch4586): DEAD view gap →scry_analyze_core::analyze· br_ifc1(branch4587): GAP view gap →scry_analyze_core::analyze· br_if