Refine GADT casts on singletons#12159

Merged

abgruszecki merged 3 commits intoscala:masterfrom

dotty-staging:fix-11220

Apr 22, 2021

Commits on Apr 4, 2021

Refine GADT casts on singletons
odersky
committed

Commits on Apr 5, 2021

Better documentation for GADT casts
odersky
committed

Commits on Apr 20, 2021

Fix warning about unnecessary GADTused
abgruszecki
committed