Skip to content

Add a rule to determine which extension types are always-exhaustive#3568

Merged
eernstg merged 2 commits intomainfrom spec_exttype_always_exhaustive_jan24Jan 17, 2024