This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 115f. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
2024-12-06
[Accepted as a DR at the February, 2019 meeting.]
According to 13.8.3.2 [temp.dep.type] bullet 6.3.2, one criterion for a name being a member of an unknown specialization is if the name is an id-expression denoting the member in a member access expression and
the type of the object expression is dependent and is not the current instantiation.
This should presumably say that the object expression is type-dependent and not that it has a dependent type; “has a dependent type” should be applied only to declarations, not expressions.
Proposed resolution (February, 2019):
Change 13.8.3.2 [temp.dep.type] bullet 6.3.2 as follows:
A name is a member of an unknown specialization if it is
...
An id-expression denoting the member in a class member access expression (7.6.1.5 [expr.ref]) in which either
the type of the object expression is the current instantiation, the current instantiation has at least one dependent base class, and name lookup of the id-expression does not find a member of a class that is the current instantiation or a non-dependent base class thereof; or
the type ofthe object expression is type-dependent and is not the current instantiation.