DIP 1005 - Preliminary Review Round 1

[Timon Gehr via Digitalmars-d]

On 22.04.2017 17:16, Andrej Mitrovic wrote:
> On Saturday, 22 April 2017 at 11:54:08 UTC, Mike Parker wrote:
>> https://github.com/dlang/DIPs/blob/master/DIPs/DIP1005.md
>
>> with (Type) and with (TemplateInstance) are always declarations and do
>> not introduce a new scope.
>
> Does that mean we can now do things like this?:
>
> -----
> module m;
> struct A { struct B { } }
> with (A) B b;
> -----
>
> That's a pretty cool addition.

With the current wording of the DIP, this will not work in local scopes. 
Why do we need more features for declaring global variables?