|
145
|
1 // { dg-do compile { target c++17_only } }
|
|
131
|
2 // { dg-options "-fconcepts" }
|
|
111
|
3
|
|
|
4 template<typename T>
|
|
|
5 concept bool C = __is_class(T);
|
|
|
6
|
|
|
7 C{T} void f1();
|
|
|
8
|
|
|
9 struct S1
|
|
|
10 {
|
|
|
11 C{T} void f2();
|
|
|
12 C{T} static void f3();
|
|
|
13 };
|
|
|
14
|
|
|
15 int main()
|
|
|
16 {
|
|
|
17 S1 s;
|
|
|
18
|
|
|
19 f1<S1>();
|
|
|
20 s.f2<S1>();
|
|
|
21 S1::f3<S1>();
|
|
|
22
|
|
|
23 return 0;
|
|
|
24 }
|
|
|
25
|
|
|
26 template<typename T>
|
|
|
27 void f1() requires C<T>
|
|
|
28 {
|
|
|
29 }
|
|
|
30
|
|
|
31 template<typename T>
|
|
|
32 void S1::f2() requires C<T>
|
|
|
33 {
|
|
|
34 }
|
|
|
35
|
|
|
36 template<typename T>
|
|
|
37 void S1::f3() requires C<T>
|
|
|
38 {
|
|
|
39 }
|
