131
|
1 // { dg-do compile { target c++17 } }
|
|
2 // { dg-options "-fconcepts" }
|
111
|
3
|
|
4 // Handle alias templates in type requirements.
|
|
5
|
|
6 template<typename T1, typename T2>
|
|
7 struct BTT { };
|
|
8
|
|
9 template<typename T>
|
|
10 struct BTT<T,T> { using type = int; };
|
|
11
|
|
12 template<typename T1, typename T2>
|
|
13 using Alias1 = typename BTT<T1, T2>::type;
|
|
14
|
|
15 template<typename T1, typename T2>
|
|
16 concept bool C()
|
|
17 {
|
|
18 return requires() { typename Alias1<T1, T2>; };
|
|
19 }
|
|
20
|
|
21 template<typename T1, typename T2>
|
|
22 requires C<T1, T2>()
|
|
23 int f();
|
|
24
|
|
25 auto i = f<char, int>(); // { dg-error "cannot call function" }
|