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

odersky merged 2 commits intoscala:mainscala/scala3:mainfrom

dotty-staging:fix-reach-soundnessdotty-staging/dotty:fix-reach-soundnessCopy head branch name to clipboard