tmp/tmp31q8h0rf/{from.md → to.md}
RENAMED
|
@@ -25,19 +25,5 @@ template<typename T> concept D = requires (T t) {
|
|
| 25 |
`D<T>` is satisfied if `sizeof(decltype (+t)) == 1`
|
| 26 |
[[temp.constr.atomic]].
|
| 27 |
|
| 28 |
— *end example*]
|
| 29 |
|
| 30 |
-
A local parameter shall only appear as an unevaluated operand
|
| 31 |
-
[[expr.prop]] within the *constraint-expression*.
|
| 32 |
-
|
| 33 |
-
[*Example 2*:
|
| 34 |
-
|
| 35 |
-
``` cpp
|
| 36 |
-
template<typename T> concept C = requires (T a) {
|
| 37 |
-
requires sizeof(a) == 4; // OK
|
| 38 |
-
requires a == 0; // error: evaluation of a constraint variable
|
| 39 |
-
};
|
| 40 |
-
```
|
| 41 |
-
|
| 42 |
-
— *end example*]
|
| 43 |
-
|
|
|
|
| 25 |
`D<T>` is satisfied if `sizeof(decltype (+t)) == 1`
|
| 26 |
[[temp.constr.atomic]].
|
| 27 |
|
| 28 |
— *end example*]
|
| 29 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|