1 files changed, 15 insertions, 0 deletions
diff --git a/java/java-tests/testData/inspection/dataFlow/fixture/UseInferredContracts.java b/java/java-tests/testData/inspection/dataFlow/fixture/UseInferredContracts.java
new file mode 100644
index 000000000000..34b9d708a4b2
--- /dev/null
+++ b/java/java-tests/testData/inspection/dataFlow/fixture/UseInferredContracts.java
@@ -0,0 +1,15 @@
+import org.jetbrains.annotations.Nullable;
+
+class Doo {
+
+  static boolean isNotNull(@Nullable Object o) {
+    return o != null;
+  }
+
+  void foo(@Nullable String s) {
+    if (isNotNull(s)) {
+      System.out.println(s.length());
+    }
+  }
+
+}