// RUN: %clang_cc1 -fsyntax-only -verify %s
// A non-type template-parameter shall not be declared to have
// floating point, class, or void type.
struct A;
template<double d> class X; // expected-error{{cannot have type}}
template<double* pd> class Y; //OK
template<double& rd> class Z; //OK
template<A a> class X0; // expected-error{{cannot have type}}
typedef void VOID;
template<VOID a> class X01; // expected-error{{cannot have type}}