|
145
|
1 // { dg-do compile { target c++17_only } }
|
|
131
|
2 // { dg-options "-fconcepts" }
|
|
111
|
3
|
|
|
4 template<typename T>
|
|
|
5 concept bool C() { return __is_class(T); }
|
|
|
6
|
|
|
7 struct S { } s;
|
|
|
8
|
|
|
9 template<typename T>
|
|
|
10 requires C<T>()
|
|
|
11 void f(T x) { }
|
|
|
12
|
|
|
13 // Calls are valid when arguments are dependent,
|
|
|
14 template<typename T>
|
|
|
15 void g(T x) { f(x); }
|
|
|
16
|
|
|
17 // Calls are checked when arguments are non-dependent.
|
|
|
18 template<typename T>
|
|
|
19 void h(T x) {
|
|
|
20 f(s);
|
|
|
21 }
|
|
|
22
|
|
|
23 int main() {
|
|
|
24 f(s);
|
|
|
25 g(s);
|
|
|
26 }
|
