Lines Matching full:safety

19 /// type, since the closure needs to fulfill the same safety requirement as the
23 // SAFETY: While constructing the `InitClosure`, the user promised that it upholds the
35 // SAFETY: While constructing the `InitClosure`, the user promised that it upholds the
50 /// # Safety
61 /// # Safety
79 /// # Safety
90 /// # Safety
143             // SAFETY: As we are being dropped, we only call this once. And since `self.is_init` is  in drop()
166         // SAFETY: We never move out of `this`.  in init()
169         // the memory (this is a safety guarantee of `Pin`).  in init()
172             // SAFETY: `this.is_init` was true and therefore `this.value` is initialized.  in init()
175         // SAFETY: The memory slot is valid and this type ensures that it will stay pinned.  in init()
179         // SAFETY: The slot is now pinned, since we will never give access to `&mut T`.  in init()
194     /// # Safety
211         // SAFETY: A `DropGuard` can only be constructed using the unsafe `new` function  in drop()
223     /// # Safety