Re: Current limitations of -dip1000

[meppl via Digitalmars-d]

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
}