Fix unsound Ok() switch guard by demoting all-residual conditional discriminants - #271
Open
AaronWebster wants to merge 2 commits into
Open
Fix unsound Ok() switch guard by demoting all-residual conditional discriminants#271AaronWebster wants to merge 2 commits into
AaronWebster wants to merge 2 commits into
GitHub Advanced Security / CodeQL
succeeded
Jul 23, 2026 in 3s
No new alerts in code changed by this pull request
Loading