Push the test for the error type in types_compatible() down to the end.