Lines Matching refs:SV

117     SV: Validity,
152 unsafe impl<Src, Dst, SV, DV, A, C, R>
153     TryTransmuteFromPtr<Src, A, SV, DV, C, (BecauseMutationCompatible, R)> for Dst
156     SV: Validity,
158     Src: TransmuteFrom<Dst, DV, SV> + ?Sized,
159     Dst: MutationCompatible<Src, A, SV, DV, R> + ?Sized,
171 unsafe impl<Src, Dst, SV, DV, C> TryTransmuteFromPtr<Src, Shared, SV, DV, C, BecauseImmutable>
174     SV: Validity,
193 pub unsafe trait MutationCompatible<Src: ?Sized, A: Aliasing, SV, DV, R> {}
199 unsafe impl<Src: ?Sized, Dst: ?Sized, A: Aliasing, SV: Validity, DV: Validity, R>
200     MutationCompatible<Src, A, SV, DV, (BecauseRead, R)> for Dst
221 unsafe impl<Src: ?Sized, Dst: ?Sized, A: Aliasing, SV: Validity, DV: Validity>
222     MutationCompatible<Src, A, SV, DV, BecauseInvariantsEq> for Dst
224     Src: TransmuteFrom<Dst, DV, SV>,
225     Dst: TransmuteFrom<Src, SV, DV> + InvariantsEq<Src>,
272     SV: Validity,
276 >: TryTransmuteFromPtr<Src, A, SV, DV, C, R> + TransmuteFrom<Src, SV, DV>
286         SV: Validity,
290     > TransmuteFromPtr<Src, A, SV, DV, C, R> for Dst
292     Dst: TransmuteFrom<Src, SV, DV> + TryTransmuteFromPtr<Src, A, SV, DV, C, R>,
308 pub unsafe trait TransmuteFrom<Src: ?Sized, SV, DV> {}