Skip to content

Fix the tagged-union pattern-matching recommendation#2303

Open
traviscross wants to merge 1 commit into
masterfrom
TC/fix-tagged-union-pattern-matching-recommendation
Open

Fix the tagged-union pattern-matching recommendation#2303
traviscross wants to merge 1 commit into
masterfrom
TC/fix-tagged-union-pattern-matching-recommendation

Commits

Commits on Jul 2, 2026