blob: fbaac1c34a3d503c369c1d9a829f60821c810a41 (
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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
|
// { dg-do compile { target c++20 } }
template <class T>
concept C1 =
requires { typename T::type; } && T::type::value;
template <class T>
concept C2 =
requires {
typename T::Type;
requires T::Type::value;
};
template <class T>
requires (!C1<T>)
void f1() { }
template <class T>
requires (!C2<T>)
void f2() { }
struct S { };
void test()
{
f1<S>();
f2<S>();
}
// ------------------
template<typename T>
concept C = requires (T t) { t.f(); };
template<typename A, typename B>
requires (!(C<A> && C<B>))
void g1() { }
template<typename A, typename B>
requires (!C<A> || !C<B>)
void g2() { }
struct X {
void f();
};
void test2() {
g1<X, X>(); // { dg-error "" }
g2<X, X>(); // { dg-error "" }
}
|
