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] Map.ofEntries array element annotated

Browse Source 
GitOrigin-RevId: fd932d5756584bde01565aa63b4716e6f4b9af01
This commit is contained in:
Tagir Valeev
2024-10-17 07:57:32 +00:00
committed by intellij-monorepo-bot
parent 2e7ac18400
commit de691ce7c7
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/jdkAnnotations/java/util/annotations.xml
+1
View File
@@ -4078,6 +4078,7 @@
</item>
<item name='java.util.Map java.util.Map&lt;K,V&gt; ofEntries(java.util.Map.Entry&lt;? extends K,? extends V&gt;...) 0'>
<annotation name='org.jetbrains.annotations.NotNull'/>
<annotation name="org.jetbrains.annotations.NotNull" typePath="/[]"/>
<annotation name="org.jetbrains.annotations.NotNull" typePath="/[]/1/*"/>
<annotation name="org.jetbrains.annotations.NotNull" typePath="/[]/2/*"/>
</item>