check for specific return type should take substitutors into account (IDEA-95129)

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/genericsHighlighting/SpecificReturnType.java

@@ -0,0 +1,13 @@
+abstract class Field<D> {
+    public D getValue(){return null;}
+}
+
+class LabelField extends Field<Object> {
+    public Object getValue() { return null; }
+}
+interface MyInterface<D> {
+    D getValue();
+}
+
+class MyLabelField extends LabelField implements MyInterface<Object> {
+}