Decision #224 — library/core/src/mem/maybe_uninit.rs:574
Status: no_witness
Truth table
| row | c0 br 1791 | c1 br 1792 | c2 br 1793 | c3 br 1794 | outcome |
|---|---|---|---|---|---|
| 688 | F | F | T | * | T |
| 689 | F | F | T | * | T |
| 690 | F | F | T | * | T |
| 691 | F | F | T | * | T |
| 692 | F | F | T | * | T |
| 693 | F | F | T | * | T |
| 3728 | F | F | T | * | T |
| 3729 | F | F | T | * | T |
| 3730 | F | F | T | * | T |
| 3731 | F | F | T | * | T |
| 3732 | F | F | T | * | T |
| 3733 | F | F | T | * | T |
| 6673 | F | F | T | * | T |
| 6674 | F | F | T | * | T |
| 6675 | F | F | T | * | T |
| 6676 | F | F | T | * | T |
| 6677 | F | F | T | * | T |
| 6678 | F | F | T | * | T |
| 40737 | F | F | T | * | T |
| 40738 | F | F | F | T | T |
| 43748 | F | F | T | * | T |
| 43749 | F | F | F | T | T |
| 47201 | F | F | T | * | T |
| 47202 | F | F | F | T | T |
| 50277 | F | F | T | * | T |
| 50278 | F | F | F | T | T |
| 79320 | F | F | F | T | T |
| 85863 | F | F | F | T | T |
| 85864 | F | F | F | T | T |
| 89169 | F | F | F | T | T |
| 90917 | F | F | T | * | T |
Independent-effect pairs
All 4 conditions live in scry_analyze_core::compute_reachable_from_exports — 4 br_if
c0(branch1791): GAP view gap →c1(branch1792): GAP view gap →c2(branch1793): GAP view gap →c3(branch1794): GAP view gap →