with breaks @safe

[Bolpat]

Offending code:

struct S { int x; }

void main() @safe
{
    int* p;
    with (S()) p = &x;
}

Without DIP1000, it takes the address of a local. With DIP1000, it assigns p to a value with shorter lifetime.

In both cases, no compile-error.

Tags: DIP1000 (maybe), accepts invalid