Why is immutable not possible as a result of a reduce expression?

[Ali Çehreli]

On 01/05/2013 04:59 PM, Jonathan M Davis wrote:

 > D's auto _is_ automatic type deduction like in C++11.

It must have changed in the last couple of years. I see that the 
documentation is now different:

   http://dlang.org/attribute.html#auto

It now says "The auto attribute is used when there are no other 
attributes and type inference is desired."

It used to be not the case. The historical evidence is still there in 
compiler error messages:

     auto auto a = 1;

Error: redundant storage class 'auto'

;)

Ali