Resolve type applications at the IR level#1392

Merged

bugarela merged 7 commits intomainfrom 1391/resolve-apps-on-IR

Mar 4, 2024

+132-48

Commits on Mar 1, 2024

Resolve type applications at the IR level
bugarela
committed

Commits on Mar 2, 2024

Add regression test for 1391
Shon Feder
committed
Resolve type apps in type inference tests
Shon Feder
committed
Warn about mutations
Shon Feder
committed
Add error handling for invaild type applications
Shon Feder
committed
Fix lints
Shon Feder
committed
Update examples
Shon Feder
committed