Lines Matching full:safety

21 /// It is unsafe to create this type, since the closure needs to fulfill the same safety
25 // SAFETY: While constructing the `InitClosure`, the user promised that it upholds the
37 // SAFETY: While constructing the `InitClosure`, the user promised that it upholds the
52 /// # Safety
64 /// # Safety
82 /// # Safety
94 /// # Safety
119 // SAFETY: TODO.
124 // SAFETY: TODO.
149             // SAFETY: As we are being dropped, we only call this once. And since `self.is_init` is  in drop()
172         // SAFETY: We never move out of `this`.  in init()
175         // the memory (this is a safety guarantee of `Pin`).  in init()
178             // SAFETY: `this.is_init` was true and therefore `this.value` is initialized.  in init()
181         // SAFETY: The memory slot is valid and this type ensures that it will stay pinned.  in init()
185         // SAFETY: The slot is now pinned, since we will never give access to `&mut T`.  in init()
227     /// # Safety
244         // SAFETY: A `DropGuard` can only be constructed using the unsafe `new` function  in drop()
256     /// # Safety
287 // SAFETY: `__pinned_init` always fails, which is always okay.