improve docs

This commit is contained in:
Lokathor 2022-07-02 15:29:48 -06:00
parent 1f265a9e0d
commit fda9e9f852

View File

@ -9,6 +9,8 @@ unsafe impl<T: PodInOption> Pod for Option<T> {}
/// ## Safety /// ## Safety
/// ///
/// * `Option<T>` must uphold the same invariants as [Pod](Pod). /// * `Option<T>` must uphold the same invariants as [Pod](Pod).
/// * **Reminder:** pointers are **not** pod! **Do not** mix this trait with a
/// newtype over [NonNull](core::ptr::NonNull).
pub unsafe trait PodInOption: ZeroableInOption + Copy + 'static {} pub unsafe trait PodInOption: ZeroableInOption + Copy + 'static {}
unsafe impl PodInOption for NonZeroI8 {} unsafe impl PodInOption for NonZeroI8 {}