This question from my searching makes more sense. Thanks for the clear explanation, I hadn’t thought about it in terms of actual scope. I was assuming it was just a convenience for the lock/unlock dance where yield was sugar for body: (inout sending Value) throws(E) -> Result, I’m gonna have to re-read that proposal.
The insights are much appreciated.