Attribute inference for auto functions?

[Timon Gehr]

On 04/19/2013 09:34 PM, deadalnix wrote:
> On Friday, 19 April 2013 at 19:06:39 UTC, Walter Bright wrote:
>> On 4/19/2013 6:55 AM, deadalnix wrote:
>>> As of for 2 I'd rather have a standard way to have attribute binding
>>> to the
>>> return type or the declaration. This is a recurring problem, and auto
>>> is simply
>>> one instance of it.
>>
>> I'm not understanding it being a recurring problem. There is a
>> recurring misunderstanding that attributes are applying to a type when
>> they are defined as applying to the declaration.
>>
>
> What is type of an impure function that return a pure, extern(C)
> function n D ?

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()"