From 61fe69fc0a5c0f04549163c6c28792091b349656 Mon Sep 17 00:00:00 2001
From: Tagir Valeev <Tagir.Valeev@jetbrains.com>
Date: Thu, 16 Apr 2020 11:10:33 +0700
Subject: [PATCH] String#getChars: mutation contract

GitOrigin-RevId: b14c505705283481d39fe317daaa8a6eb3544957
---
 java/jdkAnnotations/java/lang/annotations.xml | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 deletions(-)

diff --git a/java/jdkAnnotations/java/lang/annotations.xml b/java/jdkAnnotations/java/lang/annotations.xml
index 3fe3aeb18241..11e15875a6e4 100644
--- a/java/jdkAnnotations/java/lang/annotations.xml
+++ b/java/jdkAnnotations/java/lang/annotations.xml
@@ -1264,14 +1264,19 @@
     </annotation>
   </item>
   <item name="java.lang.String void getBytes(int, int, byte[], int) 2">
-    <annotation name="org.jetbrains.annotations.NotNull" />
+    <annotation name="org.jetbrains.annotations.NotNull"/>
+  </item>
+  <item name='java.lang.String void getChars(int, int, char[], int)'>
+    <annotation name='org.jetbrains.annotations.Contract'>
+      <val name="mutates" val="&quot;param3&quot;"/>
+    </annotation>
   </item>
   <item name="java.lang.String void getChars(int, int, char[], int) 2">
-    <annotation name="org.jetbrains.annotations.NotNull" />
+    <annotation name="org.jetbrains.annotations.NotNull"/>
   </item>
   <item name="java.lang.System java.lang.String getProperty(java.lang.String) 0">
-    <annotation name="org.jetbrains.annotations.NonNls" />
-    <annotation name="org.jetbrains.annotations.NotNull" />
+    <annotation name="org.jetbrains.annotations.NonNls"/>
+    <annotation name="org.jetbrains.annotations.NotNull"/>
   </item>
   <item name="java.lang.System java.lang.String getProperty(java.lang.String, java.lang.String) 0">
     <annotation name="org.jetbrains.annotations.NotNull"/>