[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