Lines Matching refs:Invariants
60 I: Invariants,
78 I: Invariants,
138 I: Invariants<Aliasing = Shared>,
146 I: Invariants<Aliasing = Shared>,
157 I: Invariants,
227 I: Invariants<Alignment = Aligned, Validity = Valid>,
284 I: Invariants,
432 I: Invariants,
553 I: Invariants,
592 I: Invariants<Validity = Valid>,
631 I: Invariants,
638 unsafe fn assume_invariants<H: Invariants>(self) -> Ptr<'a, T, H> { in assume_invariants()
650 H: Invariants<Aliasing = I::Aliasing, Alignment = I::Alignment, Validity = I::Validity>, in unify_invariants()
777 I: Invariants<Validity = Initialized>, in try_into_valid()
820 I: Invariants,
880 ) -> Result<Ptr<'a, T::Type, T::Invariants>, T::Error> in project() argument
938 J: Invariants<Aliasing = I::Aliasing>, in try_with_unchecked()
985 J: Invariants<Aliasing = I::Aliasing>, in try_with()
988 I: Invariants<Aliasing = Shared>, in try_with()
1012 I: Invariants,
1029 I: Invariants,
1074 I: Invariants<Validity = Valid>,
1205 I: Invariants<Aliasing = Exclusive>,
1268 I: Invariants,
1309 I: Invariants,