Skip to content

Extract wildcard GADT constraints more directly#14832

Merged
abgruszecki merged 2 commits intoscala:mainfrom dwijnand:extract-wildcard-gadt-constraintsApr 9, 2022
+10-10

Commits

Commits on Apr 3, 2022

Commits on Apr 7, 2022