tmp/tmpen3llq3x/{from.md → to.md}
RENAMED
|
@@ -10,11 +10,11 @@ conventional semantics.
|
|
| 10 |
template<class T>
|
| 11 |
concept boolean-testable-impl = convertible_to<T, bool>; // exposition only
|
| 12 |
```
|
| 13 |
|
| 14 |
Let `e` be an expression such that `decltype((e))` is `T`. `T` models
|
| 15 |
-
`boolean-testable-impl` only if
|
| 16 |
|
| 17 |
- either `remove_cvref_t<T>` is not a class type, or a search for the
|
| 18 |
names `operator&&` and `operator||` in the scope of
|
| 19 |
`remove_cvref_t<T>` finds nothing; and
|
| 20 |
- argument-dependent lookup [[basic.lookup.argdep]] for the names
|
|
|
|
| 10 |
template<class T>
|
| 11 |
concept boolean-testable-impl = convertible_to<T, bool>; // exposition only
|
| 12 |
```
|
| 13 |
|
| 14 |
Let `e` be an expression such that `decltype((e))` is `T`. `T` models
|
| 15 |
+
`boolean-testable-impl` only if
|
| 16 |
|
| 17 |
- either `remove_cvref_t<T>` is not a class type, or a search for the
|
| 18 |
names `operator&&` and `operator||` in the scope of
|
| 19 |
`remove_cvref_t<T>` finds nothing; and
|
| 20 |
- argument-dependent lookup [[basic.lookup.argdep]] for the names
|