Your statement is an argument against bad compilers or bad language design (in some languages it is neigh impossible for a parser/compiler to give meaningful error messages), not against type inference.

What exactly would you prefer? A compiler that doesn't tell you that your code is buggy, but just runs it?