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