Auto merge of #128334 - matthiaskrgr:rollup-nhxdt0c, r=matthiaskrgr · model-checking/verify-rust-std@618fdd5 (original) (raw)

Original file line number	Diff line number	Diff line change
@@ -780,7 +780,7 @@ where
780	780	///
781	781	/// The caller must also ensure that the memory the pointer (non-transitively) points to is never
782	782	/// written to (except inside an `UnsafeCell`) using this pointer or any pointer derived from it. If
783		-/// you need to mutate the pointee, use [`from_mut`]`. Specifically, to turn a mutable reference `m:
	783	+/// you need to mutate the pointee, use [`from_mut`]. Specifically, to turn a mutable reference `m:
784	784	/// &mut T` into `*const T`, prefer `from_mut(m).cast_const()` to obtain a pointer that can later be
785	785	/// used for mutation.
786	786	///