tmp/tmpnvrfmm0d/{from.md → to.md}
RENAMED
|
@@ -44,11 +44,11 @@ names a concept specialization [[expr.prim.id]]. — *end note*]
|
|
| 44 |
|
| 45 |
``` cpp
|
| 46 |
template<typename T> concept C1 = sizeof(T) == 1;
|
| 47 |
template<typename T> concept C2 = C1<T> && 1 == 2;
|
| 48 |
template<typename T> concept C3 = requires { typename T::type; };
|
| 49 |
-
template<typename T> concept C4 = requires (T x) { ++x; }
|
| 50 |
|
| 51 |
template<C2 U> void f1(U); // #1
|
| 52 |
template<C3 U> void f2(U); // #2
|
| 53 |
template<C4 U> void f3(U); // #3
|
| 54 |
```
|
|
|
|
| 44 |
|
| 45 |
``` cpp
|
| 46 |
template<typename T> concept C1 = sizeof(T) == 1;
|
| 47 |
template<typename T> concept C2 = C1<T> && 1 == 2;
|
| 48 |
template<typename T> concept C3 = requires { typename T::type; };
|
| 49 |
+
template<typename T> concept C4 = requires (T x) { ++x; };
|
| 50 |
|
| 51 |
template<C2 U> void f1(U); // #1
|
| 52 |
template<C3 U> void f2(U); // #2
|
| 53 |
template<C4 U> void f3(U); // #3
|
| 54 |
```
|