Skip to content

Declared-type inhabitance: a kernel value where a structured type is declared, at four more of the fourteen grammar positions - #9079

Merged
briansrls merged 11 commits into
mainfrom
session/loyal-lynx-169
Aug 25, 2026
Merged

Declared-type inhabitance: a kernel value where a structured type is declared, at four more of the fourteen grammar positions#9079
briansrls merged 11 commits into
mainfrom
session/loyal-lynx-169

Merge main (c271b758) — refresh onto the tree where #9161 retired the…

822e69f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar