Why was `@tailrec` removed here?