Trait StructuralPartialEq

Help

pub trait StructuralPartialEq { }

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

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 equialent 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.

Trait StructuralPartialEqCopy item path

Implementors§

impl StructuralPartialEq for AsciiChar

impl StructuralPartialEq for BacktraceStatus

impl StructuralPartialEq for creusot_contracts::std::cmp::Ordering

impl StructuralPartialEq for VarError

impl StructuralPartialEq for FromBytesWithNulError

impl StructuralPartialEq for ErrorKind

impl StructuralPartialEq for SeekFrom

impl StructuralPartialEq for IpAddr

impl StructuralPartialEq for Ipv6MulticastScope

impl StructuralPartialEq for Shutdown

impl StructuralPartialEq for SocketAddr

impl StructuralPartialEq for FpCategory

impl StructuralPartialEq for IntErrorKind

impl StructuralPartialEq for BacktraceStyle

impl StructuralPartialEq for GetManyMutError

impl StructuralPartialEq for SearchStep

impl StructuralPartialEq for TryReserveErrorKind

impl StructuralPartialEq for core::fmt::Alignment

impl StructuralPartialEq for DebugAsHex

impl StructuralPartialEq for core::fmt::Sign

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

impl StructuralPartialEq for RecvTimeoutError

impl StructuralPartialEq for TryRecvError

impl StructuralPartialEq for _Unwind_Action

impl StructuralPartialEq for _Unwind_Reason_Code

impl StructuralPartialEq for num_bigint::bigint::Sign

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 ()

impl StructuralPartialEq for usize

impl StructuralPartialEq for AllocError

impl StructuralPartialEq for Layout

impl StructuralPartialEq for LayoutError

impl StructuralPartialEq for CpuidResult

impl StructuralPartialEq for CharTryFromError

impl StructuralPartialEq for DecodeUtf16Error

impl StructuralPartialEq for ParseCharError

impl StructuralPartialEq for TryFromCharError

impl StructuralPartialEq for CStr

impl StructuralPartialEq for CString

impl StructuralPartialEq for FromBytesUntilNulError

impl StructuralPartialEq for FromVecWithNulError

impl StructuralPartialEq for IntoStringError

impl StructuralPartialEq for NulError

impl StructuralPartialEq for FileType

impl StructuralPartialEq for Permissions

impl StructuralPartialEq for Assume

impl StructuralPartialEq for AddrParseError

impl StructuralPartialEq for Ipv4Addr

impl StructuralPartialEq for Ipv6Addr

impl StructuralPartialEq for SocketAddrV4

impl StructuralPartialEq for SocketAddrV6

impl StructuralPartialEq for ParseFloatError

impl StructuralPartialEq for ParseIntError

impl StructuralPartialEq for TryFromIntError

impl StructuralPartialEq for RangeFull

impl StructuralPartialEq for UCred

impl StructuralPartialEq for StripPrefixError

impl StructuralPartialEq for String

impl StructuralPartialEq for ExitCode

impl StructuralPartialEq for ExitStatus

impl StructuralPartialEq for ExitStatusError

impl StructuralPartialEq for Output

impl StructuralPartialEq for creusot_contracts::std::ptr::Alignment

impl StructuralPartialEq for ParseBoolError

impl StructuralPartialEq for Utf8Error

Trait StructuralPartialEq

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

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

impl<T> StructuralPartialEq for NonZero<T>
where T: ZeroablePrimitive + StructuralPartialEq,

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