This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 112e. See for the official list.


2266. Has dependent type vs is type-dependent

Section:  [temp.dep.type]     Status: CD5     Submitter: Fedor Sergeev     Date: 2016-05-20

[Accepted as a DR at the February, 2019 meeting.]

According to [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 [temp.dep.type] bullet 6.3.2 as follows:

A name is a member of an unknown specialization if it is