Subversion Repositories openrisc

// { dg-do compile }

template class C>

void f1(T, C<5>);          // { dg-message "note" }

template class C>

void f2(C<5>, T);

template class C>

void f3(C<5>, T);          // { dg-message "note" }

template struct metafun { typedef T type; };

template<> struct metafun { typedef int type; };

template::type> class C>

void f4(T, C<5>);          // { dg-message "note" }

template struct X {};

void g() {

  f1(5l, X<5>()); // { dg-error "no matching" }

  // { dg-message "(candidate|inconsistent with)" "candidate note" { target *-*-* } 20 }

  f2(X<5>(), 5);

  f3(X<5>(), 5l); // { dg-error "no matching" }

  // { dg-message "(candidate|inconsistent with)" "candidate note" { target *-*-* } 23 }

  f4(5, X<5>());

  f4(5l, X<5>()); // { dg-error "no matching" }

  // { dg-message "(candidate|inconsistent with)" "candidate note" { target *-*-* } 26 }

  f4((short)5, X<5>());

}