Lines Matching refs:Validity
227 I: Invariants<Alignment = Aligned, Validity = Valid>,
340 pub fn reborrow_shared<'b>(&'b mut self) -> Ptr<'b, T, (Shared, I::Alignment, I::Validity)> in reborrow_shared()
438 V: Validity, in transmute() argument
439 U: TransmuteFromPtr<T, I::Aliasing, I::Validity, V, <U as SizeEq<T>>::CastFrom, R> in transmute() argument
450 V: Validity, in transmute_with() argument
451 U: TransmuteFromPtr<T, I::Aliasing, I::Validity, V, C, R> + ?Sized, in transmute_with() argument
474 V: Validity, in recall_validity() argument
475 T: TransmuteFromPtr<T, I::Aliasing, I::Validity, V, IdCast, R>, in recall_validity() argument
513 V: Validity, in project_transmute_unchecked() argument
561 ) -> Ptr<'a, crate::Unalign<T>, (I::Aliasing, Aligned, I::Validity)> { in into_unalign() argument
592 I: Invariants<Validity = Valid>,
650 H: Invariants<Aliasing = I::Aliasing, Alignment = I::Alignment, Validity = I::Validity>, in unify_invariants() argument
669 ) -> Ptr<'a, T, (I::Aliasing, A, I::Validity)> { in assume_alignment() argument
680 ) -> Result<Ptr<'a, T, (I::Aliasing, Aligned, I::Validity)>, AlignmentError<Self, T>> in try_into_aligned() argument
699 pub fn bikeshed_recall_aligned(self) -> Ptr<'a, T, (I::Aliasing, Aligned, I::Validity)> in bikeshed_recall_aligned()
717 pub unsafe fn assume_validity<V: Validity>( in assume_validity()
774 + TryTransmuteFromPtr<T, I::Aliasing, I::Validity, Valid, IdCast, S>, in try_into_valid() argument
777 I: Invariants<Validity = Initialized>, in try_into_valid() argument
798 pub fn forget_aligned(self) -> Ptr<'a, T, (I::Aliasing, Unaligned, I::Validity)> { in forget_aligned() argument
836 ) -> Ptr<'a, U, (I::Aliasing, Unaligned, I::Validity)> in cast_unchecked() argument
838 U: 'a + CastableFrom<T, I::Validity, I::Validity> + ?Sized, in cast_unchecked()
860 pub fn cast<U, C, R>(self) -> Ptr<'a, U, (I::Aliasing, Unaligned, I::Validity)> in cast() argument
862 T: MutationCompatible<U, I::Aliasing, I::Validity, I::Validity, R>, in cast()
863 U: 'a + ?Sized + CastableFrom<T, I::Validity, I::Validity>, in cast() argument
1020 [u8]: TransmuteFromPtr<T, I::Aliasing, I::Validity, Valid, AsBytesCast, R>, in as_bytes() argument
1074 I: Invariants<Validity = Valid>,