Code

Rename @unbox to @use.#21861

Code

Closed

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

dotty-staging:fix-markfreedotty-staging/dotty:fix-markfreeCopy head branch name to clipboard

Commits

Commits on Oct 30, 2024

• Recognize double annotated capabilities such as x*?

  Show description for 5fc498a
  odersky

  committed
  5fc498a

  Copy full SHA for 5fc498a

• Refactor narrowCaps

  odersky

  committed
  e130c05

  Copy full SHA for e130c05

• Make sure dcs includes cs

  Show description for 8516e12
  odersky

  committed
  8516e12

  Copy full SHA for 8516e12

• Align deep capture sets with reach capabilities

  Show description for e1b31c1
  odersky

  committed
  e1b31c1

  Copy full SHA for e1b31c1

• Refactor handling of applications

  Show description for f6f178b
  odersky

  committed
  f6f178b

  Copy full SHA for f6f178b

• Handle reach capabilities correctly in markFree

  Show description for 913c5bb
  odersky

  committed
  913c5bb

  Copy full SHA for 913c5bb

• Rename @unbox to @use

  odersky

  committed
  ca0a6f9

  Copy full SHA for ca0a6f9

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

  odersky

  committed
  fc46e5c

  Copy full SHA for fc46e5c