[Issue 10201] "= void" initialization should not be allowed in @safe

via Digitalmars-d-bugs digitalmars-d-bugs at puremagic.com
Tue Jun 7 03:21:13 PDT 2016


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

--- Comment #6 from Dicebot <public at dicebot.lv> ---
(In reply to Walter Bright from comment #4)
> (In reply to monarchdodra from comment #2)
> > I mentioned this in
> > https://github.com/D-Programming-Language/phobos/pull/1434#issuecomment-
> > 21644766 with the example:
> 
> The example is still @safe because the array bounds checking will not allow
> an out of bounds index.

There is no array bounds checking in that example as `arr.ptr` syntax is used.

--


More information about the Digitalmars-d-bugs mailing list