Proposed resolution (November, 2014):

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

...The set of potential results of an expression e is defined as follows:

• If e is an id-expression (_N4567_.5.1.1 [expr.prim.general]), the set contains only e.

• If e is a subscripting operation (7.6.1.2 [expr.sub]) with an array operand, the set contains that operand.

• If e is a class member access...