gcc/testsuite/g++.dg/template/pr65186.C

   1 // { dg-do compile { target c++11 } }
   2 // PR c++/65186
   3
   4 template<typename A, A x, A y>
   5 using Id = int;
   6
   7 template<
   8   typename A,
   9   A x,
  10   A y,
  11   Id<A, x, y> p,
  12   template<A a, A b, Id<A, a, b>> class C,
  13   C<x, x, x> // { dg-bogus "not a valid type" }
  14 > using J = C<x, y, p>;
  15
  16
  17 template<class A>
  18 using Z = A;
  19
  20 template<
  21   template <class> class A,
  22   A<int> B // { dg-bogus "not a valid type" }
  23 >
  24 struct C { };
  25
  26 C<Z, 5> a;