The type checking is now somewhat less strict (implements vs compatible). Adjust the affected tests to reality. Rev: src/testsuite.in:1.524