1 files changed, 16 insertions, 0 deletions
diff --git a/java/java-tests/testData/inspection/dataFlow/fixture/ContractInLoopNotTooComplex.java b/java/java-tests/testData/inspection/dataFlow/fixture/ContractInLoopNotTooComplex.java
new file mode 100644
index 000000000000..96356dd21c09
--- /dev/null
+++ b/java/java-tests/testData/inspection/dataFlow/fixture/ContractInLoopNotTooComplex.java
@@ -0,0 +1,16 @@
+import org.jetbrains.annotations.Contract;
+
+public class Foo {
+
+  public void main(String[] args) {
+    for (int i = 0; i < 10; i++) {
+      assertTrue("str", true);
+    }
+  }
+
+  @Contract("_, false->fail")
+  void assertTrue(String msg, boolean value) {
+
+  }
+
+}
+\ No newline at end of file