tmp/tmphnhj7om4/{from.md → to.md}
RENAMED
|
@@ -18,10 +18,12 @@ class templates are considered definitions; each default argument,
|
|
| 18 |
*type-constraint*, *requires-clause*, or *noexcept-specifier* is a
|
| 19 |
separate definition which is unrelated to the templated function
|
| 20 |
definition or to any other default arguments, *type-constraint*s,
|
| 21 |
*requires-clause*s, or *noexcept-specifier*s. For the purpose of
|
| 22 |
instantiation, the substatements of a constexpr if statement [[stmt.if]]
|
| 23 |
-
are considered definitions.
|
|
|
|
|
|
|
| 24 |
|
| 25 |
Because an *alias-declaration* cannot declare a *template-id*, it is not
|
| 26 |
possible to partially or explicitly specialize an alias template.
|
| 27 |
|
|
|
|
| 18 |
*type-constraint*, *requires-clause*, or *noexcept-specifier* is a
|
| 19 |
separate definition which is unrelated to the templated function
|
| 20 |
definition or to any other default arguments, *type-constraint*s,
|
| 21 |
*requires-clause*s, or *noexcept-specifier*s. For the purpose of
|
| 22 |
instantiation, the substatements of a constexpr if statement [[stmt.if]]
|
| 23 |
+
are considered definitions. For the purpose of name lookup and
|
| 24 |
+
instantiation, the *compound-statement* of an *expansion-statement* is
|
| 25 |
+
considered a template definition.
|
| 26 |
|
| 27 |
Because an *alias-declaration* cannot declare a *template-id*, it is not
|
| 28 |
possible to partially or explicitly specialize an alias template.
|
| 29 |
|