Compilers can never be error free for non trivial statements. This is outlined in Rices theorem. It’s one of the reasons we have observability/telemetry as well as tests.

That's fine, but this also applies to human written code and human written code will have even more variance by skill and experience.