} else if (details.contains(OverrideCheckDetails.RETURN_MISMATCH)) { final JvmTypeReference inheritedReturnType = inherited.getOverrideCheckResult().getGivenOperation().getReturnType(); final LightweightTypeReference resolvedReturnType = inherited.getOverrideCheckResult().getThisOperation().getResolvedReturnType(); final String signature = inherited.getSimpleSignature(); final EStructuralFeature sourceReturnTypeFeature = returnTypeFeature(sourceElement);