On 6/19/2019 11:53 PM, Manu wrote: > Well, you're assuming that `fun()` is an unsafe function that did > violate the scope agreement and passed it out to worker threads. Not at all. Scope means it does not leak a reference that survives the end of the function. As long as the threads terminate before the function returns, it is valid code.