Reset GADT constraint on failing isSubType#11988

Closed

odersky wants to merge 3 commits intoscala:masterfrom dotty-staging:try-gadt-reset

+80-5

Commits on Apr 4, 2021

Refine GADT casts on singletons
odersky
committed

Commits on Apr 5, 2021