The compiler will still optimize it to be a tail-recursive method, just adding the `@tailrec` bit will cause the compiler to generate an error if it's ever changed to be non-tail-recursive in the future. It's more of a future-proofing thing.