From fcab6d8eefbf92f8fee8198219919f4f7f9cb56e Mon Sep 17 00:00:00 2001
From: Tagir Valeev <tagir.valeev@jetbrains.com>
Date: Mon, 3 Jun 2024 10:50:35 +0200
Subject: [PATCH] [java-annotations] IDEA-354204 java.lang.Integer.valueOf
 overloads should be externally annotated to return not-null result

GitOrigin-RevId: 000b7250ae122937fc668fd25458ea6fbad431f2
---
 java/jdkAnnotations/java/lang/annotations.xml         | 11 ++++++++++-
 .../tests/testData/newJ2k/boxedType/kt-671.java       |  1 -
 2 files changed, 10 insertions(+), 2 deletions(-)

diff --git a/java/jdkAnnotations/java/lang/annotations.xml b/java/jdkAnnotations/java/lang/annotations.xml
index bf9c5c5e22ac..4798c2639504 100644
--- a/java/jdkAnnotations/java/lang/annotations.xml
+++ b/java/jdkAnnotations/java/lang/annotations.xml
@@ -499,6 +499,9 @@
       <val name="pure" val="true"/>
     </annotation>
   </item>
+  <item name='java.lang.Double java.lang.Double valueOf(double)'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
   <item name='java.lang.Enum T valueOf(java.lang.Class&lt;T&gt;, java.lang.String)'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
@@ -525,6 +528,9 @@
       <val name="pure" val="true"/>
     </annotation>
   </item>
+  <item name='java.lang.Float java.lang.Float valueOf(float)'>
+    <annotation name='org.jetbrains.annotations.NotNull'/>
+  </item>
   <item name='java.lang.Integer int bitCount(int)'>
     <annotation name='org.jetbrains.annotations.Range'>
       <val name="from" val="0"/>
@@ -572,7 +578,10 @@
       <val name="pure" val="true"/>
     </annotation>
   </item>
-  <item name='java.lang.Integer java.lang.Integer valueOf(java.lang.String)'>
+    <item name='java.lang.Integer java.lang.Integer valueOf(int)'>
+        <annotation name='org.jetbrains.annotations.NotNull'/>
+    </item>
+    <item name='java.lang.Integer java.lang.Integer valueOf(java.lang.String)'>
     <annotation name='org.jetbrains.annotations.NotNull'/>
   </item>
   <item name='java.lang.Integer java.lang.Integer valueOf(java.lang.String, int)'>
diff --git a/plugins/kotlin/j2k/shared/tests/testData/newJ2k/boxedType/kt-671.java b/plugins/kotlin/j2k/shared/tests/testData/newJ2k/boxedType/kt-671.java
index 5c8131ec98ba..c4d1d3737d32 100644
--- a/plugins/kotlin/j2k/shared/tests/testData/newJ2k/boxedType/kt-671.java
+++ b/plugins/kotlin/j2k/shared/tests/testData/newJ2k/boxedType/kt-671.java
@@ -1,4 +1,3 @@
-// IGNORE_K2
 class Test {
   void test() {
     Integer i = Integer.valueOf(100);