tmp/tmp5jymp26p/{from.md → to.md}
RENAMED
|
@@ -8,16 +8,16 @@ specializations of any of these templates.
|
|
| 8 |
|
| 9 |
For all of the class templates `X` declared in this subclause,
|
| 10 |
instantiating that template with a template-argument that is a class
|
| 11 |
template specialization may result in the implicit instantiation of the
|
| 12 |
template argument if and only if the semantics of `X` require that the
|
| 13 |
-
argument
|
| 14 |
|
| 15 |
For the purpose of defining the templates in this subclause, a function
|
| 16 |
call expression `declval<T>()` for any type `T` is considered to be a
|
| 17 |
trivial ([[basic.types]], [[special]]) function call that is not an
|
| 18 |
-
odr-use
|
| 19 |
corresponding definition notwithstanding the restrictions of
|
| 20 |
[[declval]].
|
| 21 |
|
| 22 |
[*Note 1*: A union is a class type that can be marked with
|
| 23 |
`final`. — *end note*]
|
|
@@ -98,8 +98,7 @@ if:
|
|
| 98 |
|
| 99 |
The set of scalar types for which this condition holds is
|
| 100 |
*implementation-defined*.
|
| 101 |
|
| 102 |
[*Note 4*: If a type has padding bits, the condition does not hold;
|
| 103 |
-
otherwise, the condition holds true for
|
| 104 |
-
types. — *end note*]
|
| 105 |
|
|
|
|
| 8 |
|
| 9 |
For all of the class templates `X` declared in this subclause,
|
| 10 |
instantiating that template with a template-argument that is a class
|
| 11 |
template specialization may result in the implicit instantiation of the
|
| 12 |
template argument if and only if the semantics of `X` require that the
|
| 13 |
+
argument is a complete type.
|
| 14 |
|
| 15 |
For the purpose of defining the templates in this subclause, a function
|
| 16 |
call expression `declval<T>()` for any type `T` is considered to be a
|
| 17 |
trivial ([[basic.types]], [[special]]) function call that is not an
|
| 18 |
+
odr-use [[basic.def.odr]] of `declval` in the context of the
|
| 19 |
corresponding definition notwithstanding the restrictions of
|
| 20 |
[[declval]].
|
| 21 |
|
| 22 |
[*Note 1*: A union is a class type that can be marked with
|
| 23 |
`final`. — *end note*]
|
|
|
|
| 98 |
|
| 99 |
The set of scalar types for which this condition holds is
|
| 100 |
*implementation-defined*.
|
| 101 |
|
| 102 |
[*Note 4*: If a type has padding bits, the condition does not hold;
|
| 103 |
+
otherwise, the condition holds true for integral types. — *end note*]
|
|
|
|
| 104 |
|