Code

Various fixes to capture checking#16199

Code

Merged

odersky merged 15 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:fix-Yccdotty-staging/dotty:fix-YccCopy head branch name to clipboard

Oct 24, 2022

Commits

Commits on Oct 19, 2022

• Fix recognition for byname varargs under -Ycc

  odersky

  committed
  dde9740

  Copy full SHA for dde9740

• Implement CaptureAnnotation#derivedAnnotation as the identity

  odersky

  committed
  3068ee1

  Copy full SHA for 3068ee1

• Add member disambiguation ignoring capture sets

  odersky

  committed
  cc08ed9

  Copy full SHA for cc08ed9

• Avoid premature widening of type in recheckSelection

  odersky

  committed
  611a637

  Copy full SHA for 611a637

• Add unsafeUnbox as an escape hatch for unboxing `*`

  odersky

  committed
  19706ce

  Copy full SHA for 19706ce

• Move cc annotations to non-bootstrapped src directory

  odersky

  committed
  d3a5c21

  Copy full SHA for d3a5c21

• Exclude scala.caps in MimaFilters

  odersky

  committed
  fd85d6f

  Copy full SHA for fd85d6f

Commits on Oct 20, 2022

• Exclude @retains from experimentals

  odersky

  committed
  21bbc6e

  Copy full SHA for 21bbc6e

• Check well-formedness of @retains only under -Ycc

  odersky

  committed
  913bc49

  Copy full SHA for 913bc49

• An alternative way to refer to `*` with no -Ycc set

  odersky

  committed
  cbff7a4

  Copy full SHA for cbff7a4

• Several changes to var handling

  Show description for d85dacd
  odersky

  committed
  d85dacd

  Copy full SHA for d85dacd

• Mima updates

  odersky

  committed
  f9c9a03

  Copy full SHA for f9c9a03

• Fix unbox operation called from unsafeUnbox

  odersky

  committed
  d76dbe4

  Copy full SHA for d76dbe4

Commits on Oct 22, 2022

• Better handling of vars with universal capture sets

  Show description for 7e9ab8d
  odersky

  committed
  7e9ab8d

  Copy full SHA for 7e9ab8d

Commits on Oct 23, 2022

• Don't re-infer types of overriding definitions

  odersky

  committed
  9d86052

  Copy full SHA for 9d86052