https://issues.dlang.org/show_bug.cgi?id=19916
--- Comment #6 from Manu <[email protected]> --- Glad you agree. I think it's overwhelmingly simple; if the compiler can't confirm that the memory it's accessing is valid, then it's not @safe, and if that's not the definition of @safe, then we need to fix the definition. Accessing uninitialised memory is absolutely a memory safety issue. I don't know where this idea that it has strictly to do with pointers comes from? Why would safety be limited that way? Anyway, let's fix this. --
