Lines Matching full:safety

70     /// # Safety
82 /// # Safety
95 /// # Safety
127 // SAFETY: TODO.
153             // SAFETY: As we are being dropped, we only call this once. And since `self.is_init` is
176         // SAFETY: We never move out of `this`.
179         // the memory (this is a safety guarantee of `Pin`).
182             // SAFETY: `this.is_init` was true and therefore `this.value` is initialized.
185         // SAFETY: The memory slot is valid and this type ensures that it will stay pinned.
189         // SAFETY: The slot is now pinned, since we will never give access to `&mut T`.
238     /// # Safety
245         // INVARIANT: Per safety requirement.
258         // SAFETY: `self.ptr` is a valid and aligned pointer for write.
260         // SAFETY:
272         // SAFETY:
278         // SAFETY:
289         // SAFETY:
296         // SAFETY:
322     /// # Safety
329         // INVARIANT: By safety requirement.
341         // SAFETY: Per type invariant.
350         // SAFETY: `self.ptr` is valid, properly aligned, initialized, exclusively accessible and
359         // SAFETY: `self.ptr` is valid, properly aligned and `*self.ptr` is owned by this guard.
370     /// # Safety
403 // SAFETY: `__init` always fails, which is always okay.