Resolve a type parameter's default where the binding is known - #1234

Merged

Frotty merged 29 commits into

interpreter/type-parameter-defaults

Aug 16, 2026

Commits on Aug 15, 2026

WIP: FastHashMap<K: Hashable, V:> as a compiler-side proof
Frotty
committed
4e690c0
Add a working backlog for the type class bound follow-ups
Frotty
committed
3ccbba2
Expand the backlog with a recurrence guard, design blockers and scope
Frotty
committed
6fac1f0
Add the overnight loop brief
Frotty
committed
e4da96d
Sanitise Lua method names where they are assigned
Frotty
committed
cc994da
Bound the wait on the Lua interpreter in tests
Frotty
committed
596b6fa
Let declared names decide which dispatch slot a method claims
Frotty
committed
a12ee4c
Finish the FastHashMap proof with remove and a cost assertion
Frotty
committed
5c23491
Take a closure's instantiation from its construction on Lua
Frotty
committed
4b27248
Pin the constructor case for Lua and say what it needs
Frotty
committed
00f89a6
Say which target a failing Lua test ran on
Frotty
committed
16f04b8
Resolve a type parameter's default where the binding is known
Frotty
committed
a9f5f8e
Refuse to compare an unresolved type parameter default
Frotty
committed
1df9e6e
Record why the junk dispatch slot stays for now
Frotty
committed
9d6b005

Commits on Aug 16, 2026