gcc/testsuite/g++.dg/cpp2a/concepts-alias4.C

   1 // { dg-do compile { target c++20 } }
   2
   3 template <typename T> struct A { };
   4 template <typename T> concept int_type = __is_same_as (T, int);
   5 template <int_type T> using intA = A<T>;
   6
   7 template <class T> struct B {
   8   intA<T> a;                    // { dg-error "" }
   9 };
  10 B<char> b;