Consider a compiler that compiles some malformed programs (e.g. replaces misspelled identifiers with a closest match, ignores missing ';'s etc). Will you want y

Consider a compiler that compiles some malformed programs (e.g. replaces misspelled identifiers with a closest match, ignores missing ';'s etc). Will you want your Tesla's software to be compiled with such a compiler or would you prefer they used the strictest compiler available with extra linting with something like Coverity? The same sentiment is for critical systems in a car: them working when they should not work is not an amazing feat of engineering but a defect.