File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change 714714//! return [`&mut Field`] or <code>[Pin]<[`&mut Field`]></code>? This question also arises with
715715//! `enum`s and wrapper types like [`Vec<T>`], [`Box<T>`], and [`RefCell<T>`]. (This question
716716//! applies just as well to shared references, but we'll examine the more common case of mutable
717- //! references for illustration).
717+ //! references for illustration)
718718//!
719719//! It turns out that it's up to the author of `Struct` to decide which type the "projection"
720720//! should produce. The choice must be *consistent* though: if a pin is projected to a field
792792//! structural pinning to an inner field of `T`, which may not be [`Unpin`]! (Adding *any*
793793//! projection operation requires unsafe code, so the fact that [`Unpin`] is a safe trait does
794794//! not break the principle that you only have to worry about any of this if you use
795- //! [`unsafe`]. )
795+ //! [`unsafe`])
796796//!
797797//! 2. *Pinned Destruction.* As discussed [above][drop-impl], [`drop`] takes
798798//! [`&mut self`], but the struct (and hence its fields) might have been pinned
You can’t perform that action at this time.
0 commit comments