Encapsulating trust

[Walter Bright via Digitalmars-d]

On 9/2/2014 10:11 AM, Daniel Murphy wrote:
> Yes, that function is more easily verifiable for @safety, because any violation
> _must_ be inside the @trusted function.

The 'pure' attribute helps with that.


> If the @safe violating helpers were
> used, main would effectively be @trusted and more lines would need to be reviewed.

Yes, that says it better than I did.