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.
Sign in for the full log view
GitHub Actions / Test Results (ubuntu-latest) succeeded Aug 15, 2026 in 0s

1646 tests run, 1577 passed, 69 skipped, 0 failed.

View more details on GitHub Actions