Compilers for statically typed languages often generate type errors, but they should instead generate warnings, in many cases.