File tree 1 file changed +3
-3
lines changed
1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change 31
31
//! [^guarantees]: Pinning on its own does not provide *all* the invariants necessary here. However,
32
32
//! in order to validly pin a value in the first place, it must already satisfy the other invariants
33
33
//! for it to be valid to dereference a pointer to that value while it is pinned, and using the
34
- //! [`Drop` guarantee][drop-guarantee], we can ensure that any interested parties are notified
35
- //! before the value becomes no longer pinned, i.e. when the value goes out of scope and is
36
- //! invalidated.
34
+ //! [`Drop` guarantee][self#subtle-details-and-the- drop-guarantee], we can ensure that any
35
+ //! interested parties are notified before the value becomes no longer pinned, i.e. when the value
36
+ //! goes out of scope and is invalidated.
37
37
//!
38
38
//! Note that as long as you don't use [`unsafe`], it's impossible to create or misuse a pinned
39
39
//! value in a way that will produce unsoundness. See the documentation of [`Pin<Ptr>`] for more
You can’t perform that action at this time.
0 commit comments