tmp/tmpls0qif29/{from.md → to.md}
RENAMED
|
@@ -29,18 +29,17 @@ one template type argument and, optionally, additional arguments that
|
|
| 29 |
help define the modification. It shall define a publicly accessible
|
| 30 |
nested type named `type`, which shall be a synonym for the modified
|
| 31 |
type.
|
| 32 |
|
| 33 |
Unless otherwise specified, the behavior of a program that adds
|
| 34 |
-
specializations for any of the templates specified in
|
| 35 |
-
|
| 36 |
|
| 37 |
Unless otherwise specified, an incomplete type may be used to
|
| 38 |
-
instantiate a template specified in
|
| 39 |
program is undefined if:
|
| 40 |
|
| 41 |
-
- an instantiation of a template specified in
|
| 42 |
-
|
| 43 |
-
`T`, and
|
| 44 |
- that instantiation could yield a different result were `T`
|
| 45 |
hypothetically completed.
|
| 46 |
|
|
|
|
| 29 |
help define the modification. It shall define a publicly accessible
|
| 30 |
nested type named `type`, which shall be a synonym for the modified
|
| 31 |
type.
|
| 32 |
|
| 33 |
Unless otherwise specified, the behavior of a program that adds
|
| 34 |
+
specializations for any of the templates specified in [[type.traits]] is
|
| 35 |
+
undefined.
|
| 36 |
|
| 37 |
Unless otherwise specified, an incomplete type may be used to
|
| 38 |
+
instantiate a template specified in [[type.traits]]. The behavior of a
|
| 39 |
program is undefined if:
|
| 40 |
|
| 41 |
+
- an instantiation of a template specified in [[type.traits]] directly
|
| 42 |
+
or indirectly depends on an incompletely-defined object type `T`, and
|
|
|
|
| 43 |
- that instantiation could yield a different result were `T`
|
| 44 |
hypothetically completed.
|
| 45 |
|