Lines Matching refs:invariant

392     invariant::{self, BecauseExclusive},
416 pub use crate::pointer::{invariant::BecauseImmutable, Maybe, Ptr};
1276     I: invariant::Invariants,
1285     type Invariants: invariant::Invariants<Aliasing = I::Aliasing>;
1310             I: invariant::Invariants;  in is_projectable()
1316             I: invariant::Invariants,  in is_projectable()
1328                         use crate::invariant::{Validity, ValidityKind};  in is_projectable()
1777         A: invariant::Alignment;  in is_bit_valid()
3360     let c_ptr = unsafe { c_ptr.assume_validity::<invariant::Initialized>() };  in try_read_from()
3375         Wrapping<T>: pointer::TransmuteFrom<T, invariant::Valid, invariant::Valid>,  in try_read_from()
3376         T: pointer::TransmuteFrom<Wrapping<T>, invariant::Valid, invariant::Valid>,  in try_read_from()
5381         let ptr = unsafe { ptr.assume_validity::<invariant::Initialized>() };  in read_from_io()