diff --git a/java/java-tests/testData/inspection/dataFlow/contractCheck/InheritedContract.java b/java/java-tests/testData/inspection/dataFlow/contractCheck/InheritedContract.java
new file mode 100644
index 000000000000..74d4580b10fe
--- /dev/null
+++ b/java/java-tests/testData/inspection/dataFlow/contractCheck/InheritedContract.java
@@ -0,0 +1,13 @@
+abstract class A {
+  @Override
+  public boolean equals(Object object) {
+    if(object == null) return <warning descr="Contract clause 'null -> false' is violated">true</warning>;
+    return false;
+  }
+}
+abstract class B {
+  @Override
+  public boolean equals(Object object) {
+    throw new AssertionError();
+  }
+}
\ No newline at end of file
diff --git a/java/java-tests/testSrc/com/intellij/java/codeInspection/ContractCheckTest.java b/java/java-tests/testSrc/com/intellij/java/codeInspection/ContractCheckTest.java
index 2df2e7069b62..c1f2fc3b581d 100644
--- a/java/java-tests/testSrc/com/intellij/java/codeInspection/ContractCheckTest.java
+++ b/java/java-tests/testSrc/com/intellij/java/codeInspection/ContractCheckTest.java
@@ -37,6 +37,7 @@ public class ContractCheckTest extends LightCodeInsightFixtureTestCase {
   public void testDelegationWithUnknownArgument() { doTest(); }
   public void testEqualsUnknownValue() { doTest(); }
   public void testMissingFail() { doTest(); }
+  public void testInheritedContract() { doTest(); }
   public void testExceptionWhenDeclaredNotNull() { doTest(); }
   public void testCheckSuperContract() { doTest(); }
   public void testNestedCallsMayThrow() { doTest(); }