The main optimizations TR does involve turning generic operations into unsafe ones when it can prove that it's safe to do so.
There's a few other small ones, like (the moral equivalent of) adding in-list and co to for loops which are missing them (which eventually results in unsafe operations as well).
3 Likes