Code

Fix GADT approximation#9322

Code

Merged

smarter merged 5 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:fix-gadt-approximationdotty-staging/dotty:fix-gadt-approximationCopy head branch name to clipboard

Jul 14, 2020

Commits

Commits on Jul 13, 2020

• Fix ApproximateGadtAccumulator

  Show description for c7aea0e
  abgruszecki

  committed
  c7aea0e

  Copy full SHA for c7aea0e

• Make i7044 typecheck with old version of recover

  abgruszecki

  committed
  baaaa6c

  Copy full SHA for baaaa6c

• Clean up adaptToSubType

  Show description for 72916ea
  abgruszecki

  committed
  72916ea

  Copy full SHA for 72916ea

• Adjust based on review feedback

  abgruszecki

  committed
  0896981

  Copy full SHA for 0896981

Commits on Jul 14, 2020

• Remove unnecessary tree attachment

  abgruszecki

  committed
  c434949

  Copy full SHA for c434949