completion inside method call after new could use return type constrains/other variables ignoring unresolved IntellijIdeaRulezz type (IDEA-144885)

java/java-psi-impl/src/com/intellij/psi/impl/source/resolve/graphInference/constraints/ExpressionCompatibilityConstraint.java

@@ -53,6 +53,10 @@ public class ExpressionCompatibilityConstraint extends InputOutputConstraintForm
       if (exprType instanceof PsiLambdaParameterType) {
         return false;
       }
+      
+      if (exprType instanceof PsiClassType && ((PsiClassType)exprType).resolve() == null) {
+        return true;
+      }
 
       if (exprType != null && exprType != PsiType.NULL) {
         constraints.add(new TypeCompatibilityConstraint(myT, exprType));

java/java-tests/testData/codeInsight/completion/smartType/InferFromReturnTypeWhenCompleteInsideArgList-out.java

@@ -0,0 +1,5 @@
+
+class D<T> {
+  D(T t) {}
+  D<Integer> reference = new D<>(new Integer(hashCode()));
+}

java/java-tests/testData/codeInsight/completion/smartType/InferFromReturnTypeWhenCompleteInsideArgList.java

@@ -0,0 +1,5 @@
+
+class D<T> {
+  D(T t) {}
+  D<Integer> reference = new D<>(new <caret>);
+}

java/java-tests/testSrc/com/intellij/codeInsight/completion/SmartType18CompletionTest.java

@@ -146,6 +146,13 @@ public void testConvertToObjectStream() {
     checkResultByFile("/" + getTestName(false) + "-out.java");
   }
 
+  public void testInferFromReturnTypeWhenCompleteInsideArgList() {
+    configureByTestName();
+    myFixture.complete(CompletionType.SMART, 1);
+    myFixture.type('\n');
+    checkResultByFile("/" + getTestName(false) + "-out.java");
+  }
+
   public void testCollectorsToList() {
     doTest(false);
   }