Covariant returns

[Jason Merrill]

>>>>> Mark Mitchell <mark at codesourcery.com> writes:

>>>>> "Jason" == Jason Merrill <jason at redhat.com> writes:
 >>> There also need to be vcall offsets for all of the covariant
 >>> returns.

 Jason> Why would we need anything that we wouldn't already need
 Jason> for functions without covariant returns?

 > I didn't mean to imply that -- just that we would have to treat
 > covariant returns just like ordinary functions.  The present language
 > didn't make that clear.

 > In other words, when we read the document we are meant to think of the
 > various covariant returns as different functions

That's what I'm disagreeing with.  Why would we need to do so?

 > An ordinary human would think that the overriding function is just one
 > function, not N where N is the number of covariant returns. :-)

And so would I.  :)

Jason