Skip to content

Fix unsound Ok() switch guard by demoting all-residual conditional discriminants#271

Open
AaronWebster wants to merge 2 commits into
masterfrom
emboss/ok-guard-demote
Open

Fix unsound Ok() switch guard by demoting all-residual conditional discriminants#271
AaronWebster wants to merge 2 commits into
masterfrom
emboss/ok-guard-demote

Address review feedback: timeless comments, drop PR refs, document Ok…

7b856d2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Analyze (actions)
succeeded Jul 23, 2026 in 34s