Lines Matching full:properly

228 /// - `ptr` is valid, properly aligned and points to uninitialized and exclusively accessed memory.
238     /// - `ptr` is valid, properly aligned and points to uninitialized and exclusively accessed
259         // - `self.ptr` is valid and properly aligned per type invariant.
271         // - `self.ptr` is valid and properly aligned.
277         // - `self.ptr` is valid and properly aligned per type invariant.
288         // - `self.ptr` is valid and properly aligned.
295         // - `self.ptr` is valid, properly aligned and pinned per type invariant.
307 /// - `ptr` is valid and properly aligned.
322     /// - `ptr` is valid and properly aligned.
348         // SAFETY: `self.ptr` is valid, properly aligned, initialized, exclusively accessible and
357         // SAFETY: `self.ptr` is valid, properly aligned and `*self.ptr` is owned by this guard.