@trust is an encapsulation method, not an escape

Andrei Alexandrescu via Digitalmars-d digitalmars-d at puremagic.com
Fri Feb 6 08:29:09 PST 2015


On 2/6/15 8:19 AM, John Colvin wrote:
> Is that what we want? I can't see why not, but it feels off somehow...
> Effectively you've got @trusted blocks in an @trusted function, just
> inverted.

That's the natural direction - the default assumption is weak, and you 
have the option to temporarily strengthen it. That said I'm not jazzed 
about the whole thing. What we have is the right balance. -- Andrei



More information about the Digitalmars-d mailing list