Skip to content

KindFamilies: put kind behavior and spelling on declared cases - #2667

Merged
4 commits merged into
mainfrom
next/kind-families
Oct 23, 2026
Merged

KindFamilies: put kind behavior and spelling on declared cases#2667
4 commits merged into
mainfrom
next/kind-families

Migrate membership assertions to their declaration-owned spelling

fa87d28
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar