Attribute inference for auto functions?

[Walter Bright]

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."