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
LordBaryhobal	48a20b4aa0	tests: add tests for variance inference and subtyping	2026-06-20 16:48:19 +02:00
LordBaryhobal	9467187313	feat(checker): use variance in subtype check	2026-06-20 16:30:30 +02:00
LordBaryhobal	cd8f14153d	feat(checker): infer type variables variance	2026-06-20 13:39:32 +02:00