Title
Has dependent type vs is type-dependent
Status
cd5
Section
13.8.3.2 [temp.dep.type]
Submitter
Fedor Sergeev

Created on 2016-05-20.00:00:00 last changed 7 months ago

Messages

Date: 2019-02-15.00:00:00

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 of the object expression is type-dependent and is not the current instantiation.

Date: 2019-02-15.00:00:00

[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.

History
Date User Action Args
2020-12-15 00:00:00adminsetmessages: + msg6418
2020-12-15 00:00:00adminsetstatus: drafting -> cd5
2018-04-11 00:00:00adminsetstatus: open -> drafting
2016-05-20 00:00:00admincreate