gcc/testsuite/g++.old-deja/g++.pt/unify4.C

template <class T> void f (T);

void g ();
void g (int);

int
main ()
{
  f (g);			// ERROR - ambiguous unification
  return 0;
}