Code

Fix 11220 alt#12015

Code

Closed

abgruszecki wants to merge 3 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-11220-altdotty-staging/dotty:fix-11220-altCopy 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

Commits on Apr 7, 2021

• Test a tweak

  abgruszecki

  committed
  fad139e

  Copy full SHA for fad139e