1 // { dg-options "-std=c++17 -fconcepts" }
3 // Handle alias templates in type requirements.
5 template<typename T1, typename T2>
9 struct BTT<T,T> { using type = int; };
11 template<typename T1, typename T2>
12 using Alias1 = typename BTT<T1, T2>::type;
14 template<typename T1, typename T2>
17 return requires() { typename Alias1<T1, T2>; };
20 template<typename T1, typename T2>
24 auto i = f<char, int>(); // { dg-error "cannot call function" }