DIP-1000 and slice lifetimes

[Nordlöw via Digitalmars-d]

Will DIP-1000 correctly forbid code such as

     int[] xs;
     {
         int[3] x = [1, 2, 3];
         xs = x[]; // leaks dangling pointer `xs.ptr` to enclosing 
scope
     }
     xs[] = 0; // undefined behaviour

from compiling?