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

--- Comment #9 from Paul Backus <[email protected]> ---
> I'm disagreeing with the ability of safe code to access any part of this.

On what grounds? The point of @safe is to prevent undefined behavior, and
allowing access to the integer cannot possibly lead to undefined behavior,
because all integer values are safe values.

> the current rules are sound, just nonsensical. It makes such unions pointless 
> when writing safe code.

I agree--which is why I would like to replace them with rules that are both
sound *and* sensical. Can we agree that that's a desirable goal?

--

Reply via email to