tmp/tmps8ttopnd/{from.md → to.md}
RENAMED
|
@@ -30,10 +30,16 @@ type-name:
|
|
| 30 |
class-name
|
| 31 |
enum-name
|
| 32 |
typedef-name
|
| 33 |
```
|
| 34 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 35 |
A *placeholder-type-specifier* is a placeholder for a type to be deduced
|
| 36 |
[[dcl.spec.auto]]. A *type-specifier* of the form `typename`ₒₚₜ
|
| 37 |
*nested-name-specifier*ₒₚₜ *template-name* is a placeholder for a
|
| 38 |
deduced class type [[dcl.type.class.deduct]]. The
|
| 39 |
*nested-name-specifier*, if any, shall be non-dependent and the
|
|
|
|
| 30 |
class-name
|
| 31 |
enum-name
|
| 32 |
typedef-name
|
| 33 |
```
|
| 34 |
|
| 35 |
+
The component names of a *simple-type-specifier* are those of its
|
| 36 |
+
*nested-name-specifier*, *type-name*, *simple-template-id*,
|
| 37 |
+
*template-name*, and/or *type-constraint* (if it is a
|
| 38 |
+
*placeholder-type-specifier*). The component name of a *type-name* is
|
| 39 |
+
the first name in it.
|
| 40 |
+
|
| 41 |
A *placeholder-type-specifier* is a placeholder for a type to be deduced
|
| 42 |
[[dcl.spec.auto]]. A *type-specifier* of the form `typename`ₒₚₜ
|
| 43 |
*nested-name-specifier*ₒₚₜ *template-name* is a placeholder for a
|
| 44 |
deduced class type [[dcl.type.class.deduct]]. The
|
| 45 |
*nested-name-specifier*, if any, shall be non-dependent and the
|