Code

Refine GADT casts on singletons#12159

Code

Merged

abgruszecki merged 3 commits intoscala:masterscala/scala3:masterfrom

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

Apr 22, 2021

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

Commits on Apr 20, 2021

• Fix warning about unnecessary GADTused

  abgruszecki

  committed
  443a3b0

  Copy full SHA for 443a3b0