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

[d-bugmail--- via Digitalmars-d-bugs]

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

--- Comment #11 from Manu <turkey...@gmail.com> ---
> In fact, the whole project becomes @trusted because of __traits(getMember). 
> Shall we make that not @safe too?

Maybe.
I think what you're demonstrating here is that this should work:

void func() @safe
{
  // safecode...

  ...

  @trusted {
    trusted code
  }

  ...

  // safeCode...
}

That way it's easy to contain the one line of trusted code in a surrounding
context without over-elevating @trusted.

--