I agree. Either there's a compat mode that works on all conceivable levels, or the compat mode isn't a compat mode (and then it doesn't have a point).
Does anything in the compiler actually stop it from creating useful code? Or is the error just from non-code-creating typechecking?