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.