rust/alloc/vec/partial_eq.rs

   1 // SPDX-License-Identifier: Apache-2.0 OR MIT
   2
   3 use crate::alloc::Allocator;
   4 #[cfg(not(no_global_oom_handling))]
   5 use crate::borrow::Cow;
   6
   7 use super::Vec;
   8
   9 macro_rules! __impl_slice_eq1 {
  10     ([$($vars:tt)*] $lhs:ty, $rhs:ty $(where $ty:ty: $bound:ident)?, #[$stability:meta]) => {
  11         #[$stability]
  12         impl<T, U, $($vars)*> PartialEq<$rhs> for $lhs
  13         where
  14             T: PartialEq<U>,
  15             $($ty: $bound)?
  16         {
  17             #[inline]
  18             fn eq(&self, other: &$rhs) -> bool { self[..] == other[..] }
  19             #[inline]
  20             fn ne(&self, other: &$rhs) -> bool { self[..] != other[..] }
  21         }
  22     }
  23 }
  24
  25 __impl_slice_eq1! { [A1: Allocator, A2: Allocator] Vec<T, A1>, Vec<U, A2>, #[stable(feature = "rust1", since = "1.0.0")] }
  26 __impl_slice_eq1! { [A: Allocator] Vec<T, A>, &[U], #[stable(feature = "rust1", since = "1.0.0")] }
  27 __impl_slice_eq1! { [A: Allocator] Vec<T, A>, &mut [U], #[stable(feature = "rust1", since = "1.0.0")] }
  28 __impl_slice_eq1! { [A: Allocator] &[T], Vec<U, A>, #[stable(feature = "partialeq_vec_for_ref_slice", since = "1.46.0")] }
  29 __impl_slice_eq1! { [A: Allocator] &mut [T], Vec<U, A>, #[stable(feature = "partialeq_vec_for_ref_slice", since = "1.46.0")] }
  30 __impl_slice_eq1! { [A: Allocator] Vec<T, A>, [U], #[stable(feature = "partialeq_vec_for_slice", since = "1.48.0")]  }
  31 __impl_slice_eq1! { [A: Allocator] [T], Vec<U, A>, #[stable(feature = "partialeq_vec_for_slice", since = "1.48.0")]  }
  32 #[cfg(not(no_global_oom_handling))]
  33 __impl_slice_eq1! { [A: Allocator] Cow<'_, [T]>, Vec<U, A> where T: Clone, #[stable(feature = "rust1", since = "1.0.0")] }
  34 #[cfg(not(no_global_oom_handling))]
  35 __impl_slice_eq1! { [] Cow<'_, [T]>, &[U] where T: Clone, #[stable(feature = "rust1", since = "1.0.0")] }
  36 #[cfg(not(no_global_oom_handling))]
  37 __impl_slice_eq1! { [] Cow<'_, [T]>, &mut [U] where T: Clone, #[stable(feature = "rust1", since = "1.0.0")] }
  38 __impl_slice_eq1! { [A: Allocator, const N: usize] Vec<T, A>, [U; N], #[stable(feature = "rust1", since = "1.0.0")] }
  39 __impl_slice_eq1! { [A: Allocator, const N: usize] Vec<T, A>, &[U; N], #[stable(feature = "rust1", since = "1.0.0")] }
  40
  41 // NOTE: some less important impls are omitted to reduce code bloat
  42 // FIXME(Centril): Reconsider this?
  43 //__impl_slice_eq1! { [const N: usize] Vec<A>, &mut [B; N], }
  44 //__impl_slice_eq1! { [const N: usize] [A; N], Vec<B>, }
  45 //__impl_slice_eq1! { [const N: usize] &[A; N], Vec<B>, }
  46 //__impl_slice_eq1! { [const N: usize] &mut [A; N], Vec<B>, }
  47 //__impl_slice_eq1! { [const N: usize] Cow<'a, [A]>, [B; N], }
  48 //__impl_slice_eq1! { [const N: usize] Cow<'a, [A]>, &[B; N], }
  49 //__impl_slice_eq1! { [const N: usize] Cow<'a, [A]>, &mut [B; N], }