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

Merged

Frotty merged 3 commits into

feat/type-subst

Aug 15, 2026

Commits on Aug 14, 2026

Make type substitution carry what is known about a type
Frotty
committed
1c47373

Commits on Aug 15, 2026

Skip rebuilding a type when there is nothing to substitute
Frotty
committed
fb1fe96
Drop an unused accessor and note why the binding map is shared
Frotty
committed
5041d42