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.