We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 1e4c1d6 commit f55c8ccCopy full SHA for f55c8cc
1 file changed
library/core/src/pin.rs
@@ -1829,9 +1829,10 @@ where
1829
///
1830
/// # Safety
1831
1832
-/// If this type implements `Deref`, then the concrete type returned by `deref`
1833
-/// and `deref_mut` must not change without a modification. The following
1834
-/// operations are not considered modifications:
+/// Given a pointer of this type, the concrete type returned by its
+/// `deref` method and (if it implements `DerefMut`) its `deref_mut` method
+/// must be the same type and must not change without a modification.
1835
+/// The following operations are not considered modifications:
1836
1837
/// * Moving the pointer.
1838
/// * Performing unsizing coercions on the pointer.
0 commit comments