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