Another incompatibility due to improved type checking. This one is a more intricate effect of better type inference. I suggest all type errors are simply reduced to warnings in compat mode, regardless of compat level. Rev: src/testsuite.in:1.820