> If you can easily and perfectly detect an error, it should just go into the compiler (and perhaps language spec).

Nobody seems to care much about removing UB even when it's super easy. For example, a bunch of basic syntax errors like forgetting the closing quote on a string or not having a newline at the end of the file are UB.