Skip to content

Store GADT constraints until PostTyper#12258

Merged
abgruszecki merged 2 commits intoscala:masterfrom
dotty-staging:fix-12226
Apr 29, 2021

Commits

Commits on Apr 28, 2021

Commits on Apr 29, 2021