22     type Validity: Validity;  typedef
25 impl<A: Aliasing, AA: Alignment, V: Validity> Invariants for (A, AA, V) {
28     type Validity = V;  typedef
50         I: Invariants<Alignment = Self, Validity = Valid>,  in read()  argument
96 pub unsafe trait Validity: Sealed {  trait
150         I: Invariants<Alignment = Self, Validity = Valid>,  in read()  argument
165         I: Invariants<Alignment = Self, Validity = Valid>,  in read()  argument
179 unsafe impl Validity for Uninit {
213 unsafe impl Validity for AsInitialized {
224 unsafe impl Validity for Initialized {
233 unsafe impl Validity for Valid {