Proposed resolution (February, 2019):

Change 6.3 [basic.def.odr] paragraph 2 as follows:

An expression is potentially evaluated unless it is an unevaluated operand (7.2 [expr.prop]) or a subexpression thereof. The set of potential results of an expression e is defined as follows:

• ...

• If e is a class member access expression (7.6.1.5 [expr.ref]) of the form e1 . template_opt e2 naming a non-static data member, the set contains the potential results of the object expression e1.

• if e is a class member access expression naming a static data member, the set contains the id-expression designating the data member.

• If e is a pointer-to-member expression (7.6.4 [expr.mptr.oper]) whose second operand is a constant expression of the form e1 .* e2, the set contains the potential results of the object expression e1.

• ...