Code

Sound type avoidance (hopefully!)#14026

Code

Merged

odersky merged 11 commits intoscala:masterscala/scala3:masterfrom

dotty-staging:avoid-numbered-9dotty-staging/dotty:avoid-numbered-9Copy head branch name to clipboard

Dec 14, 2021

Commits

Commits on Dec 2, 2021

• Generalize search for function type in expected type

  Show description for 6ac8b47
  smarter

  committed
  6ac8b47

  Copy full SHA for 6ac8b47

Commits on Dec 14, 2021

• ApproximatingTypeMap: fix skolem handling

  Show description for 4108960
  smarter

  committed
  4108960

  Copy full SHA for 4108960

• avoidCaptures: handle local types, not just terms

  Show description for 8aa6889
  smarter

  committed
  8aa6889

  Copy full SHA for 8aa6889

• Fix nesting level to account for block scopes

  Show description for eb69870
  smarter

  committed
  eb69870

  Copy full SHA for eb69870

• Replace useNecessaryEither by necessaryConstraintsOnly

  Show description for 454e301
  smarter

  committed
  454e301

  Copy full SHA for 454e301

• Fix variance of approximating map in `addOneBound`

  Show description for 362aaf2
  smarter

  committed
  362aaf2

  Copy full SHA for 362aaf2

• Drop unnecessary ConstraintHandling#approximateWildcards

  Show description for 07588ab
  smarter

  committed
  07588ab

  Copy full SHA for 07588ab

• Better level-checking in constraints to handle bad bounds

  Show description for 8ed6bde
  smarter

  committed
  8ed6bde

  Copy full SHA for 8ed6bde

• Create fresh type variables to keep constraints level-correct

  Show description for 3ab18a9
  smarter

  committed
  3ab18a9

  Copy full SHA for 3ab18a9

• Check that we pickle a definition before its references

  Show description for ae1b00d
  smarter

  committed
  ae1b00d

  Copy full SHA for ae1b00d

• Remove now-unnecessary `avoid` when typing closures

  Show description for 629006b
  smarter

  committed
  629006b

  Copy full SHA for 629006b