Code

Fix #2771: pre-check kinds at Typer#2882

Code

Merged

odersky merged 9 commits intoscala:masterscala/scala3:masterfrom

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

Jul 18, 2017

Commits

Commits on Jul 17, 2017

• Add simple kind checking

  odersky

  committed
  14d5901

  Copy full SHA for 14d5901

• Avoid crashes due to errors when forming TypeLambdas

  Show description for d326f68
  odersky

  committed
  d326f68

  Copy full SHA for d326f68

• Improve robustness of computing type parameters in completers

  Show description for 41a716b
  odersky

  committed
  41a716b

  Copy full SHA for 41a716b

• Refine kind checking

  Show description for ded42af
  odersky

  committed
  ded42af

  Copy full SHA for ded42af

• Fix test

  odersky

  committed
  a39644d

  Copy full SHA for a39644d

Commits on Jul 18, 2017

• Generalize kind checking

  Show description for 1d313e9
  odersky

  committed
  1d313e9

  Copy full SHA for 1d313e9

• Refine checkKindRank

  Show description for 757cf3f
  odersky

  committed
  757cf3f

  Copy full SHA for 757cf3f

• Refine kind checking

  Show description for 5c5d155
  odersky

  committed
  5c5d155

  Copy full SHA for 5c5d155

• Refine tests

  odersky

  committed
  567b91f

  Copy full SHA for 567b91f