1// { dg-do compile }
2
3struct S {int x; int y;};
4template<typename T>
5int foo(T a, T b) {return a + b;} // { dg-message "template" }
6template<typename T, typename T2>
7int foo(T a, T2& b, T2 c) {return a + b;}  // { dg-message "template" }
8int foo(char*, S&); // { dg-message "foo" }
9// { dg-message "candidate expects 2 arguments, 3 provided" "arity" { target *-*-* } 8 }
10
11int foo2(int x)
12{
13  S s={1,2};
14  char c;
15  foo(c, 2, c); // { dg-error "no matching function" }
16  // { dg-message "(candidate|deduced conflicting types for)" "candidate note" { target *-*-* } 15 }
17}
18