Skip to content

Fix the tagged-union pattern-matching recommendation#2303

Merged
ehuss merged 1 commit into
masterfrom
TC/fix-tagged-union-pattern-matching-recommendation
Jul 9, 2026
Merged

Fix the tagged-union pattern-matching recommendation#2303
ehuss merged 1 commit into
masterfrom
TC/fix-tagged-union-pattern-matching-recommendation

Commits

Commits on Jul 2, 2026