15 //! Invariants are encoded as ([`Aliasing`], [`Alignment`], [`Validity`])
21     type Alignment: Alignment;  typedef
25 impl<A: Aliasing, AA: Alignment, V: Validity> Invariants for (A, AA, V) {
27     type Alignment = AA;  typedef
43 /// The alignment invariant of a [`Ptr`][super::Ptr].
44 pub trait Alignment: Sealed {  interface
50         I: Invariants<Alignment = Self, Validity = Valid>,  in read()  argument
145 impl Alignment for Unaligned {
150         I: Invariants<Alignment = Self, Validity = Valid>,  in read()  argument
158 /// of the `T`'s alignment.
160 impl Alignment for Aligned {
165         I: Invariants<Alignment = Self, Validity = Valid>,  in read()  argument