Re: @trust is an encapsulation method, not an escape

[Zach the Mystic via Digitalmars-d]

On Friday, 6 February 2015 at 18:30:03 UTC, Zach the Mystic wrote:

That might be better than using @safe inside @trusted:

@trusted void myfunc() {
//implicitly safe
...
@system { //wouldn't compile otherwise.
  auto ptr = cast(ubyte*)4;
}

//implicitly safe again
}

Exactly. I think this addresses the concerns. If I read Walter's OP correctly, it's precisely the use of the word '@trusted' that he opposes, unless it's built into an interface like a function signature. Also, a @system block could be one statement long, if I'm not mistaken, in which case the above could look like:

@trusted void myfunc() {
//implicitly safe
...
@system auto ptr = cast(ubyte*)4;

//implicitly safe again
}

If this is a real solution, it's kind of exciting! :-)