Tighten the screws a bit more to seal the soundness hole for reach capabilities#20056

Merged

odersky merged 2 commits intoscala:mainfrom

dotty-staging:fix-reach-soundness

Apr 5, 2024

Commits on Apr 1, 2024

Dealias type before checking reach refinements
Linyxus
committed

Commits on Apr 4, 2024

Dealias types when checking contra-variant caps
Linyxus
committed