This commit is contained in:
Manish Goregaokar 2024-01-06 16:33:07 -08:00
parent 6553d0d551
commit 6a54ed71c0

View file

@ -105,7 +105,7 @@
//! [what-is-pinning]: self#what-is-pinning //! [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 //! 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. //! [`drop`] is called.
//! //!
//! ## Address-sensitive values, AKA "when we need pinning" //! ## Address-sensitive values, AKA "when we need pinning"