Lines Matching full:safety

20 /// It is unsafe to create this type, since the closure needs to fulfill the same safety
24 // SAFETY: While constructing the `InitClosure`, the user promised that it upholds the
36 // SAFETY: While constructing the `InitClosure`, the user promised that it upholds the
51 /// # Safety
63 /// # Safety
81 /// # Safety
93 /// # Safety
118 // SAFETY: TODO.
123 // SAFETY: TODO.
148             // SAFETY: As we are being dropped, we only call this once. And since `self.is_init` is  in drop()
171         // SAFETY: We never move out of `this`.  in init()
174         // the memory (this is a safety guarantee of `Pin`).  in init()
177             // SAFETY: `this.is_init` was true and therefore `this.value` is initialized.  in init()
180         // SAFETY: The memory slot is valid and this type ensures that it will stay pinned.  in init()
184         // SAFETY: The slot is now pinned, since we will never give access to `&mut T`.  in init()
199     /// # Safety
216         // SAFETY: A `DropGuard` can only be constructed using the unsafe `new` function  in drop()
228     /// # Safety
259 // SAFETY: `__pinned_init` always fails, which is always okay.