> If your compiler lied about your code being valid, I doubt the general response would be "meh, its only done that once, I've lied far more than that"

Any language with an unsound type system will do this occasionally. This probably includes a majority of all code being written today: C, Java, and Typescript are all unsound.