[Issue 19175] @safe code can escape local array references

d-bugmail at puremagic.com d-bugmail at puremagic.com
Sun Aug 26 21:45:24 UTC 2018


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

Radu Racariu <radu.racariu at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |radu.racariu at gmail.com

--- Comment #5 from Radu Racariu <radu.racariu at gmail.com> ---
Under dip1000, what I think is that slicing a static array should always be
considered scope.

Also, calling a functions with a scope slice with the parameter for the slice
not annotated as scope should result in an error if the compiler can't prove
that the parameter can't escape.

--


More information about the Digitalmars-d-bugs mailing list