[Dlang-internal] DIP1000 discussion and testing

[Walter Bright via Dlang-internal]

On 10/24/2016 2:13 AM, Mathias Lang wrote:
> So it means that the storage class of 'e' changes during semantic analysis of
> the function. I don't think that's something we want to ever do.

Why? D already infers lots of things.

> Crafting a test case that exploit this was trivial:
> void* escape3 (scope void* p) @safe
> {
>     Escaper e;
>     scope dg = () { return e.e; };
>     e.e = p;
>     return dg();
> }

I'll investigate that one.