Skip to content

Make type substitution carry what is known about a type - #1229

Merged
Frotty merged 3 commits into
masterfrom
feat/type-subst
Aug 15, 2026
Merged

Make type substitution carry what is known about a type#1229
Frotty merged 3 commits into
masterfrom
feat/type-subst

Drop an unused accessor and note why the binding map is shared

5041d42
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar