blob: 11e232fe2d5e5a015ec4e645963e05f4e91a5d62 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
// { dg-options "-std=c++1z -fconcepts" }
// Check equivalence of short- and longhand declarations.
template<typename T>
concept bool C() { return __is_class(T); }
template<typename T>
concept bool D() { return __is_empty(T); }
struct X { } x;
void f1(C x);
template<C T> void f2(T x);
void f3(C x);
template<C T> void f4(T x) requires D<T>();
template<C T> void f5(T x) requires D<T>();
template<C T> void f6(T x) requires D<T>();
int main() {
f1(x);
f2(x);
f3(x);
f4(x);
f5(x);
f6(x);
}
template<typename T> requires C<T>() void f1(T x) { }
template<typename T> requires C<T>() void f2(T x) { }
template<C T> void f3(T x) { }
template<typename T> requires C<T>() void f4(T x) requires D<T>() { }
template<typename T> requires C<T>() and D<T>() void f5(T x) { }
template<typename T> void f6(T x) requires C<T>() and D<T>() { }
|