Fix #8431 (Make HKT GADT constraints actually work)#8522

Merged

smarter merged 3 commits intoscala:masterfrom

dotty-staging:fix-#8431

Mar 26, 2020

Commits on Mar 22, 2020

Commits on Mar 23, 2020

One more test for new injectivity logic
abgruszecki
committed