Stack overflow? Does this compile as @tailrec?