1 // PR c++/51230
2 
3 template<int> struct A {};
4 
5 template<int N> void foo(A<N>, A<N>); // { dg-message "template" }
6 
bar()7 void bar()
8 {
9   foo(A<0>(), A<1>()); // { dg-error "no matching" }
10 }
11 // { dg-message "deduced conflicting values" "" { target *-*-* } 9 }
12