Scope checking on static array struct doesn't kick in

[Nordlöw via Digitalmars-d-learn]

On Tuesday, 9 May 2017 at 12:25:29 UTC, Nordlöw wrote:
> On Tuesday, 9 May 2017 at 11:52:35 UTC, Nordlöw wrote:
>> I've tagged the ref-returning functions (in this case 
>> `opSlice`) with `return scope` for my statically allocated 
>> array struct at
>
> Here's a simpler example
>
> https://github.com/nordlow/phobos-next/blob/cf85f449d24981fbe6269f8096db23282e2fbb65/tests/test_scope.d

If I change the return value of `S.opSlice` to `int[]` correct 
`scope`-error handling kicks in.

Tha is, scope checking via -dip1000 works for

struct S
{
     @safe pure nothrow @nogc
     int[] opSlice() return scope
     {
         return x[];
     }
     int[4] x;
}

but not for

struct S
{
     @safe pure nothrow @nogc
     auto opSlice() return scope
     {
         return x[];
     }
     int[4] x;
}

.

I'll write a Bugzilla issue later today.