8     template<typename U> using E = typename A<U>::template C<A<T>>;
9     template<typename U> using F = A<E<U>>;
10     template<typename U> using G = C<F<U>>;
29     template<typename U> using rebind_thing = typename thing::template rebind<U>;
30     template<typename U> using rebind = traits<rebind_thing<U>>;
46     template<typename U> using rebind = thing<U>;
73   template<typename T> using U = int;  typedef
76   void f1(U<T> i, U<Ts> ...is) { // expected-note 2{{couldn't infer template argument 'T'}}  in f1()
83   void f2(U<Ts> ...is) { } // expected-note {{requires 0 arguments, but 1 was provided}}  in f2()
87 …void f3(type_tuple<Ts...>, U<Ts> ...is) {} // expected-note {{requires 4 arguments, but 3 were pro…  in f3()
90     f1(U<void>()); // expected-error {{no match}}  in g()
101     S(U<Ts>...ts);
107     Hidden1(typename T::template U<Ts> ...ts);
112     Hidden2(typename T::template U<Ts> ...ts);
116     template<typename T> using U = int;  typedef
157   template <typename U, unsigned int... Numbers>
158   void foo(U&&, MyNumberTuple<Numbers...>);
160   template <typename U, unsigned int... Numbers>
161   void bar(U&&, NumberTuple<unsigned int, Numbers...>);