Skip to content

Use GADT constraints in maximiseType#15544

Merged
abgruszecki merged 7 commits intoscala:mainfrom
dwijnand:gadt/unsound-cast
Jul 12, 2022

Commits

Commits on Jul 6, 2022