Current limitations of -dip1000

[meppl]

On Tuesday, 10 October 2017 at 09:55:13 UTC, meppl wrote:
> ...

also, these differ:
(with dmd v2.076.0)

@safe:
struct S {
	@safe:
	int* x;
	scope int* pointer() return {
		return x;
	}
}
int* testPointer() {
	S s;
	return s.pointer(); // no error
}
struct SA {
	@safe:
	int[ 128] x;
	scope int* pointer() return {
		return &x[ 0];
	}
}
int* testPointerA() {
	SA s;
	return s.pointer(); // error
}