• d-bugmail puremagic.com (22/22) Jul 15 https://issues.dlang.org/show_bug.cgi?id=24663

d-bugmail puremagic.com writes:

https://issues.dlang.org/show_bug.cgi?id=24663

          Issue ID: 24663
           Summary: dip1000 doesn't check slice expression implicitly
                    converted to static array
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Keywords: safe
          Severity: normal
          Priority: P3
         Component: dmd
          Assignee: nobody puremagic.com
          Reporter: dkorpel live.nl

These should error with dip1000 for returning a `scope int*`:

```
    int*[3] escape8b(scope int*[3] p)  safe { return p[]; }
ref int*[3] escape9b(scope int*[3] p)  safe { return p[]; }
```

But they currently compile without error.

--