don't correct substitution if not applicable, e.g. for unresolved functional types

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

@@ -0,0 +1,10 @@
+class Test {
+  {
+    asList(<error descr="Cyclic inference">o -> {}</error>, 1, 2, 3);
+    asList(<error descr="T is not a functional interface">Test::foo</error>, 1, 2, 3);
+  }
+  
+  void foo() {}
+  
+  <T> void asList(T... tS) {} 
+}