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