applyEquivalenceRelation(dfaRelation, dfaLeft, dfaRight);
return isNegated;
}
- if (canBeNaN(dfaLeft) || canBeNaN(dfaRight)) {
+ if (canBeNaN(dfaLeft) && canBeNaN(dfaRight)) {
applyEquivalenceRelation(dfaRelation, dfaLeft, dfaRight);
return true;
}
--- /dev/null
+import org.jetbrains.annotations.Contract;
+
+class Zoo {
+ @Contract("null, _ -> null; !null, _ -> !null")
+ public static Double testContract_1(Double value1, int value2) {
+ if (value1 == null) {
+ return null;
+ }
+ return 0.0;
+ }
+}
\ No newline at end of file
public void testSignatureIssues() { doTest(); }
public void testVarargInferred() { doTest(); }
+ public void testDoubleParameter() { doTest(); }
}