Local pointer escape under current DIP1000 implementation

[Yuxuan Shui via Digitalmars-d]

Code:

@safe auto id(scope int *p) {
        int*[] a;
        a ~= p;
        return a;
}
@safe int *bar() {
        int i;
        return id(&i)[0]; //pointer to local escaped
}

Compiles with -dip1000