diff options
Diffstat (limited to 'library')
| -rw-r--r-- | library/core/src/pin.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/library/core/src/pin.rs b/library/core/src/pin.rs index 600208132ba..18113c6def8 100644 --- a/library/core/src/pin.rs +++ b/library/core/src/pin.rs @@ -105,7 +105,7 @@ //! [what-is-pinning]: self#what-is-pinning //! //! We say that a value has been *pinned* when it has been put into a state where it is guaranteed -//! to remain *valid* and *located at the same place in memory* from the time it is pinned until its +//! to remain *located at the same place in memory* from the time it is pinned until its //! [`drop`] is called. //! //! ## Address-sensitive values, AKA "when we need pinning" |