Exclusive capabilities V2#22338

Closed

odersky wants to merge 8 commits intoscala:mainfrom

dotty-staging:exclusive-capabilities-squashed

Commits on Jan 11, 2025

Implement fresh capabilities
odersky
committed

Commits on Jan 12, 2025

Separation checking for applications
odersky
committed

Commits on Jan 14, 2025

Separation checking for blocks
odersky
committed