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