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

[Mike Franklin]

On Sunday, 22 September 2019 at 16:32:02 UTC, Jacob Carlborg 
wrote:
> On 2019-09-22 13:22, Mike Franklin wrote:
>
>> 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?
>
> Yes.

According to DIP1000 
(https://github.com/dlang/DIPs/blob/master/DIPs/other/DIP1000.md#identity-function) `scope ref` is a thing, so I guess `scope` can't be inferred or implied for `ref`.

I don't know.  I think Walter is the only one that can clear this 
up.