tmp/tmpottgd1gi/{from.md → to.md}
RENAMED
|
@@ -31,11 +31,11 @@ template<typename T>
|
|
| 31 |
requires (sizeof(T) > 1) && (get_value<T>())
|
| 32 |
void f(T); // has associated constraint sizeof(T) > 1 ∧ get_value<T>()
|
| 33 |
|
| 34 |
void f(int);
|
| 35 |
|
| 36 |
-
f('a'); // OK
|
| 37 |
```
|
| 38 |
|
| 39 |
In the satisfaction of the associated constraints [[temp.constr.decl]]
|
| 40 |
of `f`, the constraint `sizeof(char) > 1` is not satisfied; the second
|
| 41 |
operand is not checked for satisfaction.
|
|
|
|
| 31 |
requires (sizeof(T) > 1) && (get_value<T>())
|
| 32 |
void f(T); // has associated constraint sizeof(T) > 1 ∧ get_value<T>()
|
| 33 |
|
| 34 |
void f(int);
|
| 35 |
|
| 36 |
+
f('a'); // OK, calls f(int)
|
| 37 |
```
|
| 38 |
|
| 39 |
In the satisfaction of the associated constraints [[temp.constr.decl]]
|
| 40 |
of `f`, the constraint `sizeof(char) > 1` is not satisfied; the second
|
| 41 |
operand is not checked for satisfaction.
|