tmp/tmpd2slsqx0/{from.md → to.md}
RENAMED
|
@@ -29,13 +29,13 @@ is zero-based.
|
|
| 29 |
template<class T> struct tuple_size<const T>;
|
| 30 |
```
|
| 31 |
|
| 32 |
Let `TS` denote `tuple_size<T>` of the cv-unqualified type `T`. If the
|
| 33 |
expression `TS::value` is well-formed when treated as an unevaluated
|
| 34 |
-
operand, then each specialization of the
|
| 35 |
-
*Cpp17UnaryTypeTrait* requirements [[meta.rqmts]]
|
| 36 |
-
characteristic of
|
| 37 |
|
| 38 |
``` cpp
|
| 39 |
integral_constant<size_t, TS::value>
|
| 40 |
```
|
| 41 |
|
|
|
|
| 29 |
template<class T> struct tuple_size<const T>;
|
| 30 |
```
|
| 31 |
|
| 32 |
Let `TS` denote `tuple_size<T>` of the cv-unqualified type `T`. If the
|
| 33 |
expression `TS::value` is well-formed when treated as an unevaluated
|
| 34 |
+
operand [[term.unevaluated.operand]], then each specialization of the
|
| 35 |
+
template meets the *Cpp17UnaryTypeTrait* requirements [[meta.rqmts]]
|
| 36 |
+
with a base characteristic of
|
| 37 |
|
| 38 |
``` cpp
|
| 39 |
integral_constant<size_t, TS::value>
|
| 40 |
```
|
| 41 |
|