3 template<typename ...T> struct X {};  struct
8 …template<typename ...T> int f1(X<T, T...>... a); // expected-note +{{conflicting types for paramet…
9 …template<typename ...T> int f2(P<X<T...>, T> ...a); // expected-note +{{conflicting types for para…
11   int a1 = f1(X<int, int, double>(), X<double, int, double>());
12   int a2 = f1(X<int, int>());
13   int a3 = f1(X<int>(), X<double>()); // expected-error {{no matching}}
14   int a4 = f1(X<int, int>(), X<int>()); // expected-error {{no matching}}
15   int a5 = f1(X<int>(), X<int, int>()); // expected-error {{no matching}}
16 …int a6 = f1(X<int, int, int>(), X<int, int, int>(), X<int, int, int, int>()); // expected-error {{…
18   int b1 = f2(P<X<int, double>, int>(), P<X<int, double>, double>());
19 …int b2 = f2(P<X<int, double>, int>(), P<X<int, double>, double>(), P<X<int, double>, char>()); // …
36   template<typename ...Ts> struct X {};  struct
37   template<typename ...Ts> int g(X<Ts...>, decltype(f(Ts()...)));
38   int n = g<int, int>(X<int, int, int>(), 0);
43     template <class A, class...> struct X {};  struct
44     template <class... B> struct X<int, B...> {  struct
48     template <typename A, typename... B, typename T = X<A, B...>,
55     template <class...> struct X;
56     template <typename... B, typename X<B...>::type I = 0>
62     template <class...> struct X;
63     template <typename... B, typename X<B...>::type I = (typename X<B...>::type)0>