Flame bait: D vs. Rust vs. Go Benchmarking

[John Colvin]

On Thursday, 25 July 2013 at 00:09:40 UTC, Jonathan M Davis wrote:
> On Thursday, July 25, 2013 01:29:04 John Colvin wrote:
>> And @safe is automatically inferred (on templates only still?)
>> when possible? I don't like where this is going...
>
> If you have code that you want to be explictly @system, then 
> mark it with
> @system. That will override any attribute inference for @safe.
>
> - Jonathan m Davis

That isn't really a good solution for the general case.

Could dmd perhaps mark a function inferred to be safe as @trusted 
instead of @safe? Or would that break other stuff?