[Issue 21565] @safe code allows modification of a scalar that overlaps with a pointer

[d-bugmail at puremagic.com]

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

--- Comment #13 from Steven Schveighoffer <schveiguy at gmail.com> ---
(In reply to Steven Schveighoffer from comment #12)

> It's just that the rules leave us with the reality that using such unions
> usable in @safe or @trusted code has no utility.

I rewrote this several times, and it looks terrible. I mean:

It's just that the rules leave us with the reality that such unions in @safe or
@trusted code have no utility.

--