blob: d37ce6a51e88b471d0682c44109b1ea2a4f53c36 (
plain)
1
2
3
4
5
6
7
8
9
10
|
// { dg-do compile { target c++2a } }
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 <class T> struct B {
intA<T> a; // { dg-error "" }
};
B<char> b;
|
