33     template<typename> struct Inner {  struct
38     struct Inner<tuple<pair<Types, YTypes>...> > {  struct
43   int check0[X<short, int, long>::Inner<tuple<pair<short, unsigned short>,
48   int check1[X<short, int>::Inner<tuple<pair<short, unsigned short>,
56     template<typename, typename> struct Inner {  struct
61     struct Inner<tuple<pair<Types, YTypes>...>,  struct
67   int check2[X1<short, int, long>::Inner<tuple<pair<short, unsigned short>,
74   int check3[X1<short, int>::Inner<tuple<pair<short, unsigned short>,
84     template<typename> struct Inner {  struct
89     struct Inner<R(pair<Types, YTypes>...)> {  struct
94   int check4[X2<short, int, long>::Inner<int(pair<short, unsigned short>,
99   int check5[X2<short, int>::Inner<int(pair<short, unsigned short>,
114     template<typename, typename> struct Inner {  struct
119     struct Inner<tuple<pair<Types1, Types2>...>,  struct
125   int check6[X3<short, int, long>::Inner<tuple<pair<short, unsigned short>,
133   int check7[X3<short, int>::Inner<tuple<pair<short, unsigned short>,
146     template<typename> struct Inner {  struct
151     struct Inner<tuple<unsigned_pair<Values1, Values2>...>> {  struct
156   int check8[X4<1, 3, 5>::Inner<tuple<unsigned_pair<1, 2>,
160   int check9[X4<1, 3>::Inner<tuple<unsigned_pair<1, 2>,
171     template<typename> struct Inner {  struct
176     struct Inner<tuple<Templates<Types>...>> {  struct
182                 ::Inner<tuple<add_reference<int>,
186                 ::Inner<tuple<add_reference<int>,
201       template<typename...B> struct Inner {  struct
212     static_assert(X6<int, int>::Inner<int, int>().f(1, 2, 3, 4, 5, 6) == 102, "");