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

[Max Haughton]

On Sunday, 22 September 2019 at 02:52:17 UTC, Suleyman wrote:
> On Sunday, 22 September 2019 at 02:29:49 UTC, Mike Franklin 
> wrote:
>> Possibility 1:
>> Exhibit A should not emit an error
>
> This looks like the right answer. I don't see any local 
> reference escaping in the entire program.

This would involve inferring scope on non templates, which I 
believe would require modifying the specification.