Recursive Function Template Instantiation and New Function Declarator Syntax

以下のコードは ill-formed である．その理由を述べなさい．

void f()
{}

template<typename T, typename... Types>
auto f(T &&, Types &&... args) -> decltype(f(args...))
{
  return f(args...);
}

int main()
{
  f(0, 1);
}