1// RUN: %clang_cc1 -std=c++11 -verify %s
2
3template<typename ...T> struct X {};
4
5template<typename T, typename U> struct P {};
6
7namespace Nested {
8  template<typename ...T> int f1(X<T, T...>... a); // expected-note +{{conflicting types for parameter 'T'}}
9  template<typename ...T> int f2(P<X<T...>, T> ...a); // expected-note +{{conflicting types for parameter 'T'}}
10
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 {{no matching}}
17
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>()); // expected-error {{no matching}}
20}
21
22namespace PR14841 {
23  template<typename T, typename U> struct A {};
24  template<typename ...Ts> void f(A<Ts...>); // expected-note {{substitution failure [with Ts = <char, short, int>]: too many template arg}}
25
26  void g(A<char, short> a) {
27    f(a);
28    f<char>(a);
29    f<char, short>(a);
30    f<char, short, int>(a); // expected-error {{no matching function}}
31  }
32}
33
34namespace RetainExprPacks {
35  int f(int a, int b, int c);
36  template<typename ...Ts> struct X {};
37  template<typename ...Ts> int g(X<Ts...>, decltype(f(Ts()...)));
38  int n = g<int, int>(X<int, int, int>(), 0);
39}
40