'auto pure' is up, how about 'auto @safe'?

[Jonathan M Davis]

On 2011-06-20 03:23, Walter Bright wrote:
> On 6/20/2011 2:42 AM, KennyTM~ wrote:
> > But I think it should be able to detect @safe as well:
> Sure, and nothrow too. But I thought I'd start with purity.

Well, gotta start somewhere, but we definitely need the other two as well.

So, does this mean that any template function where all of the calls that it 
makes are pure should now be pure without being marked as pure?

- Jonathan M Davis