Trait core::marker::StructuralPartialEq

#[lang = "structural_peq"]pub trait StructuralPartialEq { }

🔬 This is a nightly-only experimental API. (structural_match #31434)

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

impl StructuralPartialEq for core::cmp::Ordering

impl StructuralPartialEq for FpCategory

impl StructuralPartialEq for IntErrorKind

impl StructuralPartialEq for SearchStep

impl StructuralPartialEq for core::sync::atomic::Ordering

impl StructuralPartialEq for AllocError

impl StructuralPartialEq for Layout

impl StructuralPartialEq for LayoutError

impl StructuralPartialEq for TypeId

impl StructuralPartialEq for CpuidResult

This is supported on x86 or x86-64 only.

impl StructuralPartialEq for CharTryFromError

impl StructuralPartialEq for DecodeUtf16Error

impl StructuralPartialEq for ParseCharError

impl StructuralPartialEq for Error

impl StructuralPartialEq for PhantomPinned

impl StructuralPartialEq for NonZeroI8

impl StructuralPartialEq for NonZeroI16

impl StructuralPartialEq for NonZeroI32

impl StructuralPartialEq for NonZeroI64

impl StructuralPartialEq for NonZeroI128

impl StructuralPartialEq for NonZeroIsize

impl StructuralPartialEq for NonZeroU8

impl StructuralPartialEq for NonZeroU16

impl StructuralPartialEq for NonZeroU32

impl StructuralPartialEq for NonZeroU64

impl StructuralPartialEq for NonZeroU128

impl StructuralPartialEq for NonZeroUsize

impl StructuralPartialEq for ParseFloatError

impl StructuralPartialEq for ParseIntError

impl StructuralPartialEq for TryFromIntError

impl StructuralPartialEq for RangeFull

impl StructuralPartialEq for NoneError

impl StructuralPartialEq for ParseBoolError

impl StructuralPartialEq for Utf8Error

impl StructuralPartialEq for RawWaker

impl StructuralPartialEq for RawWakerVTable

impl StructuralPartialEq for Duration

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

impl<'a> StructuralPartialEq for Utf8LossyChunk<'a>

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

impl<Idx> StructuralPartialEq for Range<Idx>

impl<Idx> StructuralPartialEq for RangeFrom<Idx>

impl<Idx> StructuralPartialEq for RangeInclusive<Idx>

impl<Idx> StructuralPartialEq for RangeTo<Idx>

impl<Idx> StructuralPartialEq for RangeToInclusive<Idx>

impl<T> StructuralPartialEq for Bound<T>

impl<T> StructuralPartialEq for Option<T>

impl<T> StructuralPartialEq for Poll<T>

impl<T> StructuralPartialEq for Reverse<T>

impl<T> StructuralPartialEq for Wrapping<T>

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

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

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

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

Loading content...