Add type class bounds for T: generics - #1226

Merged

Frotty merged 17 commits into

feature/typeclass-bounds

Aug 14, 2026

Commits on Aug 14, 2026

Add instance declaration syntax for type class bounds
Frotty
committed
30c4f9d
Add type class bound reading and orphan-rule instance resolution
Frotty
committed
1f34789
Declare instances with 'implements' instead of a new keyword
Frotty
committed
90d87b2
Resolve type class dispatch on bounded type parameters
Frotty
committed
76c8f02
Lower type class dispatch to direct calls
Frotty
committed
e1dc454
Validate bounds and inherit instances through nested generics
Frotty
committed
c046ec7
Specialize type class dispatch on the Lua backend
Frotty
committed
1e642d0
Check bounds against the call signature and cover diagnostics with tests
Frotty
committed
89eabb1
Document type class bounds
Frotty
committed
aa9558b
Address review: check instance signatures, abstract bounds and invalid bounds
Frotty
committed
de966e2
Support type class bounds on generic classes
Frotty
committed
5bc6ee6
Support bounds inherited from a generic parent, on both targets
Frotty
committed
0dbce7b
Retire the Lua limitation on constructing through a fresh generic receiver
Frotty
committed
8c9198d
Resolve forwarded type arguments when walking supertypes
Frotty
committed
0db9fa0
Keep the receiver's class binding, and reject two unsupported shapes clearly
Frotty
committed
50b8413
Do not read a type argument by position when the arities differ
Frotty
committed
2ec9571
Select a type class instance by type identity, not by printed name
Frotty
committed
47c3049