// { dg-do compile { target c++11 } }
// PR c++/65186

template<typename A, A x, A y>
using Id = int;

template<
  typename A,
  A x,
  A y,
  Id<A, x, y> p,
  template<A a, A b, Id<A, a, b>> class C,
  C<x, x, x> // { dg-bogus "not a valid type" }
> using J = C<x, y, p>;


template<class A>
using Z = A;

template<
  template <class> class A,
  A<int> B // { dg-bogus "not a valid type" }
>
struct C { };

C<Z, 5> a;