On 04/10/2014 07:37 PM, Steven Schveighoffer wrote: >> > > That's why we have @trusted. @safe is a special situation, it's not made > for optimization, and should be immune to those attempts in deference to > safety. > > -Steve @safe will often be inferred.