@safe:

​

struct A

{

     int* ptr;

}

​

int* gptr;

​

void foo(ref A a)

{

     gptr = a.ptr; // error, can't leak borrowed a.ptr into global context

}

​

void main() { }