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 AccessError
impl StructuralPartialEq for AddrParseError
impl StructuralPartialEq for std::mem::Alignment
impl StructuralPartialEq for std::fmt::Alignment
impl StructuralPartialEq for AllocError
impl StructuralPartialEq for AsciiChar
impl StructuralPartialEq for Assume
impl StructuralPartialEq for AtomicOrdering
impl StructuralPartialEq for BacktraceStatus
impl StructuralPartialEq for BacktraceStyle
impl StructuralPartialEq for CStr
impl StructuralPartialEq for CString
impl StructuralPartialEq for CharCase
impl StructuralPartialEq for CharTryFromError
impl StructuralPartialEq for CpuidResult
impl StructuralPartialEq for DebugAsHex
impl StructuralPartialEq for DecodeUtf16Error
impl StructuralPartialEq for Duration
impl StructuralPartialEq for Error
impl StructuralPartialEq for ErrorKind
impl StructuralPartialEq for ExitCode
impl StructuralPartialEq for ExitStatus
impl StructuralPartialEq for ExitStatusError
impl StructuralPartialEq for FieldId
impl StructuralPartialEq for FileType
impl StructuralPartialEq for FormattingOptions
impl StructuralPartialEq for FpCategory
impl StructuralPartialEq for FromBytesUntilNulError
impl StructuralPartialEq for FromBytesWithNulError
impl StructuralPartialEq for FromUtf8Error
impl StructuralPartialEq for FromVecWithNulError
impl StructuralPartialEq for GetDisjointMutError
impl StructuralPartialEq for Instant
impl StructuralPartialEq for IntErrorKind
impl StructuralPartialEq for IntoStringError
impl StructuralPartialEq for InvalidHandleError
Available on Windows only.
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 NormalizeError
impl StructuralPartialEq for NulError
impl StructuralPartialEq for NullHandleError
Available on Windows only.
impl StructuralPartialEq for std::cmp::Ordering
impl StructuralPartialEq for std::sync::atomic::Ordering
impl StructuralPartialEq for Output
impl StructuralPartialEq for ParseBoolError
impl StructuralPartialEq for ParseCharError
impl StructuralPartialEq for ParseFloatError
impl StructuralPartialEq for ParseIntError
impl StructuralPartialEq for Permissions
impl StructuralPartialEq for PhantomPinned
impl StructuralPartialEq for RangeFull
impl StructuralPartialEq for RawWaker
impl StructuralPartialEq for RawWakerVTable
impl StructuralPartialEq for RecvError
impl StructuralPartialEq for RecvTimeoutError
impl StructuralPartialEq for SearchStep
impl StructuralPartialEq for SeekFrom
impl StructuralPartialEq for Shutdown
impl StructuralPartialEq for Sign
impl StructuralPartialEq for SimdAlign
impl StructuralPartialEq for SocketAddr
impl StructuralPartialEq for SocketAddrV4
impl StructuralPartialEq for SocketAddrV6
impl StructuralPartialEq for String
impl StructuralPartialEq for StripPrefixError
impl StructuralPartialEq for SystemTime
impl StructuralPartialEq for ThreadId
impl StructuralPartialEq for TryFromCharError
impl StructuralPartialEq for TryFromFloatSecsError
impl StructuralPartialEq for TryFromIntError
impl StructuralPartialEq for TryRecvError
impl StructuralPartialEq for TryReserveError
impl StructuralPartialEq for TryReserveErrorKind
impl StructuralPartialEq for UCred
Available on Unix only.
impl StructuralPartialEq for UnorderedKeyError
impl StructuralPartialEq for Utf8Error
impl StructuralPartialEq for VarError
impl StructuralPartialEq for WaitTimeoutResult
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 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 Component<'a>
impl<'a> StructuralPartialEq for PhantomContravariantLifetime<'a>
impl<'a> StructuralPartialEq for PhantomCovariantLifetime<'a>
impl<'a> StructuralPartialEq for PhantomInvariantLifetime<'a>
impl<'a> StructuralPartialEq for Prefix<'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 std::ops::Range<Idx>
impl<Idx> StructuralPartialEq for std::range::Range<Idx>
impl<Idx> StructuralPartialEq for std::ops::RangeFrom<Idx>
impl<Idx> StructuralPartialEq for std::range::RangeFrom<Idx>
impl<Idx> StructuralPartialEq for std::ops::RangeInclusive<Idx>
impl<Idx> StructuralPartialEq for std::range::RangeInclusive<Idx>
impl<Idx> StructuralPartialEq for RangeTo<Idx>
impl<Idx> StructuralPartialEq for std::ops::RangeToInclusive<Idx>
impl<Idx> StructuralPartialEq for std::range::RangeToInclusive<Idx>
impl<T, E> StructuralPartialEq for Result<T, E>
impl<T, const N: usize> StructuralPartialEq for [T; N]
impl<T> StructuralPartialEq for &Twhere
T: ?Sized,
impl<T> StructuralPartialEq for (T₁, T₂, …, Tₙ)
This trait is implemented for tuples up to twelve items long.