Make consume a soft modifier#23755

Merged

odersky merged 18 commits intoscala:mainfrom

dotty-staging:change-consume

Aug 16, 2025

Commits on Aug 15, 2025

Reorganize CC docs
odersky
committed
Fix links in experimental cc docs

bracevac
authored and
odersky
committed
cc docs: remove manual links and improve sidebar

bracevac
authored and
odersky
committed
Move cc docs into separate folder

bracevac
authored and
odersky
committed
Tweaks to cc docs

bracevac
authored and
odersky
committed
Update cc in `referenceReplacements/sidebar.yml`

bracevac
authored and
odersky
committed
Pass over cc.md

bracevac
authored and
odersky
committed
cc docs: pass until polymorphism

bracevac
authored and
odersky
committed
Factor out cc basics into separate subsection

bracevac
authored and
odersky
committed
cc doc: add missing links

bracevac
authored and
odersky
committed
WIP add separation checking
odersky
committed
Finish separation checking section
odersky
committed
Fixes to separation checking
odersky
committed
Make consume a soft modifier
odersky
committed
Some unrelated tests
odersky
committed
Update doc page to consume as a modifier
odersky
committed
Fix check files on rebase
odersky
committed
chore: `scaladoc` takes into account changes to `consume`
hamzaremmal
committed