Re: Attribute inference for auto functions?

[Andrei Alexandrescu]

On 4/18/13 2:49 AM, Timon Gehr wrote:
On 04/18/2013 01:46 AM, Walter Bright wrote:
- adding the attribute retains covariance.

I am sorry, but I do not understand your notion of covariance.

I think he means subtyping. An attributed function (pure, nothrow) is a 
subtype of a non-attributed function. That means it can substitute the 
non-attributed function.


Andrei