Skip to content

@exhaustiveness for exhaustiveness checking for union members#576

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

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

document the exhaustiveness directive

4c49fff
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar