56 namespace N{   namespace
60 namespace N {  namespace
67 namespace N {  namespace
79 namespace N {  namespace
82   template<> struct ::N::B<char>; // okay
83   template<> struct ::N::B<short>; // okay
84   template<> struct ::N::B<int>; // okay
89 template<> struct N::B<int> { }; // okay
91 template<> struct N::B<float> { };
95 …template<> struct ::N::B<short> { }; // expected-error{{class template specialization of 'B' not i…
100 template<> struct N::B<char> { 
128     template <int N, int M> struct S;
129     template <int N> struct S<N, sizeof(T)> {};
134     template <int N, int M> struct S;
135     template <int N> struct S<N, sizeof(T) + N> {}; // ok (dr1315)
140     template <int N, int M> struct S;
141 …template <int N> struct S<N, N ? **(T(*)[N])0 : 0> {}; // expected-error {{depends on a template p…
152   template<typename T, T...N> struct integer_sequence { typedef T value_type; };
158 …template<typename T, T N> using make_integer_sequence = typename __make_integer_sequence<T>::templ…
173   template<typename T, T ...N, typename integer_sequence<T, N...>::value_type ...Extra>
177   struct __make_integer_sequence_impl<integer_sequence<T, N...>, Extra...> {
178     typedef integer_sequence<T, N..., sizeof...(N) + N..., Extra...> type;
182     template<T N, T Parity, typename = void> struct make;
185 …template<T N, typename Dummy> struct make<N, 0, Dummy> : __make_integer_sequence_impl<make_integer…
186 …template<T N, typename Dummy> struct make<N, 1, Dummy> : __make_integer_sequence_impl<make_integer…
204   template<typename T, typename T::value_type N> struct A;
205   template<int N> struct A<X, N> {};
206   template<typename T, T N> struct A<Y<T>, N> {};
212   template<typename T, typename T::value_type N> struct B<0, T, N>;
213   template<int N> struct B<0, X, N> {};
214   template<typename T, T N> struct B<0, Y<T>, N> {};
222   template<typename T, int N =
228       T N = 0 // expected-note {{template parameter is declared here}}