pub trait StructuralPartialEq { }
🔬This is a nightly-only experimental API. (structural_match)
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 Dictionary

source§

impl StructuralPartialEq for BuiltinName

source§

impl StructuralPartialEq for OffsetValue

source§

impl StructuralPartialEq for MathError

source§

impl StructuralPartialEq for ApUpdate

source§

impl StructuralPartialEq for FpUpdate

source§

impl StructuralPartialEq for Op1Addr

source§

impl StructuralPartialEq for Opcode

source§

impl StructuralPartialEq for PcUpdate

source§

impl StructuralPartialEq for Register

source§

impl StructuralPartialEq for Res

source§

impl StructuralPartialEq for MaybeRelocatable

source§

impl StructuralPartialEq for ExecScopeError

source§

impl StructuralPartialEq for InsufficientAllocatedCellsError

source§

impl StructuralPartialEq for MemoryError

source§

impl StructuralPartialEq for RunnerError

source§

impl StructuralPartialEq for TraceError

source§

impl StructuralPartialEq for BuiltinAdditionalData

source§

impl StructuralPartialEq for CairoArg

1.0.0 · source§

impl StructuralPartialEq for cairo_vm::with_std::cmp::Ordering

1.28.0 · source§

impl StructuralPartialEq for cairo_vm::with_std::fmt::Alignment

1.0.0 · source§

impl StructuralPartialEq for FpCategory

1.55.0 · source§

impl StructuralPartialEq for IntErrorKind

source§

impl StructuralPartialEq for SearchStep

1.0.0 · source§

impl StructuralPartialEq for cairo_vm::with_std::sync::atomic::Ordering

1.12.0 · source§

impl StructuralPartialEq for RecvTimeoutError

1.0.0 · source§

impl StructuralPartialEq for TryRecvError

source§

impl StructuralPartialEq for TryReserveErrorKind

source§

impl StructuralPartialEq for AsciiChar

1.7.0 · source§

impl StructuralPartialEq for IpAddr

source§

impl StructuralPartialEq for Ipv6MulticastScope

1.0.0 · source§

impl StructuralPartialEq for SocketAddr

1.65.0 · source§

impl StructuralPartialEq for BacktraceStatus

1.0.0 · source§

impl StructuralPartialEq for VarError

1.0.0 · source§

impl StructuralPartialEq for SeekFrom

1.0.0 · source§

impl StructuralPartialEq for std::io::error::ErrorKind

1.0.0 · source§

impl StructuralPartialEq for Shutdown

source§

impl StructuralPartialEq for BacktraceStyle

source§

impl StructuralPartialEq for _Unwind_Action

source§

impl StructuralPartialEq for _Unwind_Reason_Code

source§

impl StructuralPartialEq for AllowedEnumVariants

source§

impl StructuralPartialEq for IntegerType

source§

impl StructuralPartialEq for hashbrown::TryReserveError

source§

impl StructuralPartialEq for FromHexError

source§

impl StructuralPartialEq for nom::error::ErrorKind

source§

impl StructuralPartialEq for Needed

source§

impl StructuralPartialEq for Endianness

source§

impl StructuralPartialEq for CompareResult

source§

impl StructuralPartialEq for Sign

source§

impl StructuralPartialEq for Primality

source§

impl StructuralPartialEq for BernoulliError

source§

impl StructuralPartialEq for WeightedError

source§

impl StructuralPartialEq for Category

source§

impl StructuralPartialEq for Value

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

source§

impl StructuralPartialEq for DictManager

source§

impl StructuralPartialEq for DictTracker

source§

impl StructuralPartialEq for HintReference

source§

impl StructuralPartialEq for ApTracking

source§

impl StructuralPartialEq for Attribute

source§

impl StructuralPartialEq for DebugInfo

source§

impl StructuralPartialEq for FlowTrackingData

source§

impl StructuralPartialEq for HintLocation

source§

impl StructuralPartialEq for HintParams

source§

impl StructuralPartialEq for Identifier

source§

impl StructuralPartialEq for InputFile

source§

impl StructuralPartialEq for InstructionLocation

source§

impl StructuralPartialEq for cairo_vm::serde::deserialize_program::Location

source§

impl StructuralPartialEq for Member

source§

impl StructuralPartialEq for Reference

source§

impl StructuralPartialEq for ReferenceManager

source§

impl StructuralPartialEq for ValueAddress

1.0.0 · source§

impl StructuralPartialEq for String

source§

impl StructuralPartialEq for Instruction

source§

impl StructuralPartialEq for Program

source§

impl StructuralPartialEq for Relocatable

source§

impl StructuralPartialEq for CairoPie

source§

impl StructuralPartialEq for CairoPieMetadata

source§

impl StructuralPartialEq for CairoPieVersion

source§

impl StructuralPartialEq for OutputBuiltinAdditionalData

