pub trait StructuralPartialEq { }🔬This is a nightly-only experimental API. (
structural_match #31434)Expand description
Required trait for constants used in pattern matches.
Constants are only allowed as patterns if (a) their type implements
PartialEq, and (b) interpreting the value of the constant as a pattern
is equivalent to calling PartialEq. This ensures that constants used as
patterns cannot expose implementation details in an unexpected way or
cause semver hazards.
This trait ensures point (b).
Any type that derives PartialEq automatically implements this trait.
Implementing this trait (which is unstable) is a way for type authors to explicitly allow
comparing const values of this type; that operation will recursively compare all fields
(including private fields), even if that behavior differs from PartialEq. This can make it
semver-breaking to add further private fields to a type.
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".
Implementors§
impl StructuralPartialEq for ()
impl StructuralPartialEq for AddrParseError
impl StructuralPartialEq for core::mem::Alignment
impl StructuralPartialEq for core::fmt::Alignment
impl StructuralPartialEq for AllocError
impl StructuralPartialEq for AsciiChar
impl StructuralPartialEq for Assume
impl StructuralPartialEq for AtomicOrdering
impl StructuralPartialEq for CStr
impl StructuralPartialEq for CharCase
impl StructuralPartialEq for CharTryFromError
impl StructuralPartialEq for CpuidResult
Available on x86 or x86-64 only.
impl StructuralPartialEq for DebugAsHex
impl StructuralPartialEq for DecodeUtf16Error
impl StructuralPartialEq for Duration
impl StructuralPartialEq for Error
impl StructuralPartialEq for ErrorKind
impl StructuralPartialEq for FieldId
impl StructuralPartialEq for FormattingOptions
impl StructuralPartialEq for FpCategory
impl StructuralPartialEq for FromBytesUntilNulError
impl StructuralPartialEq for FromBytesWithNulError
impl StructuralPartialEq for GetDisjointMutError
impl StructuralPartialEq for IntErrorKind
impl StructuralPartialEq for IpAddr
impl StructuralPartialEq for Ipv4Addr
impl StructuralPartialEq for Ipv6Addr
impl StructuralPartialEq for Ipv6MulticastScope
impl StructuralPartialEq for Layout
impl StructuralPartialEq for LayoutError
impl StructuralPartialEq for Locality
impl StructuralPartialEq for core::cmp::Ordering
impl StructuralPartialEq for core::sync::atomic::Ordering
impl StructuralPartialEq for ParseBoolError
impl StructuralPartialEq for ParseCharError
impl StructuralPartialEq for ParseIntError
impl StructuralPartialEq for PhantomPinned
impl StructuralPartialEq for RangeFull
impl StructuralPartialEq for RawWaker
impl StructuralPartialEq for RawWakerVTable
impl StructuralPartialEq for SearchStep
impl StructuralPartialEq for Sign
impl StructuralPartialEq for SimdAlign
impl StructuralPartialEq for SocketAddr
impl StructuralPartialEq for SocketAddrV4
impl StructuralPartialEq for SocketAddrV6
impl StructuralPartialEq for TryFromCharError
impl StructuralPartialEq for TryFromFloatSecsError
impl StructuralPartialEq for TryFromIntError
impl StructuralPartialEq for Utf8Error
impl StructuralPartialEq for bool
impl StructuralPartialEq for char
impl StructuralPartialEq for i8
impl StructuralPartialEq for i16
impl StructuralPartialEq for i32
impl StructuralPartialEq for i64
impl StructuralPartialEq for i128
impl StructuralPartialEq for isize
impl StructuralPartialEq for str
impl StructuralPartialEq for svpattern
Available on AArch64 or ARM64EC only.
impl StructuralPartialEq for svprfop
Available on AArch64 or ARM64EC only.
impl StructuralPartialEq for u8
impl StructuralPartialEq for u16
impl StructuralPartialEq for u32
impl StructuralPartialEq for u64
impl StructuralPartialEq for u128
impl StructuralPartialEq for usize
impl<'a> StructuralPartialEq for PhantomContravariantLifetime<'a>
impl<'a> StructuralPartialEq for PhantomCovariantLifetime<'a>
impl<'a> StructuralPartialEq for PhantomInvariantLifetime<'a>
impl<'a> StructuralPartialEq for Utf8Chunk<'a>
impl<'a> StructuralPartialEq for Utf8Pattern<'a>
impl<B, C> StructuralPartialEq for ControlFlow<B, C>
impl<Idx> StructuralPartialEq for core::ops::Range<Idx>
impl<Idx> StructuralPartialEq for core::range::Range<Idx>
impl<Idx> StructuralPartialEq for core::ops::RangeFrom<Idx>
impl<Idx> StructuralPartialEq for core::range::RangeFrom<Idx>
impl<Idx> StructuralPartialEq for core::ops::RangeInclusive<Idx>
impl<Idx> StructuralPartialEq for core::range::RangeInclusive<Idx>
impl<Idx> StructuralPartialEq for RangeTo<Idx>
impl<Idx> StructuralPartialEq for core::ops::RangeToInclusive<Idx>
impl<Idx> StructuralPartialEq for core::range::RangeToInclusive<Idx>
impl<T, E> StructuralPartialEq for Result<T, E>
impl<T, const N: usize> StructuralPartialEq for [T; N]
impl<T: ?Sized> StructuralPartialEq for ManuallyDrop<T>
impl<T: ?Sized> StructuralPartialEq for MaybeDangling<T>
impl<T: PointeeSized> StructuralPartialEq for &T
impl<T: PointeeSized> StructuralPartialEq for PhantomData<T>
impl<T: PointeeSized> StructuralPartialEq for TraitImpl<T>
impl<T> StructuralPartialEq for (T₁, T₂, …, Tₙ)
This trait is implemented for tuples up to twelve items long.