Fix Paths Referencing Consumed Parameters#24442

Closed

bracevac wants to merge 10 commits intoscala:mainfrom

dotty-staging:consume-in-constructor-new

Commits on Nov 19, 2025

Add Unscoped classifier

odersky
authored and
bracevac
committed
Revert "Represent read-only with a classifier"

odersky
authored and
bracevac
committed
Expand level owner of unscoped fresh caps only where necessary

odersky
authored and
bracevac
committed
Consume Unscoped caps assigned to outer variables

odersky
authored and
bracevac
committed
Drop `Read` as a classifier

odersky
authored and
bracevac
committed
Fix parsing of derived capabilities

odersky
authored and
bracevac
committed
Let implied class capabilities respect read-only

odersky
authored and
bracevac
committed
Don't consider `val _: T = e` as a binding in SepChecks

odersky
authored and
bracevac
committed
Require that consume parameters are covered by a FreshCap

odersky
authored and
bracevac
committed
Add tests for consume in constructor parameters
bracevac
committed