new inference: overload resolution: check return types when method refs are exact

(cherry picked from commit ccacf897e97a121f795a079e485249842c95c273)

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/newMethodRef/CheckReturnTypeForExactRefs.java

@@ -0,0 +1,25 @@
+class Test {
+
+    interface A<X> {
+        X m();
+    }
+    interface B<X> extends A<X> {}
+    interface C<X> {}
+
+    int integerRes() { return new Integer(42); }
+
+    int intRes() { return 42; }
+
+    void m(A<Integer> a) {}
+    void m(B<String> b)  {}
+    void m(C<CharSequence> b)  {}
+
+    void test(boolean flag) {
+        m(this::integerRes);
+        m(flag ? this::integerRes : this::integerRes);
+
+        m(this::intRes);
+        m(flag ? this::intRes : this::intRes);
+    }
+
+}