Code

Consolidate CC#21863

Code

Merged

noti0na1 merged 35 commits intoscala:mainscala/scala3:mainfrom dotty-staging:change-use-handlingdotty-staging/dotty:change-use-handlingCopy head branch name to clipboardNov 22, 2024

+1,922-1,017

Commits

Commits on Nov 22, 2024

• Recognize double annotated capabilities such as x*?

  Show description for f5c9eab
  odersky

  committed
  f5c9eab

  Copy full SHA for f5c9eab

• Refactor narrowCaps

  odersky

  committed
  bbafb09

  Copy full SHA for bbafb09

• Make sure dcs includes cs

  Show description for d33c89a
  odersky

  committed
  d33c89a

  Copy full SHA for d33c89a

• Align deep capture sets with reach capabilities

  Show description for cdd03b7
  odersky

  committed
  cdd03b7

  Copy full SHA for cdd03b7

• Refactor handling of applications

  Show description for 822550d
  odersky

  committed
  822550d

  Copy full SHA for 822550d

• Handle reach capabilities correctly in markFree

  Show description for e7c018b
  odersky

  committed
  e7c018b

  Copy full SHA for e7c018b

• Rename @unbox to @use

  odersky

  committed
  fcf4045

  Copy full SHA for fcf4045

• Make sure we don't lose erased in method types on Setup

  odersky

  committed
  7c2a76b

  Copy full SHA for 7c2a76b

• Drop curried use scheme

  Show description for 2747f03
  odersky

  committed
  2747f03

  Copy full SHA for 2747f03

• Stop markFree at nested methods

  Show description for 17a4a8c
  odersky

  committed
  17a4a8c

  Copy full SHA for 17a4a8c

• Allow reach capabilities from within a nested closure

  odersky

  committed
  02cd565

  Copy full SHA for 02cd565

• Drop code supporting previous unsound scheme for curried lambdas

  odersky

  committed
  e6b08de

  Copy full SHA for e6b08de

• Re-enable handleEtaExpansionsSpecially setting

  Show description for fd9e895
  odersky

  committed
  fd9e895

  Copy full SHA for fd9e895

• Disable reach capabilities in nested closures appearing without @use

  Show description for 4226a33
  odersky

  committed
  4226a33

  Copy full SHA for 4226a33

• Go back to sealed checking

  Show description for 8f8a15f
  odersky

  committed
  8f8a15f

  Copy full SHA for 8f8a15f

• Follow upper bounds of type variables when computing dcs

  odersky

  committed
  62b2f1c

  Copy full SHA for 62b2f1c

• Check that @use annotations only appear for method and class parameters

  odersky

  committed
  0676450

  Copy full SHA for 0676450

• Refactorings and drop useExistential Config option

  odersky

  committed
  96d1610

  Copy full SHA for 96d1610

• Refactoring: Use common code for all markFree variants

  odersky

  committed
  adf6a25

  Copy full SHA for adf6a25

• Fix dcs for invariant type parameters

  Show description for 496c866
  odersky

  committed
  496c866

  Copy full SHA for 496c866

• Fix toFunctionType for methods containing reach capabilities in the result type

  odersky

  committed
  f4c09e3

  Copy full SHA for f4c09e3

• Expand criterion when to not check inferred types a bit

  odersky

  committed
  c4c69b0

  Copy full SHA for c4c69b0

• Be more careful computing underlying types of reach capabilities

  Show description for 91da9fb
  odersky

  committed
  91da9fb

  Copy full SHA for 91da9fb

• Polish code of markFree

  odersky

  committed
  34e947a

  Copy full SHA for 34e947a

• Revert change to Iterator

  Show description for eb0577f
  odersky

  committed
  eb0577f

  Copy full SHA for eb0577f

• Document and polish CheckCaptures

  odersky

  committed
  2b51ee9

  Copy full SHA for 2b51ee9

• Drop legacy caps.unsafe operations

  Show description for b9d485a
  odersky

  committed
  b9d485a

  Copy full SHA for b9d485a

• Don't show redudundant existental wrappers

  Show description for 1e79a2d
  odersky

  committed
  1e79a2d

  Copy full SHA for 1e79a2d

• Use unsafeAssumePure instead of asInstanceOf in stdlib-cc

  odersky

  committed
  ff73a2f

  Copy full SHA for ff73a2f

• Treat by-name closures specially in recheck

  Show description for a98903c
  odersky

  committed
  a98903c

  Copy full SHA for a98903c

• Polish and comment Setup class

  odersky

  committed
  d8ea08d

  Copy full SHA for d8ea08d

• Some tweaks after code walkthrough

  odersky

  committed
  e309d5a

  Copy full SHA for e309d5a

• Address review comments

  odersky

  committed
  6f51fc0

  Copy full SHA for 6f51fc0

• Fix rebase breakage

  odersky

  committed
  da14277

  Copy full SHA for da14277

• Fix more rebase breakage

  odersky

  committed
  353f80b

  Copy full SHA for 353f80b