Closed Y-Nak closed 4 months ago
I broke the constraint solver when I introduced Binder. This PR also adds the Callable information in the type checker, which will be necessary for MIR-lowering and the WF check for types that are implicitly introduced in method resolution.
Binder
Callable
I broke the constraint solver when I introduced
Binder
. This PR also adds theCallable
information in the type checker, which will be necessary for MIR-lowering and the WF check for types that are implicitly introduced in method resolution.