Decision #292 — library/core/src/option.rs:1162
Status: no_witness
Truth table
| row | c0 br 1740 | c1 br 1756 | c2 br 1765 | outcome |
|---|---|---|---|---|
| 11733 | T | * | * | T |
| 13109 | T | * | * | T |
| 14434 | T | * | * | T |
| 87468 | T | * | * | T |
| 87469 | T | * | * | T |
| 91736 | T | * | * | T |
| 91737 | T | * | * | T |
Independent-effect pairs
All 3 conditions live in scry_analyze_core::compute_bit_facts — 3 br_if
c0(branch1740): GAP view gap →c1(branch1756): DEAD view gap →c2(branch1765): DEAD view gap →