Mangling (Was: Notes from the meeting)

[Martin von Loewis]

> Does this match what people thought at the meeting?  Does it sound OK,
> Martin?

That should work. Just as a clarification: Under your proposal, you'd
always had to encode a 'this' adjustment in a covariant return case,
even if none would be needed, right? So in my example, it would be
_ZTch0_12_N7Derived4funcEi (provided the adjustment from B* to A* was
12).

>	_ZN7Derived4funcEP7Derivedi
>
> (except that the second 7Derived gets substituted).

However, this remark is confusing: Where in the document does it say
that the 'this' parameter appears in the mangling? I was under the
impression that the implicit argument of a method is not mangled. If
we can agree that this was the intent, I'd appreciate if that is
clarified in the text. If not, I'd like an issue to be added.

Regards,
Martin