@safe int* foo(return int* x)

{

    return x;

}

​

void main() @safe

{

    int x;

    int* xp = foo(&x); // OK with dip1000

}