Skip to content

Quickly fix HKT GADT unsoundness issue#9138

Closed
abgruszecki wants to merge 1 commit intoscala:masterfrom
dotty-staging:fix-9044.scala

Commits

Commits on Jun 9, 2020