The documentation is incomplete, but you are right. Tail recursion elimination is performed after typing, so you wouldn't see the label. This code would trigger it

```
@tailrec
  final def recursive(n: Int): Int = {
    if (n > 0) recursive(n - 1)
    else n
  }
```