Missing `@tailrec` annotation?