highlighting for incompatible return types in type parameter inheritors (IDEA-57274)
testdata for IDEA-67591