[Issue 10201] "= void" initialization should not be allowed in @safe
via Digitalmars-d-bugs
digitalmars-d-bugs at puremagic.com
Tue Jun 7 10:18:56 PDT 2016
https://issues.dlang.org/show_bug.cgi?id=10201
--- Comment #8 from Walter Bright <bugzilla at digitalmars.com> ---
(In reply to Dicebot from comment #6)
> There is no array bounds checking in that example as `arr.ptr` syntax is
> used.
You're right.
But it's marked @trusted anyway, which defeats @safe checking, because pointer
indexing is not allowed in @safe code.
--
More information about the Digitalmars-d-bugs
mailing list