[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