Lines Matching refs:I
57 pub struct Ptr<'a, T, I>
60 I: Invariants,
72 _invariants: PhantomData<I>,
75 impl<'a, T, I> Ptr<'a, T, I>
78 I: Invariants,
92 pub(crate) unsafe fn from_inner(ptr: PtrInner<'a, T>) -> Ptr<'a, T, I> { in from_inner() argument
135 impl<'a, T, I> Copy for Ptr<'a, T, I>
138 I: Invariants<Aliasing = Shared>,
143 impl<'a, T, I> Clone for Ptr<'a, T, I>
146 I: Invariants<Aliasing = Shared>,
154 impl<'a, T, I> Debug for Ptr<'a, T, I>
157 I: Invariants,
224 impl<'a, T, I> Ptr<'a, T, I>
227 I: Invariants<Alignment = Aligned, Validity = Valid>,
228 I::Aliasing: Reference,
281 impl<'a, T, I> Ptr<'a, T, I>
284 I: Invariants,
285 I::Aliasing: Reference,
294 pub fn reborrow<'b>(&'b mut self) -> Ptr<'b, T, I> in reborrow()
340 pub fn reborrow_shared<'b>(&'b mut self) -> Ptr<'b, T, (Shared, I::Alignment, I::Validity)> in reborrow_shared()
430 impl<'a, T: ?Sized, I> Ptr<'a, T, I>
432 I: Invariants,
436 pub fn transmute<U, V, R>(self) -> Ptr<'a, U, (I::Aliasing, Unaligned, V)> in transmute()
439 U: TransmuteFromPtr<T, I::Aliasing, I::Validity, V, <U as SizeEq<T>>::CastFrom, R> in transmute()
448 pub fn transmute_with<U, V, C, R>(self) -> Ptr<'a, U, (I::Aliasing, Unaligned, V)> in transmute_with()
451 U: TransmuteFromPtr<T, I::Aliasing, I::Validity, V, C, R> + ?Sized, in transmute_with()
472 pub fn recall_validity<V, R>(self) -> Ptr<'a, T, (I::Aliasing, I::Alignment, V)> in recall_validity()
475 T: TransmuteFromPtr<T, I::Aliasing, I::Validity, V, IdCast, R>, in recall_validity()
481 unsafe { ptr.assume_alignment::<I::Alignment>() } in recall_validity()
511 ) -> Ptr<'a, U, (I::Aliasing, Unaligned, V)> in project_transmute_unchecked()
551 impl<'a, T, I> Ptr<'a, T, I>
553 I: Invariants,
561 ) -> Ptr<'a, crate::Unalign<T>, (I::Aliasing, Aligned, I::Validity)> { in into_unalign()
589 impl<'a, T, I> Ptr<'a, T, I>
592 I: Invariants<Validity = Valid>,
593 I::Aliasing: Reference,
601 T: Read<I::Aliasing, R>, in read()
603 <I::Alignment as Alignment>::read(self) in read()
628 impl<'a, T, I> Ptr<'a, T, I>
631 I: Invariants,
650 H: Invariants<Aliasing = I::Aliasing, Alignment = I::Alignment, Validity = I::Validity>, in unify_invariants()
669 ) -> Ptr<'a, T, (I::Aliasing, A, I::Validity)> { in assume_alignment()
680 ) -> Result<Ptr<'a, T, (I::Aliasing, Aligned, I::Validity)>, AlignmentError<Self, T>> in try_into_aligned()
699 pub fn bikeshed_recall_aligned(self) -> Ptr<'a, T, (I::Aliasing, Aligned, I::Validity)> in bikeshed_recall_aligned()
719 ) -> Ptr<'a, T, (I::Aliasing, I::Alignment, V)> { in assume_validity()
735 ) -> Ptr<'a, T, (I::Aliasing, I::Alignment, Initialized)> { in assume_initialized()
749 pub unsafe fn assume_valid(self) -> Ptr<'a, T, (I::Aliasing, I::Alignment, Valid)> { in assume_valid()
770 ) -> Result<Ptr<'a, T, (I::Aliasing, I::Alignment, Valid)>, ValidityError<Self, T>> in try_into_valid()
773 + Read<I::Aliasing, R> in try_into_valid()
774 + TryTransmuteFromPtr<T, I::Aliasing, I::Validity, Valid, IdCast, S>, in try_into_valid()
775 ReadOnly<T>: Read<I::Aliasing, R>, in try_into_valid()
776 I::Aliasing: Reference, in try_into_valid()
777 I: Invariants<Validity = Initialized>, in try_into_valid()
798 pub fn forget_aligned(self) -> Ptr<'a, T, (I::Aliasing, Unaligned, I::Validity)> { in forget_aligned()
817 impl<'a, T, I> Ptr<'a, T, I>
820 I: Invariants,
836 ) -> Ptr<'a, U, (I::Aliasing, Unaligned, I::Validity)> in cast_unchecked()
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()
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()
882 T: ProjectField<F, I, VARIANT_ID, FIELD_ID>, in project()
883 I::Aliasing: Reference, in project()
911 pub(crate) fn project_tag(self) -> Ptr<'a, T::Tag, I> in project_tag()
938 J: Invariants<Aliasing = I::Aliasing>, in try_with_unchecked()
940 F: FnOnce(Ptr<'a, T, I>) -> Result<Ptr<'a, U, J>, E>, in try_with_unchecked()
985 J: Invariants<Aliasing = I::Aliasing>, in try_with()
987 F: FnOnce(Ptr<'a, T, I>) -> Result<Ptr<'a, U, J>, E>, in try_with()
988 I: Invariants<Aliasing = Shared>, in try_with()
1009 impl<'a, T, I> Ptr<'a, T, I>
1012 I: Invariants,
1018 pub fn as_bytes<R>(self) -> Ptr<'a, [u8], (I::Aliasing, Aligned, Valid)> in as_bytes()
1020 [u8]: TransmuteFromPtr<T, I::Aliasing, I::Validity, Valid, AsBytesCast, R>, in as_bytes()
1026 impl<'a, T, I, const N: usize> Ptr<'a, [T; N], I>
1029 I: Invariants,
1035 pub fn as_slice(self) -> Ptr<'a, [T], I> { in as_slice() argument
1072 impl<'a, I> Ptr<'a, [u8], I>
1074 I: Invariants<Validity = Valid>,
1104 (Ptr<'a, U, (I::Aliasing, Aligned, Initialized)>, Ptr<'a, [u8], I>), in try_cast_into() argument
1108 I::Aliasing: Reference, in try_cast_into()
1109 U: 'a + ?Sized + KnownLayout + Read<I::Aliasing, R>, in try_cast_into()
1174 ) -> Result<Ptr<'a, U, (I::Aliasing, Aligned, Initialized)>, CastError<Self, U>> in try_cast_into_no_leftover()
1176 I::Aliasing: Reference, in try_cast_into_no_leftover()
1177 U: 'a + ?Sized + KnownLayout + Read<I::Aliasing, R>, in try_cast_into_no_leftover()
1178 [u8]: Read<I::Aliasing, R>, in try_cast_into_no_leftover()
1202 impl<'a, T, I> Ptr<'a, UnsafeCell<T>, I>
1205 I: Invariants<Aliasing = Exclusive>,
1217 pub fn get_mut(self) -> Ptr<'a, T, I> { in get_mut() argument
1255 let ptr = unsafe { ptr.assume_alignment::<I::Alignment>() }; in get_mut()
1265 impl<'a, T, I> Ptr<'a, [T], I>
1268 I: Invariants,
1269 I::Aliasing: Reference,
1273 pub fn iter(self) -> impl Iterator<Item = Ptr<'a, T, I>> { in iter() argument
1306 impl<'a, T, I> Ptr<'a, T, I>
1309 I: Invariants,
1346 fn test<T, I, const N: usize>(metas: I) in test() argument
1349 I: IntoIterator<Item = Option<T::PointerMetadata>> + Clone, in test()