1 use super::*;
2 
3 // Note(Lokathor): This is the neat part!!
4 unsafe impl<T: PodInOption> Pod for Option<T> {}
5 
6 /// Trait for types which are [Pod](Pod) when wrapped in
7 /// [Option](core::option::Option).
8 ///
9 /// ## Safety
10 ///
11 /// * `Option<T>` must uphold the same invariants as [Pod](Pod).
12 /// * **Reminder:** pointers are **not** pod! **Do not** mix this trait with a
13 ///   newtype over [NonNull](core::ptr::NonNull).
14 pub unsafe trait PodInOption: ZeroableInOption + Copy + 'static {}
15 
16 unsafe impl PodInOption for NonZeroI8 {}
17 unsafe impl PodInOption for NonZeroI16 {}
18 unsafe impl PodInOption for NonZeroI32 {}
19 unsafe impl PodInOption for NonZeroI64 {}
20 unsafe impl PodInOption for NonZeroI128 {}
21 unsafe impl PodInOption for NonZeroIsize {}
22 unsafe impl PodInOption for NonZeroU8 {}
23 unsafe impl PodInOption for NonZeroU16 {}
24 unsafe impl PodInOption for NonZeroU32 {}
25 unsafe impl PodInOption for NonZeroU64 {}
26 unsafe impl PodInOption for NonZeroU128 {}
27 unsafe impl PodInOption for NonZeroUsize {}
28