access String's inner vec before taking pointer to make miri happy

lincot · lincot · commit 3a6021298dd7 · 2024-10-16T13:31:51.000+03:00
diff --git a/library/alloc/src/string.rs b/library/alloc/src/string.rs
@@ -1423,7 +1423,7 @@ impl String {
 
         // SAFETY: Just reserved capacity for at least the length needed to encode `ch`.
         unsafe {
-            core::char::encode_utf8_raw_unchecked(ch as u32, self.as_mut_ptr().add(self.len()));
+            core::char::encode_utf8_raw_unchecked(ch as u32, self.vec.as_mut_ptr().add(self.len()));
             self.vec.set_len(len + ch_len);
         }
     }

Original file line number	Diff line number	Diff line change
`@@ -1423,7 +1423,7 @@ impl String {`
`1423`	`1423`
`1424`	`1424`	// SAFETY: Just reserved capacity for at least the length needed to encode `ch`.
`1425`	`1425`	`unsafe {`
`1426`		`- core::char::encode_utf8_raw_unchecked(ch as u32, self.as_mut_ptr().add(self.len()));`
	`1426`	`+ core::char::encode_utf8_raw_unchecked(ch as u32, self.vec.as_mut_ptr().add(self.len()));`
`1427`	`1427`	`self.vec.set_len(len + ch_len);`
`1428`	`1428`	`}`
`1429`	`1429`	`}`