pub trait StructuralPartialEq { }
🔬This is a nightly-only experimental API. (structural_match #31434)
Expand description

Required trait for constants used in pattern matches.

Any type that derives PartialEq automatically implements this trait, regardless of whether its type-parameters implement Eq.

If a const item contains some type that does not implement this trait, then that type either (1.) does not implement PartialEq (which means the constant will not provide that comparison method, which code generation assumes is available), or (2.) it implements its own version of PartialEq (which we assume does not conform to a structural-equality comparison).

In either of the two scenarios above, we reject usage of such a constant in a pattern match.

See also the structural match RFC, and issue 63438 which motivated migrating from attribute-based design to this trait.

Implementors§

source§

impl StructuralPartialEq for hashbrown::TryReserveError

source§

impl StructuralPartialEq for AsciiChar

1.65.0 · source§

impl StructuralPartialEq for BacktraceStatus

source§

impl StructuralPartialEq for PrintFmt

1.0.0 · source§

impl StructuralPartialEq for std::cmp::Ordering

source§

impl StructuralPartialEq for TryReserveErrorKind

1.0.0 · source§

impl StructuralPartialEq for VarError

1.28.0 · source§

impl StructuralPartialEq for std::fmt::Alignment

1.0.0 · source§

impl StructuralPartialEq for SeekFrom

1.0.0 · source§

impl StructuralPartialEq for ErrorKind

1.7.0 · source§

impl StructuralPartialEq for IpAddr

source§

impl StructuralPartialEq for Ipv6MulticastScope

1.0.0 · source§

impl StructuralPartialEq for Shutdown

1.0.0 · source§

impl StructuralPartialEq for SocketAddr

1.0.0 · source§

impl StructuralPartialEq for FpCategory

1.55.0 · source§

impl StructuralPartialEq for IntErrorKind

source§

impl StructuralPartialEq for BacktraceStyle

source§

impl StructuralPartialEq for std::path::State

source§

impl StructuralPartialEq for Which

source§

impl StructuralPartialEq for SearchStep

1.0.0 · source§

impl StructuralPartialEq for std::sync::atomic::Ordering

source§

impl StructuralPartialEq for Selected

1.12.0 · source§

impl StructuralPartialEq for RecvTimeoutError

1.0.0 · source§

impl StructuralPartialEq for TryRecvError

source§

impl StructuralPartialEq for ReparsePoint

source§

impl StructuralPartialEq for std::sys::windows::pipe::State

source§

impl StructuralPartialEq for bool

source§

impl StructuralPartialEq for char

source§

impl StructuralPartialEq for i8

source§

impl StructuralPartialEq for i16

source§

impl StructuralPartialEq for i32

source§

impl StructuralPartialEq for i64

source§

impl StructuralPartialEq for i128

source§

impl StructuralPartialEq for isize

source§

impl StructuralPartialEq for str

source§

impl StructuralPartialEq for u8

source§

impl StructuralPartialEq for u16

source§

impl StructuralPartialEq for u32

source§

impl StructuralPartialEq for u64

source§

impl StructuralPartialEq for u128

source§

impl StructuralPartialEq for ()

source§

impl StructuralPartialEq for usize

1.27.0 · source§

impl StructuralPartialEq for CpuidResult

1.69.0 · source§

impl StructuralPartialEq for FromBytesUntilNulError

source§

impl StructuralPartialEq for AllocError

1.28.0 · source§

impl StructuralPartialEq for Layout

1.50.0 · source§

impl StructuralPartialEq for LayoutError

1.34.0 · source§

impl StructuralPartialEq for CharTryFromError

1.9.0 · source§

impl StructuralPartialEq for DecodeUtf16Error

1.20.0 · source§

impl StructuralPartialEq for ParseCharError

1.59.0 · source§

impl StructuralPartialEq for TryFromCharError

1.57.0 · source§

impl StructuralPartialEq for std::collections::TryReserveError

1.64.0 · source§

impl StructuralPartialEq for CString

1.64.0 · source§

impl StructuralPartialEq for FromBytesWithNulError

1.64.0 · source§

impl StructuralPartialEq for FromVecWithNulError

1.64.0 · source§

impl StructuralPartialEq for IntoStringError

1.64.0 · source§

impl StructuralPartialEq for NulError

1.0.0 · source§

impl StructuralPartialEq for Error

1.1.0 · source§

impl StructuralPartialEq for std::fs::FileType

1.0.0 · source§

impl StructuralPartialEq for Permissions

source§

impl StructuralPartialEq for Assume

1.0.0 · source§

impl StructuralPartialEq for AddrParseError

1.0.0 · source§

impl StructuralPartialEq for Ipv4Addr

1.0.0 · source§

impl StructuralPartialEq for Ipv6Addr

1.0.0 · source§

impl StructuralPartialEq for SocketAddrV4

1.0.0 · source§

impl StructuralPartialEq for SocketAddrV6

1.34.0 · source§

impl StructuralPartialEq for NonZeroI8

1.34.0 · source§

impl StructuralPartialEq for NonZeroI16

1.34.0 · source§

impl StructuralPartialEq for NonZeroI32

1.34.0 · source§

impl StructuralPartialEq for NonZeroI64

1.34.0 · source§

impl StructuralPartialEq for NonZeroI128

1.34.0 · source§

impl StructuralPartialEq for NonZeroIsize

1.28.0 · source§

impl StructuralPartialEq for NonZeroU8

1.28.0 · source§

impl StructuralPartialEq for NonZeroU16

1.28.0 · source§

impl StructuralPartialEq for NonZeroU32

1.28.0 · source§

impl StructuralPartialEq for NonZeroU64

1.28.0 · source§

impl StructuralPartialEq for NonZeroU128

1.28.0 · source§

impl StructuralPartialEq for NonZeroUsize

1.0.0 · source§

impl StructuralPartialEq for ParseFloatError

1.0.0 · source§

impl StructuralPartialEq for ParseIntError

1.34.0 · source§

impl StructuralPartialEq for TryFromIntError

1.0.0 · source§

impl StructuralPartialEq for RangeFull

1.63.0 · source§

impl StructuralPartialEq for InvalidHandleError

Available on Windows only.
1.63.0 · source§

impl StructuralPartialEq for NullHandleError

Available on Windows only.
1.7.0 · source§

impl StructuralPartialEq for StripPrefixError

1.0.0 · source§

impl StructuralPartialEq for std::process::ExitStatus

source§

impl StructuralPartialEq for std::process::ExitStatusError

1.0.0 · source§

impl StructuralPartialEq for Output

source§

impl StructuralPartialEq for std::ptr::Alignment

1.0.0 · source§

impl StructuralPartialEq for ParseBoolError

1.0.0 · source§

impl StructuralPartialEq for Utf8Error

1.0.0 · source§

impl StructuralPartialEq for FromUtf8Error

1.0.0 · source§

impl StructuralPartialEq for String

1.5.0 · source§

impl StructuralPartialEq for WaitTimeoutResult

source§

impl StructuralPartialEq for Operation

1.0.0 · source§

impl StructuralPartialEq for RecvError

source§

impl StructuralPartialEq for FilePermissions

source§

impl StructuralPartialEq for std::sys::windows::fs::FileType

source§

impl StructuralPartialEq for ExitCode

source§

impl StructuralPartialEq for std::sys::windows::process::ExitStatus

source§

impl StructuralPartialEq for std::sys::windows::process::ExitStatusError

source§

impl StructuralPartialEq for std::sys::windows::time::Instant

source§

impl StructuralPartialEq for CodePoint

source§

impl StructuralPartialEq for Wtf8

source§

impl StructuralPartialEq for Wtf8Buf

1.36.0 · source§

impl StructuralPartialEq for RawWaker

1.36.0 · source§

impl StructuralPartialEq for RawWakerVTable

1.26.0 · source§

impl StructuralPartialEq for AccessError

1.19.0 · source§

impl StructuralPartialEq for ThreadId

1.3.0 · source§

impl StructuralPartialEq for Duration

1.8.0 · source§

impl StructuralPartialEq for std::time::Instant

1.8.0 · source§

impl StructuralPartialEq for SystemTime

1.66.0 · source§

impl StructuralPartialEq for TryFromFloatSecsError

1.33.0 · source§

impl StructuralPartialEq for PhantomPinned

1.0.0 · source§

impl<'a> StructuralPartialEq for Component<'a>

1.0.0 · source§

impl<'a> StructuralPartialEq for Prefix<'a>

1.10.0 · source§

impl<'a> StructuralPartialEq for Location<'a>

source§

impl<'a> StructuralPartialEq for Utf8Chunk<'a>

source§

impl<A, Z, Y, X, W, V, U, T> StructuralPartialEq for (A, Z, Y, X, W, V, U, T)

source§

impl<B, A, Z, Y, X, W, V, U, T> StructuralPartialEq for (B, A, Z, Y, X, W, V, U, T)

1.55.0 · source§

impl<B, C> StructuralPartialEq for ControlFlow<B, C>

source§

impl<C, B, A, Z, Y, X, W, V, U, T> StructuralPartialEq for (C, B, A, Z, Y, X, W, V, U, T)

source§

impl<D, C, B, A, Z, Y, X, W, V, U, T> StructuralPartialEq for (D, C, B, A, Z, Y, X, W, V, U, T)

source§

impl<E, D, C, B, A, Z, Y, X, W, V, U, T> StructuralPartialEq for (E, D, C, B, A, Z, Y, X, W, V, U, T)

1.0.0 · source§

impl<Idx> StructuralPartialEq for Range<Idx>

1.0.0 · source§

impl<Idx> StructuralPartialEq for RangeFrom<Idx>

1.26.0 · source§

impl<Idx> StructuralPartialEq for RangeInclusive<Idx>

1.0.0 · source§

impl<Idx> StructuralPartialEq for RangeTo<Idx>

1.26.0 · source§

impl<Idx> StructuralPartialEq for RangeToInclusive<Idx>

1.17.0 · source§

impl<T> StructuralPartialEq for Bound<T>

1.0.0 · source§

impl<T> StructuralPartialEq for Option<T>

source§

impl<T> StructuralPartialEq for SendTimeoutError<T>

1.0.0 · source§

impl<T> StructuralPartialEq for TrySendError<T>

1.36.0 · source§

impl<T> StructuralPartialEq for Poll<T>

source§

impl<T> StructuralPartialEq for &Twhere T: ?Sized,

source§

impl<T> StructuralPartialEq for [T]

source§

impl<T> StructuralPartialEq for (T₁, T₂, …, Tₙ)

This trait is implemented for tuples up to twelve items long.

1.19.0 · source§

impl<T> StructuralPartialEq for Reverse<T>

1.0.0 · source§

impl<T> StructuralPartialEq for Cursor<T>

1.20.0 · source§

impl<T> StructuralPartialEq for ManuallyDrop<T>where T: ?Sized,

source§

impl<T> StructuralPartialEq for Saturating<T>

1.0.0 · source§

impl<T> StructuralPartialEq for Wrapping<T>

source§

impl<T> StructuralPartialEq for CachePadded<T>

1.0.0 · source§

impl<T> StructuralPartialEq for SendError<T>

source§

impl<T> StructuralPartialEq for PhantomData<T>where T: ?Sized,

1.0.0 · source§

impl<T, E> StructuralPartialEq for Result<T, E>

source§

impl<T, const N: usize> StructuralPartialEq for [T; N]

source§

impl<U, T> StructuralPartialEq for (U, T)

source§

impl<V, U, T> StructuralPartialEq for (V, U, T)

source§

impl<W, V, U, T> StructuralPartialEq for (W, V, U, T)

source§

impl<X, W, V, U, T> StructuralPartialEq for (X, W, V, U, T)

source§

impl<Y, R> StructuralPartialEq for GeneratorState<Y, R>

source§

impl<Y, X, W, V, U, T> StructuralPartialEq for (Y, X, W, V, U, T)

source§

impl<Z, Y, X, W, V, U, T> StructuralPartialEq for (Z, Y, X, W, V, U, T)