Covariant returns

[Mark Mitchell]

>>>>> "Jim" == Jim Dehnert <dehnert at baalbek.engr.sgi.com> writes:

    Jim> Now, we specify that the vptrs from W get promoted to the X
    Jim> vtable.  That presumably means both of them in the case at
    Jim> hand.  Correct?  I'm guessing that this was Mark's original
    Jim> point.  Correct?  Am I missing anything that Jason or Mark
    Jim> was trying to point out? Screwing it up?  Where precisely do
    Jim> we need to say more in the draft?

I think you've highlighted all the issues.  And your proposed answers
sound right to me, FWIW. :-)

--
Mark Mitchell                   mark at codesourcery.com
CodeSourcery, LLC               http://www.codesourcery.com