MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

[java-annotations] getOrDefault 2nd parameter is marked as nullable

Browse Source 
Fixes IDEA-367387 Mismatch between IDEA and JSpecify on HashMap.getDefault(...) nullness

GitOrigin-RevId: 6e90dcdac5b61aa91431f96d007261ad448ea522
This commit is contained in:
Tagir Valeev
2025-02-13 11:05:42 +00:00
committed by intellij-monorepo-bot
parent 90e67979e7
commit b007ebf865
3 changed files with 22 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/jdkAnnotations/java/util/annotations.xml
+3
View File
@@ -3216,6 +3216,9 @@
<val name="pure" val="true"/>
</annotation>
</item>
<item name='java.util.HashMap V getOrDefault(java.lang.Object, V) 1'>
<annotation name='org.jetbrains.annotations.Nullable'/>
</item>
<item name='java.util.HashSet HashSet()'>
<annotation name='org.jetbrains.annotations.Contract'>
<val name="pure" val="true"/>