Decision #217 — lib.rs:2574
Status: no_witness
Truth table
| row | c0 br 1777 | c1 br 1778 | c2 br 1783 | outcome |
|---|---|---|---|---|
| 656 | * | * | F | F |
| 657 | * | * | F | F |
| 658 | * | * | F | F |
| 3696 | * | * | F | F |
| 3697 | * | * | F | F |
| 3698 | * | * | F | F |
| 6641 | * | * | F | F |
| 6642 | * | * | F | F |
| 6643 | * | * | F | F |
Independent-effect pairs
All 3 conditions live in scry_analyze_core::compute_reachable_from_exports — 3 br_if
c0(branch1777): DEAD view gap →c1(branch1778): DEAD view gap →c2(branch1783): GAP view gap →