source§

impl StructuralPartialEq for PublicMemoryPage

source§

impl StructuralPartialEq for cairo_vm::vm::runners::cairo_pie::SegmentInfo

source§

impl StructuralPartialEq for StrippedProgram

source§

impl StructuralPartialEq for ExecutionResources

source§

impl StructuralPartialEq for RunResources

source§

impl StructuralPartialEq for cairo_vm::vm::runners::cairo_runner::SegmentInfo

source§

impl StructuralPartialEq for TraceEntry

source§

impl StructuralPartialEq for Operands

source§

impl StructuralPartialEq for OperandsAddresses

source§

impl StructuralPartialEq for AllocError

1.28.0 · source§

impl StructuralPartialEq for Layout

1.50.0 · source§

impl StructuralPartialEq for LayoutError

1.0.0 · source§

impl StructuralPartialEq for cairo_vm::with_std::fmt::Error

source§

impl StructuralPartialEq for Assume

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

source§

impl StructuralPartialEq for cairo_vm::with_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 RecvError

1.5.0 · source§

impl StructuralPartialEq for WaitTimeoutResult

1.3.0 · source§

impl StructuralPartialEq for Duration

1.66.0 · source§

impl StructuralPartialEq for TryFromFloatSecsError

1.57.0 · source§

impl StructuralPartialEq for alloc::collections::TryReserveError

1.64.0 · source§

impl StructuralPartialEq for CString

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.34.0 · source§

impl StructuralPartialEq for CharTryFromError

1.20.0 · source§

impl StructuralPartialEq for ParseCharError

1.9.0 · source§

impl StructuralPartialEq for DecodeUtf16Error

1.59.0 · source§

impl StructuralPartialEq for TryFromCharError

1.27.0 · source§

impl StructuralPartialEq for CpuidResult

1.69.0 · source§

impl StructuralPartialEq for FromBytesUntilNulError

1.64.0 · source§

impl StructuralPartialEq for FromBytesWithNulError

1.0.0 · source§

impl StructuralPartialEq for Ipv4Addr

1.0.0 · source§

impl StructuralPartialEq for Ipv6Addr

1.0.0 · source§

impl StructuralPartialEq for AddrParseError

1.0.0 · source§

impl StructuralPartialEq for SocketAddrV4

1.0.0 · source§

impl StructuralPartialEq for SocketAddrV6

1.36.0 · source§

impl StructuralPartialEq for RawWaker

1.36.0 · source§

impl StructuralPartialEq for RawWakerVTable

1.1.0 · source§

impl StructuralPartialEq for FileType

1.0.0 · source§

impl StructuralPartialEq for Permissions

source§

impl StructuralPartialEq for UCred

1.7.0 · source§

impl StructuralPartialEq for StripPrefixError

1.0.0 · source§

impl StructuralPartialEq for ExitStatus

source§

impl StructuralPartialEq for ExitStatusError

1.0.0 · source§

impl StructuralPartialEq for Output

1.26.0 · source§

impl StructuralPartialEq for AccessError

1.19.0 · source§

impl StructuralPartialEq for ThreadId

1.8.0 · source§

impl StructuralPartialEq for Instant

1.8.0 · source§

impl StructuralPartialEq for SystemTime

source§

impl StructuralPartialEq for Lsb0

source§

impl StructuralPartialEq for Msb0

source§

impl StructuralPartialEq for Felt252

source§

impl StructuralPartialEq for ParseFeltError

source§

impl StructuralPartialEq for getrandom::error::Error

source§

impl StructuralPartialEq for ParseBigIntError

source§

impl StructuralPartialEq for Bernoulli

source§

impl StructuralPartialEq for StepRng

source§

impl StructuralPartialEq for SmallRng

source§

impl StructuralPartialEq for StdRng

source§

impl StructuralPartialEq for IgnoredAny

source§

impl StructuralPartialEq for serde::de::value::Error

source§

impl StructuralPartialEq for Number

source§

impl StructuralPartialEq for AffinePoint

source§

impl StructuralPartialEq for ProjectivePoint

source§

impl StructuralPartialEq for ATerm

source§

impl StructuralPartialEq for B0

source§

impl StructuralPartialEq for B1

source§

impl StructuralPartialEq for Z0

source§

impl StructuralPartialEq for Equal

source§

impl StructuralPartialEq for Greater

source§

impl StructuralPartialEq for Less

source§

impl StructuralPartialEq for UTerm

source§

impl StructuralPartialEq for ChaCha8Core

source§

impl StructuralPartialEq for ChaCha12Core

source§

impl StructuralPartialEq for ChaCha20Core

1.33.0 · source§

impl StructuralPartialEq for PhantomPinned

§

impl StructuralPartialEq for Compress

§

impl StructuralPartialEq for Const

§

impl StructuralPartialEq for EmptyFlags

