gcc/testsuite/g++.dg/lookup/two-stage4.C

// Contributed by Douglas Gregor <doug.gregor@gmail.com>

template<class T> struct wrap {};

template<typename T> bool operator==(wrap<T>, wrap<T>);

template<typename T>
void g(T, wrap<wrap<int> > x)
{
  bool b = x == x; // { dg-bogus "" }
}

template<typename T> void operator==(wrap<wrap<T> >, wrap<wrap<T> >);

void h()
{
  wrap<wrap<int> > x;
  g(17, x);
}