1 // { dg-do compile }
2 
3 struct S {int x; int y;};
4 template<typename T>
foo(T a,T b)5 int foo(T a, T b) {return a + b;} // { dg-message "template" }
6 template<typename T, typename T2>
foo(T a,T2 & b,T2 c)7 int foo(T a, T2& b, T2 c) {return a + b;}  // { dg-message "template" }
8 int foo(char*, S&); // { dg-message "foo" }
9 // { dg-message "candidate expects 2 arguments, 3 provided" "arity" { target *-*-* } .-1 }
10 
foo2(int x)11 void 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 *-*-* } .-1 }
17 }
18