@safe ref int foo(return ref int x) { return x; }

​

void main() @safe

{

   int x;

   auto xp = foo(x); // OK with dip1000

}