Code

Harden Type Inference#12560

Code

Merged

smarter merged 8 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:improve-typeinfdotty-staging/dotty:improve-typeinfCopy head branch name to clipboard

May 25, 2021

Commits

Commits on May 21, 2021

• Don't typecheck Scala2 macro calls in retyping mode

  odersky

  committed
  2df18bf

  Copy full SHA for 2df18bf

• Don't instantiate variables to Nothing in canDefineFurther

  Show description for e58ece8
  odersky

  committed
  e58ece8

  Copy full SHA for e58ece8

• Generalize use of canDefineFurther in recover

  Show description for 0e290dc
  odersky

  committed
  0e290dc

  Copy full SHA for 0e290dc

• Reclassify test

  odersky

  committed
  22d9782

  Copy full SHA for 22d9782

• Fix dependent variable approximation for by-name parameters

  odersky

  committed
  55a223c

  Copy full SHA for 55a223c

• Fix check file

  odersky

  committed
  12d2e20

  Copy full SHA for 12d2e20

• Reclassify test

  Show description for f674c18
  odersky

  committed
  f674c18

  Copy full SHA for f674c18

Commits on May 25, 2021

• Add dependent function test

  odersky

  committed
  8a2158c

  Copy full SHA for 8a2158c