tmp/tmp_o7i2qbd/{from.md → to.md}
RENAMED
|
@@ -34,11 +34,11 @@ 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.
|
|
|
|
| 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.
|