Skip to content

Fix soundness hole of forgotten reach capabilities#20524

Merged
Linyxus merged 1 commit intoscala:mainfrom
dotty-staging:fix-20503
Jun 4, 2024
Merged

Fix soundness hole of forgotten reach capabilities#20524
Linyxus merged 1 commit intoscala:mainfrom
dotty-staging:fix-20503

Commits

Commits on Jun 4, 2024