Skip to content

@exhaustiveness for exhaustiveness checking for union members#576

Merged
zth merged 1 commit intomasterfrom
exhaustiveness-directive
Jul 22, 2025
Merged

@exhaustiveness for exhaustiveness checking for union members#576
zth merged 1 commit intomasterfrom
exhaustiveness-directive

Commits

Commits on Jul 22, 2025