diff --git a/java/java-tests/testData/inspection/dataFlow/fixture/InstanceofFromPrimitiveToPrimitive.java b/java/java-tests/testData/inspection/dataFlow/fixture/InstanceofFromPrimitiveToPrimitive.java
index 12ee6df5ad63..7d53eff0fd7d 100644
--- a/java/java-tests/testData/inspection/dataFlow/fixture/InstanceofFromPrimitiveToPrimitive.java
+++ b/java/java-tests/testData/inspection/dataFlow/fixture/InstanceofFromPrimitiveToPrimitive.java
@@ -1,5 +1,10 @@
 package dfa;
 
+import org.jetbrains.annotations.NotNull;
+
+import java.util.ArrayList;
+import java.util.List;
+
 public class InstanceofFromPrimitiveToPrimitive {
     public static void main(String[] args) {
         System.out.println("testBoolean");
@@ -18,6 +23,13 @@ public class InstanceofFromPrimitiveToPrimitive {
         testFloat();
         System.out.println("testDouble");
         testDouble();
+        System.out.println("testWithInference");
+        testWithInference(new ArrayList<>());
+    }
+
+    private static void testWithInference(List<@NotNull Short> list) {
+        if(<warning descr="Condition 'list.get(0) instanceof int' is always 'true'">list.get(0) instanceof int</warning>) { //redundant
+        }
     }
 
     private static void testDouble() {