July 15 [Issue 24663] New: dip1000 doesn't check slice expression implicitly converted to static array | ||||
---|---|---|---|---|
| ||||
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. -- |
Copyright © 1999-2021 by the D Language Foundation