[Issue 19916] union member access should be un- at safe

[d-bugmail at puremagic.com]

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

--- Comment #6 from Manu <turkeyman at gmail.com> ---
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.

--