// PR c++/70141

template <typename T>
struct outer
{
  template <typename U>
  struct inner
  {

  };
};


template <typename T>
struct is_inner_for
{
  template <typename Whatever>
  struct predicate;

  template <typename U>
  struct predicate<typename outer<T>::template inner<U> >
  {
  };
};

is_inner_for<int>::predicate<outer<int>::inner<double> > p;