@safe:

​

int* frank(return scope int* p) { return p; }

​

void main()

{

    int* p;

    int i;

    int* q;

​

    q = frank(&i); // ok

    p = frank(&i); // error

}