Code

Drop @capability annotations#20396

Code

Merged

odersky merged 10 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:add-max-capturerefdotty-staging/dotty:add-max-capturerefCopy head branch name to clipboard

Jun 4, 2024

Commits

Commits on May 27, 2024

• Distinguish maximal from root capabilities

  Show description for 0268185
  odersky

  committed
  0268185

  Copy full SHA for 0268185

• Handle tracked class parameters

  Show description for 0c1394f
  odersky

  committed
  0c1394f

  Copy full SHA for 0c1394f

• Drop @capability annotations

  Show description for b76bc3e
  odersky

  committed
  b76bc3e

  Copy full SHA for b76bc3e

• Drop convention on classes inheriting from universal capturing types

  Show description for 6baff2d
  odersky

  committed
  6baff2d

  Copy full SHA for 6baff2d

• Add fewer parameter refinements.

  Show description for 08557a1
  odersky

  committed
  08557a1

  Copy full SHA for 08557a1

• Drop ResetPrivate flag

  odersky

  committed
  f02b5fb

  Copy full SHA for f02b5fb

• Turn nested environment capture sets into constants at the end of box adaptation

  Show description for 0177576
  odersky

  committed
  0177576

  Copy full SHA for 0177576

• Two fixes to make tests pass as before

  Show description for 4487eeb
  odersky

  committed
  4487eeb

  Copy full SHA for 4487eeb

• Add assertions that all references in capture sets are trackable

  odersky

  committed
  999be5e

  Copy full SHA for 999be5e

• Make capture sets of expressions deriving Capability explicit

  Show description for 81cf8d8
  odersky

  committed
  81cf8d8

  Copy full SHA for 81cf8d8