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:
#146
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 usingscala.util.NotGivento prevent unsafe uses of the api:#146