Searched defs:Invariants (Results 1 – 4 of 4) sorted by relevance
19 pub trait Invariants: Sealed { trait25 impl<A: Aliasing, AA: Alignment, V: Validity> Invariants for (A, AA, V) { impl
880 ) -> Result<Ptr<'a, T::Type, T::Invariants>, T::Error> in project()
838 type Invariants = T::Invariants; typedef
1285 type Invariants: invariant::Invariants<Aliasing = I::Aliasing>; typedef