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

Fix the tagged-union pattern-matching recommendation

4fd8e81
Select commit
Loading
Failed to load commit list.
Sign in for the full log view