§

impl StructuralPartialEq for Error

§

impl StructuralPartialEq for ErrorKind

§

impl StructuralPartialEq for FieldElement

§

impl StructuralPartialEq for InvalidBufferSize

§

impl StructuralPartialEq for InvalidLength

§

impl StructuralPartialEq for LegendreSymbol

§

impl StructuralPartialEq for MacError

§

impl StructuralPartialEq for Mut

§

impl StructuralPartialEq for NullPtrError

§

impl StructuralPartialEq for Reciprocal

§

impl StructuralPartialEq for Validate

§

impl StructuralPartialEq for u32x4_generic

§

impl StructuralPartialEq for u64x2_generic

§

impl StructuralPartialEq for u128x1_generic

§

impl StructuralPartialEq for udouble

§

impl StructuralPartialEq for vec256_storage

§

impl StructuralPartialEq for vec512_storage

1.0.0 · source§

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

1.0.0 · source§

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

source§

impl<'a> StructuralPartialEq for Unexpected<'a>

source§

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

1.10.0 · source§

impl<'a> StructuralPartialEq for core::panic::location::Location<'a>

source§

impl<'a, T, O> StructuralPartialEq for IterOnes<'a, T, O>
where T: 'a + BitStore, O: BitOrder,

source§

impl<'a, T, O> StructuralPartialEq for IterZeros<'a, T, O>
where T: 'a + BitStore, O: BitOrder,

source§

impl<A> StructuralPartialEq for ExtendedGcd<A>

1.55.0 · source§

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

source§

impl<E> StructuralPartialEq for Err<E>

source§

impl<I> StructuralPartialEq for nom::error::Error<I>

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>

§

impl<Inner> StructuralPartialEq for Frozen<Inner>
where Inner: Mutability,

source§

impl<L, R> StructuralPartialEq for Either<L, R>

§

impl<MOD, const LIMBS: usize> StructuralPartialEq for Residue<MOD, LIMBS>
where MOD: ResidueParams<LIMBS>,

source§

impl<R> StructuralPartialEq for BitEnd<R>
where R: BitRegister,

source§

impl<R> StructuralPartialEq for BitIdx<R>
where R: BitRegister,

source§

impl<R> StructuralPartialEq for BitIdxError<R>
where R: BitRegister,

source§

impl<R> StructuralPartialEq for BitMask<R>
where R: BitRegister,

source§

impl<R> StructuralPartialEq for BitPos<R>
where R: BitRegister,

source§

impl<R> StructuralPartialEq for BitSel<R>
where R: BitRegister,

1.17.0 · source§

impl<T> StructuralPartialEq for Bound<T>

1.0.0 · source§

impl<T> StructuralPartialEq for TrySendError<T>

1.0.0 · source§

impl<T> StructuralPartialEq for Option<T>

1.36.0 · source§

impl<T> StructuralPartialEq for Poll<T>

source§

impl<T> StructuralPartialEq for BitPtrError<T>
where T: BitStore,

source§

impl<T> StructuralPartialEq for BitSpanError<T>
where T: BitStore,

source§

impl<T> StructuralPartialEq for &T
where 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.20.0 · source§

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

1.74.0 · source§

impl<T> StructuralPartialEq for Saturating<T>

1.0.0 · source§

impl<T> StructuralPartialEq for cairo_vm::with_std::num::Wrapping<T>

1.0.0 · source§

impl<T> StructuralPartialEq for SendError<T>

1.0.0 · source§

impl<T> StructuralPartialEq for Cursor<T>

source§

impl<T> StructuralPartialEq for MisalignError<T>

source§

impl<T> StructuralPartialEq for TryFromBigIntError<T>

source§

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

§

impl<T> StructuralPartialEq for NonZero<T>
where T: Zero,

§

impl<T> StructuralPartialEq for Wrapping<T>

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> StructuralPartialEq for NInt<U>
where U: Unsigned + NonZero,

source§

impl<U> StructuralPartialEq for PInt<U>
where U: Unsigned + NonZero,

source§

impl<U, B> StructuralPartialEq for UInt<U, B>

source§

impl<V, A> StructuralPartialEq for TArr<V, A>

source§

impl<X> StructuralPartialEq for Uniform<X>
where X: SampleUniform,

source§

impl<X> StructuralPartialEq for UniformFloat<X>

source§

impl<X> StructuralPartialEq for UniformInt<X>

source§

impl<X> StructuralPartialEq for WeightedIndex<X>

source§

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

§

impl<Z> StructuralPartialEq for Zeroizing<Z>
where Z: Zeroize,

§

impl<const LIMBS: usize> StructuralPartialEq for DynResidue<LIMBS>

§

impl<const LIMBS: usize> StructuralPartialEq for DynResidueParams<LIMBS>

§

impl<const N: usize> StructuralPartialEq for BigInt<N>