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

d-bugmail at puremagic.com d-bugmail at puremagic.com
Fri May 31 21:37:00 UTC 2019


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

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.


More information about the Digitalmars-d-bugs mailing list