Changes to Fresh and Separation Checking#24112

Merged

odersky merged 14 commits intoscala:mainfrom

dotty-staging:change-peaks

Oct 4, 2025

Commits on Sep 29, 2025

Disallow nested capabilitirs in self types of classes
odersky
committed

Commits on Sep 30, 2025

SepCheck: Record span capture sets instead of deep capture sets
odersky
committed

Commits on Oct 1, 2025

Commits on Oct 3, 2025