Code

Do level checking on instantiation#15746

Code

Merged

odersky merged 8 commits intoscala:mainscala/scala3:mainfrom dotty-staging:fix-level-checkingdotty-staging/dotty:fix-level-checkingCopy head branch name to clipboardAug 29, 2022

+288-65

Commits

Commits on Aug 18, 2022

• Avoid instantiating variables to types with deeper nesting levels

  odersky

  committed
  824496b

  Copy full SHA for 824496b

• Add comments

  odersky

  committed
  01b972a

  Copy full SHA for 01b972a

• Change Config flags

  Show description for d44cbab
  odersky

  committed
  d44cbab

  Copy full SHA for d44cbab

• Explain both level avoidance schemes in the TypeVar doc comment

  odersky

  committed
  4649fd9

  Copy full SHA for 4649fd9

Commits on Aug 19, 2022

• Comment and diagnostic printing when lowering nestingLevel

  odersky

  committed
  06336a2

  Copy full SHA for 06336a2

Commits on Aug 20, 2022

• Update nesting level in typer state

  odersky

  committed
  ec2b5d6

  Copy full SHA for ec2b5d6

Commits on Aug 21, 2022

• Fix resetInst logic

  Show description for 86f249c
  odersky

  committed
  86f249c

  Copy full SHA for 86f249c

• Update comment for harmonize

  odersky

  committed
  f01abfb

  Copy full SHA for f01abfb