new inference: check provided lower bounds on type parameters, in case of fresh variables they declare the type hierarchy and otherwise constrains won't agree (IDEA-153642)

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

@@ -0,0 +1,14 @@
+import java.util.List;
+import java.util.function.Supplier;
+
+class Test<K> {
+
+  {
+    Supplier<List<? super K>> s = Test::foo;
+  }
+
+  static <E> List<? super E> foo() {
+    return null;
+  }
+}
+