This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 115d. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.

2024-10-26


2266. Has dependent type vs is type-dependent

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

[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