Attribute inference for auto functions?

[Rob T]

On Wednesday, 17 April 2013 at 13:59:05 UTC, Peter Alexander 
wrote:
[...]
>
> If you want type inference then you just need to use:
>
> const foo();
>
> And yes, it is by design. The spec is quite clear on this 
> issue. Type inference is signalled by lack of return type -- 
> not the presence of auto. auto is only required when no other 
> storage class is wanted, to make the parser happy. auto is 
> nothing whatsoever to do with type inference.

I think you've made some good clarification points.

auto is used only when there is no other storage class, and 
"storage class" is a somewhat misleading term because some 
storage class's seem to have nothing to do with "storage".

The point you made, is that what is being proposed is if or if 
not D should be extended to perform attribute inference along 
with type inference. The auto keyword is only required when no 
other storage class is specified, so it really means that 
attribute inference will be done all the time unless you 
specifically specify the attributes.

Is this the case?

--rt