Open
Description
In the future capture calculus will make it possible to prevent unsafe captures of boundary.Label[A]
but for now that's not yet stable or even available. I propose that fork family of operators include a scoped token (using a context function) that can be then reused using scala.util.NotGiven
to prevent unsafe uses of the api:
Metadata
Metadata
Assignees
Labels
No labels