Relax the safety condition for get_mut_unchecked

1 files changed, 4 insertions, 2 deletions

diff --git a/src/liballoc/rc.rs b/src/liballoc/rc.rs
index abb09684260..1509afa4889 100644
--- a/src/liballoc/rc.rs
+++ b/src/liballoc/rc.rs
@@ -719,8 +719,10 @@ impl<T: ?Sized> Rc<T> {
     ///
     /// # Safety
     ///
-    /// There must be no other `Rc` or [`Weak`] pointers to the same value.
-    /// This is the case for example immediately after `Rc::new`.
+    /// Any other `Rc` or [`Weak`] pointers to the same value must not be dereferenced
+    /// for the duration of the returned borrow.
+    /// This is trivially the case if no such pointer exist,
+    /// for example immediately after `Rc::new`.
     ///
     /// # Examples
     ///