@trust is an encapsulation method, not an escape

Zach the Mystic via Digitalmars-d digitalmars-d at puremagic.com
Fri Feb 6 15:31:25 PST 2015


On Friday, 6 February 2015 at 23:02:54 UTC, Zach the Mystic wrote:
> This solution appeals to me greatly. It pinpoints precisely 
> where unsafe code can generate; it catches unintended safety 
> violations in all @trusted code outside @system blocks, as 
> requested by many people so far; it makes systems programming 
> highly visible, with redundancy at the function signature and 
> at the unsafe code itself. I really think it's spot on!

Even a call to a @system function inside a @trusted function must 
occur inside a @system block. It's that strict.


More information about the Digitalmars-d mailing list