DMD 1.029 and 2.013 releases (automatic pure detection)

[Robert Fraser]

Bill Baxter wrote:
> However, it may still be useful to have tools that discover and 
> recommend tagging of functions which are in fact pure.  Same goes for 
> nothrow.

Such tools are very possible. JDT can automatically add "final" to every 
variable it can in Java, so it's not a big leap to say a tool could be 
implemented for D that would constify/invariantify every variable in 
your source it could. Such tools, for the reasons you described (API 
specification) would be easily abused, though.