Hacker News Reader

It does the optimization by default, the annotation is to ensure it raises a compilation error if it actually fails to optimize.

Indeed, and it should be noted that it's quite limited in when it can actually apply the optimization, i.e. self-recursion only (I believe).