From 7d41efea2b27e502f44b66d4882593983f2643b6 Mon Sep 17 00:00:00 2001
From: Tagir Valeev <tagir.valeev@jetbrains.com>
Date: Tue, 6 Feb 2024 15:39:23 +0100
Subject: [PATCH] [java-annotations] Iterator.next(): mutates itself

GitOrigin-RevId: 7acd79a299004cc4ddb1c473243cd7e4f8a526a1
---
 java/jdkAnnotations/java/util/annotations.xml | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/java/jdkAnnotations/java/util/annotations.xml b/java/jdkAnnotations/java/util/annotations.xml
index 2ba1c2cbc0f9..9f4b28cf812f 100644
--- a/java/jdkAnnotations/java/util/annotations.xml
+++ b/java/jdkAnnotations/java/util/annotations.xml
@@ -3046,6 +3046,11 @@
       <val name="targetIsContainer" val="true"/>
     </annotation>
   </item>
+  <item name='java.util.Iterator E next()'>
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val name="mutates" val="&quot;this&quot;"/>
+    </annotation>
+  </item>
   <item name='java.util.Iterator boolean hasNext()'>
     <annotation name='org.jetbrains.annotations.Contract'>
       <val name="pure" val="true"/>