[expr.call]/2 says
If the selected function is non-virtual, or if the id-expression in the class member access expression is a qualified-id, that function is called. Otherwise, its final overrider in the dynamic type of the object expression is called; such a call is referred to as a virtual function call.
First, it should use "of" instead of "in". Consider ::x.foo().
Second, the "class member access expression" comes from nowhere, lacking a condition like "if the postfix-expression is a class member access expression".
Note that both would be resolved if P4176 is adopted.
[expr.call]/2 says
First, it should use "of" instead of "in". Consider
::x.foo().Second, the "class member access expression" comes from nowhere, lacking a condition like "if the postfix-expression is a class member access expression".
Note that both would be resolved if P4176 is adopted.