Attribute inference for auto functions?

[Walter Bright]

On 4/17/2013 12:06 PM, Walter Bright wrote:
> On 4/17/2013 10:41 AM, Jesse Phillips wrote:
>> I wish to bring Someboddies consern to this form.
>>
>> What does attribute inference mean for inheritance?
>
>
> I specifically addressed his concern in the git page:
>
> "This is the same issue as defining a function with 'auto' in one place and
> referring to it having a specific type/attribute in another. So I think all the
> same arguments and reasoning discussed above apply equally."
>

His followup doesn't change that. It's still the same issue (covariance) which 
is discussed repeatedly.