//PR c++/28737

template<void> struct A;                // { dg-error "not a valid type" }

template<typename> struct B;

template<void N> struct B<A<N> > {};   // { dg-error "not a valid type|declared|invalid" }