This commit is contained in:
Manish Goregaokar
2024-01-07 08:57:23 -08:00
parent df6d44961d
commit 7fd841c098
+1 -1
View File
@@ -11,7 +11,7 @@
//! is called "pinning." We would say that a value which satisfies these guarantees has been
//! "pinned," in that it has been permanently (until the end of its lifespan) attached to its
//! location in memory, as though pinned to a pinboard. Pinning a value is an incredibly useful
//! building block for [unsafe] code to be able to reason about whether a raw pointer to the
//! building block for [`unsafe`] code to be able to reason about whether a raw pointer to the
//! pinned value is still valid. [As we'll see later][drop-guarantee], this is necessarily from the
//! time the value is first pinned until the end of its lifespan. This concept of "pinning" is
//! necessary to implement safe interfaces on top of things like self-referential types and