1 // { dg-do compile { target c++11 } }
2 template <class... Types> class A
3 {
4 public:
5   template <Types... Values> class X { /* ... */ }; // { dg-error "not a valid type for a template non-type parameter" }
6 };
7 
8 template<class... Types> class B
9 {
10 public:
11   template <Types*... Values> class X {
12     typename A<Types*...>::template X<Values...> foo;
13   };
14 };
15 
16 int i;
17 float f;
18 
19 A<int*, float*>::X<&i, &f> apple1;
20 B<int, float>::X<&i, &f> banana1;
21 
22 A<int*, float*>::X<&i> apple2; // { dg-error "wrong number of template arguments" "wrong number" }
23 A<int*, float*>::X<&i, &f, &f> apple3; // { dg-error "wrong number of template arguments" "wrong number" }
24 A<int, float> apple4;
25 
26 // { dg-prune-output "provided for" }
27