aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/g++.dg/cpp2a/concepts-alias3.C
blob: 2ac9ae2ff7274464cbe698933800fc37433a0af5 (plain)
1
2
3
4
5
6
7
8
9
10
// { dg-do compile { target c++20 } }

template <typename T> struct A { };
template <typename T> concept int_type = __is_same_as (T, int);
template <int_type T> using intA = A<T>;

template <template <typename T> class TT> struct B {
  TT<char> tt;			// { dg-error "" }
};
B<intA> b;