Union redux

[Jonathan M Davis via Digitalmars-d]

On Monday, 1 June 2015 at 21:32:32 UTC, Andrei Alexandrescu wrote:
> On 6/1/15 2:02 PM, Walter Bright wrote:
>>>> 3/ union and @safe is currently undefined. I proposed to 
>>>> make everything
>>>> involving unions @system, and we will figure it out from 
>>>> there.
>>
>> No.
>
> What should we do here then? -- Andrei

The fact that we essentially decided that everything was @safe 
until proven otherwise - i.e. used a blacklist for @safety rather 
than a whitelist - has already proven to be a problem in that we 
keep missing stuff, and changing the rules later (like we will 
need to fix @safety issues) will break existing code. It minimum, 
if we're not sure that something is @safe, we need to make it 
@system. As it stands, we've definitely dropped the ball on this.

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

is one example of that.

- Jonathan M Davis