Understanding DIP 1000 semantics -- Where's the bug?

Sun Sep 22 11:22:27 UTC 2019

On Sunday, 22 September 2019 at 11:03:29 UTC, Jacob Carlborg 
wrote:

> In Exhibit B, `i` is a reference and cannot escape the function 
> `getValue2`.

Ok, that is an interesting observation.  If that's the case, then 
I don't see any reason to ever annotate a `ref` parameter with 
`scope`.  In other words, for `ref` parameters `scope` is 
inferred (or implied).  Do you agree with that?