HEL/midas
1
0
Fork 0
Code Issues Pull Requests Actions Releases 3 Activity

Variance inference and subtyping #16

Merged
HEL merged 3 commits from feat/variance into main 2026-06-20 14:55:02 +00:00
Conversation 0 Commits 3 Files Changed 8
+797 -3
3 Commits
Author SHA1 Message Date
HEL 48a20b4aa0 tests: add tests for variance inference and subtyping 2026-06-20 16:48:19 +02:00
HEL 9467187313 feat(checker): use variance in subtype check 2026-06-20 16:30:30 +02:00
HEL cd8f14153d feat(checker): infer type variables variance 2026-06-20 13:39:32 +02:00