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