// { dg-do assemble  }
// Origin: Alex Samuel <samuel@codesourcery.com>

namespace NS
{ 

template <class T, int V>
struct Base
{
};

template <class T>
struct Z
{
  const static int value_ = false;
};

struct Outer
{
  template <class T>
  struct A : 
    public Base <T, Z<T>::value_>
  {
  }; 
};

template <class T> 
void f(T)
{
}

}


template <template <class T> class U> 
struct B 
{
};


int 
main ()
{
  B<NS::Outer::A> ba; 
  f (ba);  // Koenig lookup
  return 0;
}