Code

Map cap to fresh in capture sets#23184

Code

Closed

odersky wants to merge 8 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:fix-23170dotty-staging/dotty:fix-23170Copy head branch name to clipboard

Commits

Commits on May 21, 2025

• Changes to existing code base that mirror changes in refactor-capabilities

  odersky

  committed
  5821a42

  Copy full SHA for 5821a42

• Refactor type maps to split out capability handling

  Show description for 276d8f5
  odersky

  committed
  276d8f5

  Copy full SHA for 276d8f5

• Fix pathRoot and pathOwner

  Show description for c519320
  odersky

  committed
  c519320

  Copy full SHA for c519320

• Implement != for SimpleIdentitySet

  odersky

  committed
  287d3dc

  Copy full SHA for 287d3dc

• Refactoring: Capabilities as a separate type

  Show description for 98e6259
  odersky

  committed
  98e6259

  Copy full SHA for 98e6259

• Rename CaptureRef -> Capability

  odersky

  committed
  6807a60

  Copy full SHA for 6807a60

• Integrate root.scala in Capability.scala

  odersky

  committed
  d925cd8

  Copy full SHA for d925cd8

• Map cap to fresh in capture sets

  Show description for 7af93dd
  odersky

  committed
  7af93dd

  Copy full SHA for 7af93dd