On Sat, 20 Aug 2011 20:23:44 -0400, Jonathan M Davis <jmdavisp...@gmx.com>
wrote:
On Saturday, August 20, 2011 16:50:32 Sean Eskapp wrote:
Since the compiler can clearly tell when a function is not const, safe,
pure, or nothrow, why can't they just be assumed, unless proven
otherwise?
As of 2.054, @safe, pure, and nothrow are inferred for delegates and
templated
functions. This is because whether they can be @safe, pure, or nothrow
depends
entirely on the types that they're instantiated with. For normal
functions,
there is no such inferrence. It's not needed.
Well, and also because you can't template purity, @safety, and um...
nothrow-ity :)
-Steve