7 struct X<typename T::foo> { }; // { dg-error "not used|T" }
10 struct X<int[N]> {}; // okay
13 template<typename T, typename T::foo V>
16 template<typename T, typename U, U v>
17 struct Y<T, v> { }; // { dg-error "not used|U" }
20 template<typename T, T V>
24 struct Z<T, (T)0> { }; // { dg-error "involves template parameter" }