tmp/tmpdynz6ioa/{from.md → to.md}
RENAMED
|
@@ -10,20 +10,25 @@ dependent ([[temp.dep.type]]).
|
|
| 10 |
|
| 11 |
An *id-expression* is type-dependent if it contains
|
| 12 |
|
| 13 |
- an *identifier* associated by name lookup with one or more
|
| 14 |
declarations declared with a dependent type,
|
|
|
|
|
|
|
|
|
|
|
|
|
| 15 |
- a *template-id* that is dependent,
|
| 16 |
- a *conversion-function-id* that specifies a dependent type, or
|
| 17 |
- a *nested-name-specifier* or a *qualified-id* that names a member of
|
| 18 |
an unknown specialization;
|
| 19 |
|
| 20 |
-
or if it names a
|
| 21 |
-
|
| 22 |
-
[[temp.static]]). Expressions of the following forms are
|
| 23 |
-
only if the type specified by the *type-id*,
|
| 24 |
-
*new-type-id* is dependent, even if any
|
|
|
|
| 25 |
|
| 26 |
Expressions of the following forms are never type-dependent (because the
|
| 27 |
type of the expression cannot be dependent):
|
| 28 |
|
| 29 |
For the standard library macro `offsetof`, see [[support.types]].
|
|
|
|
| 10 |
|
| 11 |
An *id-expression* is type-dependent if it contains
|
| 12 |
|
| 13 |
- an *identifier* associated by name lookup with one or more
|
| 14 |
declarations declared with a dependent type,
|
| 15 |
+
- an *identifier* associated by name lookup with one or more
|
| 16 |
+
declarations of member functions of the current instantiation declared
|
| 17 |
+
with a return type that contains a placeholder type (
|
| 18 |
+
[[dcl.spec.auto]]),
|
| 19 |
- a *template-id* that is dependent,
|
| 20 |
- a *conversion-function-id* that specifies a dependent type, or
|
| 21 |
- a *nested-name-specifier* or a *qualified-id* that names a member of
|
| 22 |
an unknown specialization;
|
| 23 |
|
| 24 |
+
or if it names a dependent member of the current instantiation that is a
|
| 25 |
+
static data member of type “array of unknown bound of `T`” for some
|
| 26 |
+
`T` ([[temp.static]]). Expressions of the following forms are
|
| 27 |
+
type-dependent only if the type specified by the *type-id*,
|
| 28 |
+
*simple-type-specifier* or *new-type-id* is dependent, even if any
|
| 29 |
+
subexpression is type-dependent:
|
| 30 |
|
| 31 |
Expressions of the following forms are never type-dependent (because the
|
| 32 |
type of the expression cannot be dependent):
|
| 33 |
|
| 34 |
For the standard library macro `offsetof`, see [[support.types]].
|