> Optimisations such as inlining can mess with the cacheability of code-gen in all languages.

The statement was about introducing type errors, not cacheability of code-gen.