Decision #683 — library/core/src/option.rs:2873
Status: partial
Truth table
| row | c0 br 4580 | c1 br 4581 | outcome |
|---|---|---|---|
| 1648 | T | F | F |
| 1649 | T | T | T |
| 1650 | T | T | T |
| 8608 | T | F | F |
| 8609 | T | T | T |
| 8610 | T | T | T |
| 15409 | T | F | F |
| 15410 | T | T | T |
| 15411 | T | T | T |
Independent-effect pairs
c0(branch4580): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:2189c1(branch4581): PROVED — pair rows1648,1649(unique-cause)scry_analyze_core::analyze· br_if
inlined: lib.rs:2189