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.
