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