@trust is an encapsulation method, not an escape

[Dicebot via Digitalmars-d]

On Thursday, 5 February 2015 at 23:43:19 UTC, Dicebot wrote:
> The fact that @trusted is contained in small block doesn't mean 
> rest of @safe function doesn't need to be reviewed. Only 
> difference is "review all manually" vs "review all manually 
> with some help of compiler".

I believe that was also the reasoning behind H.S.Teoh proposal 
for refining @trusted semantics - to keep help from compiler but 
mark functions as @trusted to make it clear that it still needs 
to be reviewed in total.