Attribute inference for auto functions?

[deadalnix]

On Friday, 19 April 2013 at 22:16:43 UTC, Timon Gehr wrote:
> Currently, it exists, yet cannot be named, and the formatted 
> output of the compiler is wrong.
>
> alias extern(C) int function()pure P;
> P foo(){ return null; }
>
> pragma(msg, typeof(&foo));
>
> => "extern (C) int function() pure function()"

Yes you have to use a alias to do this kind of thing. But some 
time, you can't alias (in case of inference for instance) and so 
can't choose what attribute bind to.