Issue2266

Title 2266. Has dependent type vs is type-dependent
Status drafting Section 17.7.2.1 [temp.dep.type]
Submitter Fedor Sergeev

Created on 2016-05-20.00:00:00 by admin, last changed by admin.

Messages
msg5900 (view) Date: 2018-04-11.00:00:00

According to 17.7.2.1 [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
2018-04-11 00:00:00adminsetstatus: open -> drafting
2018-02-27 00:00:00adminsetsection: 14.6.2.1 [temp.dep.type] -> 17.7.2.1 [temp.dep.type]
2016-05-20 00:00:00admincreate