// PR c++/51230

template<int> struct A {}; 

template<int N> void foo(A<N>, A<N>); // { dg-message "template" }

void bar()
{
  foo(A<0>(), A<1>()); // { dg-error "no matching" }
}
// { dg-message "candidate|parameter 'N' ('0' and '1')" { target *-*-* } 9 }