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; 27