On 18/04/2022 23:23, Edward Catmur wrote:
> On Mon, 18 Apr 2022 at 21:13, <language.lawyer_at_[hidden]> wrote:
>
>> On 18/04/2022 22:57, Edward Catmur wrote:
>>> I suppose that paragraph <https://eel.is/c++draft/expr.call#7.sentence-4>
>> (and
>>> the following Note) should be struck entirely.
>> I'd say then we will not know which object [expr.prim.this]/1 speaks about
>> («The keyword `this` names a pointer to the object for which an implicit
>> object member function is invoked»)
>>
>
> "the object for which an implicit object member function is invoked" seems
> clear enough; per [expr.call]/2 it's the object expression on the LHS of
> the postfix expression (before the '.', '->', '.*' or '->*').

If it is a base-class function, the object is the corresponding base class subobject, isn't it?