Correctness is a key characteristic of a compiler.

To have something that sometimes checks the types and some times does is not a feasible solution.