Attribute inference for auto functions?

[Jesse Phillips]

On Wednesday, 17 April 2013 at 19:06:42 UTC, 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."

Initially I thought you were replying to something further up in 
the thread as it seemed more applicable to something I read 
before, and I did feel the issue of inheritance was different. 
But I think you are correct, it is the same issue.