Uses the compiler to check that all non-wrapped fields are actually 1-ZSTs, and uses Zeroable to check that all non-wrapped fields are "conjurable" (See discussion in the linked issue).
Additionally, relaxes the bound of impl<T: Zeroable> Zeroable for PhantomData<T> to all T: ?Sized.
May resolve #170.
Uses the compiler to check that all non-wrapped fields are actually 1-ZSTs, and uses Zeroable to check that all non-wrapped fields are "conjurable" (See discussion in the linked issue).
Additionally, relaxes the bound of
impl<T: Zeroable> Zeroable for PhantomData<T>to allT: ?Sized.