blob: 93dc32de922562c66ffe7dd04adac5ad4ac84128 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
// PR c++/65854
// { dg-do compile { target c++20 } }
// Handle alias templates in type requirements.
template<typename T1, typename T2>
struct BTT { };
template<typename T>
struct BTT<T,T> { using type = int; };
template<typename T1, typename T2>
using Alias1 = typename BTT<T1, T2>::type;
template<typename T1, typename T2>
concept C = requires() { typename Alias1<T1, T2>; }; // { dg-message "in requirements" }
template<typename T1, typename T2>
requires C<T1, T2>
int f();
auto i = f<char, int>(); // { dg-error "" }
|
