Decision #309 — library/core/src/result.rs:2174
Status: no_witness
Truth table
| row | c0 br 2252 | c1 br 2253 | outcome |
|---|---|---|---|
| 915 | * | T | T |
| 916 | * | T | T |
| 917 | * | T | T |
| 3955 | * | T | T |
| 3956 | * | T | T |
| 3957 | * | T | T |
| 6904 | * | T | T |
| 6905 | * | T | T |
| 6906 | * | T | T |
Independent-effect pairs
c0(branch2252): DEAD view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1432c1(branch2253): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1432