Lines Matching full:properly

91     /// The returned pointer is valid and properly aligned (i.e. aligned to [`align_of::<T>()`]).
94         // must be valid and properly aligned.
283             // SAFETY: `a.as_ptr()` is valid and properly aligned.
289             // SAFETY: `a.as_ptr()` is valid and properly aligned.
303             // SAFETY: `a.as_ptr()` is valid and properly aligned.
316             // SAFETY: `a.as_ptr()` is valid and properly aligned. `core::ptr::from_mut(old)`
317             // is valid and properly aligned.
331             // SAFETY: `a.as_ptr()` is valid and properly aligned.
340             // SAFETY: `a.as_ptr()` guarantees the returned pointer is valid and properly aligned.
345             // SAFETY: `a.as_ptr()` guarantees the returned pointer is valid and properly aligned.