Skip to content

Add capture-checking annotations to scala.util.boundary#22775

Closed
natsukagami wants to merge 3 commits intoscala:mainfrom
dotty-staging:safe-boundary
Closed

Add capture-checking annotations to `scala.util.boundary`#22775
natsukagami wants to merge 3 commits intoscala:mainfrom
dotty-staging:safe-boundary

Commits

Commits on Mar 11, 2025

Commits on Mar 12, 2025