// ADL can be recursive (via instantiation), make sure that works.

namespace X
{
  class B {};
  
  void frob ();
  int frob (B); // Inner ADL resolves here
}

void frob (int);
void frob (float);

namespace Y
{
  struct A {};
  void frob (void*, void *, void *); // Outer ADL resolves here
}

template <typename T, typename U>
struct C : U
{
  int ary[sizeof frob(T())]; // ADL occurs here during instantiation
};

void Foo (C<X::B, Y::A> *p, X::B *q)
{
  frob(q, p, q); // ADL causes instantation of C<...>
  // We will have already searched X by the time the instantation happens
}