Code

Refine GADT casts on singletons#11987

Code

Closed

odersky wants to merge 2 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-11220dotty-staging/dotty:fix-11220Copy head branch name to clipboard

Commits

Commits on Apr 4, 2021

• Refine GADT casts on singletons

  Show description for 27f6370
  odersky

  committed
  27f6370

  Copy full SHA for 27f6370

Commits on Apr 5, 2021

• Better documentation for GADT casts

  odersky

  committed
  5c987c2

  Copy full SHA for 5c987c2