From dc39a8897cc093c720f1c6178d05937e118c2f32 Mon Sep 17 00:00:00 2001
From: Mikhail Pyltsin <Mikhail.Pyltsin@jetbrains.com>
Date: Thu, 21 Nov 2024 14:26:03 +0100
Subject: [PATCH] [java-inspection] IDEA-363631 Highlight redundant instanceof
 with primitive type

- add one more test

GitOrigin-RevId: b9b75efe82711ceb4179614b2bab696b6058c02f
---
 .../fixture/InstanceofFromPrimitiveToPrimitive.java  | 12 ++++++++++++
 1 file changed, 12 insertions(+)

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() {