// PR c++/49785
// { dg-do compile { target c++11 } }
// { dg-additional-options "-Wno-return-type" }

template <typename, typename ...> struct B { };
template <typename> class A;

template <typename R, typename ... S>
struct A <R (S ...)> : public B <R, S ...>
{
  struct C {};
  template <typename D> A (D, C = C ()) { }
  R operator () (...);
};

template <typename R, typename ... S, typename T>
auto operator >> (A <R (S ...)>, T)->A <R (S ...)>
{
  []() {};
}

int
main ()
{
  A <int (int, int)> a = [](int, int) {};
  auto b = []{};
  (a >> b) (3, 5);
}