IDEA-136079 "Contract violation" warnings are reported for inferred method contract for method with varargs

java/java-analysis-impl/src/com/intellij/codeInspection/dataFlow/value/DfaVariableValue.java

@@ -57,7 +57,11 @@ public class DfaVariableValue extends DfaValue {
     }
 
     public DfaVariableValue createVariableValue(PsiVariable myVariable, boolean isNegated) {
-      return createVariableValue(myVariable, myVariable.getType(), isNegated, null);
+      PsiType varType = myVariable.getType();
+      if (varType instanceof PsiEllipsisType) {
+        varType = new PsiArrayType(((PsiEllipsisType)varType).getComponentType());
+      }
+      return createVariableValue(myVariable, varType, isNegated, null);
     }
     @NotNull
     public DfaVariableValue createVariableValue(@NotNull PsiModifierListOwner myVariable,

java/java-tests/testData/inspection/dataFlow/contractCheck/VarargInferred.java

@@ -0,0 +1,6 @@
+class X {
+  public static String compute(String... s) {
+    if (s == null) return null;
+    return "";
+  }
+}

java/java-tests/testSrc/com/intellij/codeInspection/ContractCheckTest.java

@@ -40,4 +40,5 @@ public class ContractCheckTest extends LightCodeInsightFixtureTestCase {
   public void testNestedCallsMayThrow() { doTest(); }
 
   public void testSignatureIssues() { doTest(); }
+  public void testVarargInferred() { doTest(); }
 }