Skip to content

Fix type checker not substituting type var when unifying match arms#735

Merged
developedby merged 2 commits intomainfrom 734-type-checking-allows-incorrect-match-termOct 22, 2024
+48-5

Commits