Trait origin_studio::std::marker::StructuralEq

source ·

pub trait StructuralEq { }

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

Expand description

Required trait for constants used in pattern matches.

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

This is a hack to work around a limitation in our type system.

Background

We want to require that types of consts used in pattern matches have the attribute #[derive(PartialEq, Eq)].

In a more ideal world, we could check that requirement by just checking that the given type implements both the StructuralPartialEq trait and the Eq trait. However, you can have ADTs that do derive(PartialEq, Eq), and be a case that we want the compiler to accept, and yet the constant’s type fails to implement Eq.

Namely, a case like this:

#[derive(PartialEq, Eq)]
struct Wrap<X>(X);

fn higher_order(_: &()) { }

const CFN: Wrap<fn(&())> = Wrap(higher_order);

fn main() {
    match CFN {
        CFN => {}
        _ => {}
    }
}

(The problem in the above code is that Wrap<fn(&())> does not implement PartialEq, nor Eq, because for<'a> fn(&'a _) does not implement those traits.)

Therefore, we cannot rely on naive check for StructuralPartialEq and mere Eq.

As a hack to work around this, we use two separate traits injected by each of the two derives (#[derive(PartialEq)] and #[derive(Eq)]) and check that both of them are present as part of structural-match checking.

Trait origin_studio::std::marker::StructuralEq

Background

Implementors§

impl StructuralEq for AsciiChar

impl StructuralEq for origin_studio::std::cmp::Ordering

impl StructuralEq for TryReserveErrorKind

impl StructuralEq for VarError

impl StructuralEq for origin_studio::std::fmt::Alignment

impl StructuralEq for IpAddr

impl StructuralEq for Ipv6MulticastScope

impl StructuralEq for SocketAddr

impl StructuralEq for FpCategory

impl StructuralEq for IntErrorKind

impl StructuralEq for Which

impl StructuralEq for SearchStep

impl StructuralEq for origin_studio::std::sync::atomic::Ordering

impl StructuralEq for rustix::backend::fs::types::Advice

impl StructuralEq for FileType

impl StructuralEq for FlockOperation

impl StructuralEq for rustix::backend::mm::types::Advice

impl StructuralEq for MembarrierCommand

impl StructuralEq for Resource

impl StructuralEq for FutexOperation

impl StructuralEq for TimerfdClockId

impl StructuralEq for ClockId

impl StructuralEq for SeekFrom

impl StructuralEq for Direction

impl StructuralEq for DumpableBehavior

impl StructuralEq for EndianMode

impl StructuralEq for FloatingPointMode

impl StructuralEq for MachineCheckMemoryCorruptionKillPolicy

impl StructuralEq for PTracer

impl StructuralEq for SpeculationFeature

impl StructuralEq for TimeStampCounterReadability

impl StructuralEq for TimingMethod

impl StructuralEq for VirtualMemoryMapAddress

impl StructuralEq for Signal

impl StructuralEq for Capability

impl StructuralEq for CoreSchedulingScope

impl StructuralEq for SecureComputingMode

impl StructuralEq for SysCallUserDispatchFastSwitch

impl StructuralEq for LinkNameSpaceType

impl StructuralEq for bool

impl StructuralEq for char

impl StructuralEq for i8

impl StructuralEq for i16

impl StructuralEq for i32

impl StructuralEq for i64

impl StructuralEq for i128

impl StructuralEq for isize

impl StructuralEq for str

impl StructuralEq for u8

impl StructuralEq for u16

impl StructuralEq for u32

impl StructuralEq for u64

impl StructuralEq for u128

impl StructuralEq for ()

impl StructuralEq for usize

impl StructuralEq for AllocError

impl StructuralEq for Layout

impl StructuralEq for LayoutError

impl StructuralEq for TypeId

impl StructuralEq for CpuidResult

impl StructuralEq for CharTryFromError

impl StructuralEq for DecodeUtf16Error

impl StructuralEq for ParseCharError

impl StructuralEq for TryFromCharError

impl StructuralEq for TryReserveError

impl StructuralEq for CString

impl StructuralEq for FromVecWithNulError

impl StructuralEq for IntoStringError

impl StructuralEq for NulError

impl StructuralEq for origin_studio::std::fmt::Error

impl StructuralEq for Assume

impl StructuralEq for AddrParseError

impl StructuralEq for Ipv4Addr

impl StructuralEq for Ipv6Addr

impl StructuralEq for SocketAddrV4

impl StructuralEq for SocketAddrV6

impl StructuralEq for NonZeroI8