This applies to any language with AOT compilation to native code. There are lots of optimizations that cannot be properly mapped back to the original source code.

In most languages compilers are allowed to do whatever they want as long as the semantic outcome stays the same.