Skip to content

Allow refineUsingParent to infer GADT bounds#15706

Merged
abgruszecki merged 3 commits intoscala:mainfrom
dwijnand:one-tparam-used-twice
Jul 27, 2022

Commits

Commits on Jul 26, 2022