Trait wasmer_types::lib::std::marker::StructuralEq
source · pub trait StructuralEq { }
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.
Implementors§
impl StructuralEq for RelocationKind
impl StructuralEq for RelocationTarget
impl StructuralEq for CustomSectionProtection
impl StructuralEq for Symbol
impl StructuralEq for CompiledFunctionUnwindInfo
impl StructuralEq for Aarch64Architecture
impl StructuralEq for Architecture
impl StructuralEq for BinaryFormat
impl StructuralEq for CallingConvention
impl StructuralEq for Endianness
impl StructuralEq for Environment
impl StructuralEq for ExportIndex
impl StructuralEq for ExternType
impl StructuralEq for ImportIndex
impl StructuralEq for LibCall
impl StructuralEq for MemoryStyle
impl StructuralEq for Mutability
impl StructuralEq for OperatingSystem
impl StructuralEq for PointerWidth
impl StructuralEq for TableStyle
impl StructuralEq for TrapCode
impl StructuralEq for Type
impl StructuralEq for Vendor
impl StructuralEq for MemoryError
impl StructuralEq for wasmer_types::lib::std::cmp::Ordering
impl StructuralEq for wasmer_types::lib::std::fmt::Alignment
impl StructuralEq for wasmer_types::lib::std::sync::atomic::Ordering
impl StructuralEq for RecvTimeoutError
impl StructuralEq for TryRecvError
impl StructuralEq for TryReserveErrorKind
impl StructuralEq for AsciiChar
impl StructuralEq for Which
impl StructuralEq for IpAddr
impl StructuralEq for Ipv6MulticastScope
impl StructuralEq for SocketAddr
impl StructuralEq for FpCategory
impl StructuralEq for IntErrorKind
impl StructuralEq for SearchStep
impl StructuralEq for BacktraceStatus
impl StructuralEq for VarError
impl StructuralEq for SeekFrom
impl StructuralEq for ErrorKind
impl StructuralEq for Shutdown
impl StructuralEq for BacktraceStyle
impl StructuralEq for ArchivedIpAddr
impl StructuralEq for ArchivedSocketAddr
impl StructuralEq for OffsetError
impl StructuralEq for CDataModel
impl StructuralEq for Size
impl StructuralEq for ParseError
impl StructuralEq for ArmArchitecture
impl StructuralEq for CustomVendor
impl StructuralEq for Mips32Architecture
impl StructuralEq for Mips64Architecture
impl StructuralEq for Riscv32Architecture
impl StructuralEq for Riscv64Architecture
impl StructuralEq for X86_32Architecture
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 FunctionAddressMap
impl StructuralEq for InstructionAddressMap
impl StructuralEq for Compilation
impl StructuralEq for CompiledFunction
impl StructuralEq for CompiledFunctionFrameInfo
impl StructuralEq for Dwarf
impl StructuralEq for FunctionBody
impl StructuralEq for CompileModuleInfo
impl StructuralEq for Relocation
impl StructuralEq for CustomSection
impl StructuralEq for SectionBody
impl StructuralEq for SectionIndex
impl StructuralEq for Target
impl StructuralEq for Bytes
impl StructuralEq for CustomSectionIndex
impl StructuralEq for DataIndex
impl StructuralEq for DataInitializerLocation
impl StructuralEq for ElemIndex
impl StructuralEq for Features
impl StructuralEq for FunctionIndex
impl StructuralEq for FunctionType
impl StructuralEq for GlobalIndex
impl StructuralEq for GlobalType
impl StructuralEq for ImportKey
impl StructuralEq for LocalFunctionIndex
impl StructuralEq for LocalGlobalIndex
impl StructuralEq for LocalMemoryIndex
impl StructuralEq for LocalTableIndex
impl StructuralEq for MemoryIndex
impl StructuralEq for MemoryType
impl StructuralEq for OwnedDataInitializer
impl StructuralEq for PageCountOutOfRange
impl StructuralEq for Pages
impl StructuralEq for SignatureIndex
impl StructuralEq for SourceLoc
impl StructuralEq for StoreId
impl StructuralEq for TableIndex
impl StructuralEq for TableInitializer
impl StructuralEq for TableType
impl StructuralEq for TrapInformation
impl StructuralEq for Triple
impl StructuralEq for V128
impl StructuralEq for TypeId
impl StructuralEq for wasmer_types::lib::std::fmt::Error
impl StructuralEq for Assume
impl StructuralEq for RangeFull
impl StructuralEq for wasmer_types::lib::std::ptr::Alignment
impl StructuralEq for FromUtf8Error
impl StructuralEq for String
impl StructuralEq for RecvError
impl StructuralEq for WaitTimeoutResult
impl StructuralEq for alloc::collections::TryReserveError
impl StructuralEq for CString
impl StructuralEq for FromVecWithNulError
impl StructuralEq for IntoStringError
impl StructuralEq for NulError
impl StructuralEq for Layout
impl StructuralEq for LayoutError
impl StructuralEq for AllocError
impl StructuralEq for CharTryFromError
impl StructuralEq for ParseCharError
impl StructuralEq for DecodeUtf16Error
impl StructuralEq for TryFromCharError
impl StructuralEq for CpuidResult
impl StructuralEq for FromBytesUntilNulError
impl StructuralEq for FromBytesWithNulError
impl StructuralEq for Ipv4Addr
impl StructuralEq for Ipv6Addr
impl StructuralEq for AddrParseError
impl StructuralEq for SocketAddrV4
impl StructuralEq for SocketAddrV6
impl StructuralEq for ParseFloatError
impl StructuralEq for ParseIntError
impl StructuralEq for TryFromIntError
impl StructuralEq for NonZeroI8
impl StructuralEq for NonZeroI16
impl StructuralEq for NonZeroI32
impl StructuralEq for NonZeroI64
impl StructuralEq for NonZeroI128
impl StructuralEq for NonZeroIsize
impl StructuralEq for NonZeroU8
impl StructuralEq for NonZeroU16
impl StructuralEq for NonZeroU32
impl StructuralEq for NonZeroU64
impl StructuralEq for NonZeroU128
impl StructuralEq for NonZeroUsize
impl StructuralEq for ParseBoolError
impl StructuralEq for core::str::error::Utf8Error
impl StructuralEq for Duration
impl StructuralEq for TryFromFloatSecsError
impl StructuralEq for FileType
impl StructuralEq for Permissions
impl StructuralEq for UCred
impl StructuralEq for StripPrefixError
impl StructuralEq for ExitStatus
impl StructuralEq for ExitStatusError
impl StructuralEq for Output
impl StructuralEq for AccessError
impl StructuralEq for ThreadId
impl StructuralEq for Instant
impl StructuralEq for SystemTime
impl StructuralEq for getrandom::error::Error
impl StructuralEq for ArchivedIpv4Addr
impl StructuralEq for ArchivedIpv6Addr
impl StructuralEq for ArchivedSocketAddrV4
impl StructuralEq for ArchivedSocketAddrV6
impl StructuralEq for ArchivedDuration
impl StructuralEq for DefaultToHost
impl StructuralEq for DefaultToUnknown
impl StructuralEq for PhantomPinned
impl StructuralEq for TryReserveError
impl StructuralEq for Utf8Error
impl StructuralEq for Utf8Error
impl<'a> StructuralEq for Component<'a>
impl<'a> StructuralEq for Prefix<'a>
impl<'a> StructuralEq for Location<'a>
impl<'a> StructuralEq for Utf8Chunk<'a>
impl<'a> StructuralEq for PrefixComponent<'a>
impl<B, C> StructuralEq for ControlFlow<B, C>
impl<Idx> StructuralEq for Range<Idx>
impl<Idx> StructuralEq for RangeFrom<Idx>
impl<Idx> StructuralEq for RangeInclusive<Idx>
impl<Idx> StructuralEq for RangeTo<Idx>
impl<Idx> StructuralEq for RangeToInclusive<Idx>
impl<K> StructuralEq for ArchivedBTreeSet<K>
impl<K, V> StructuralEq for PrimaryMap<K, V>where K: EntityRef,
impl<K, V> StructuralEq for Entry<K, V>
impl<T> StructuralEq for Bound<T>
impl<T> StructuralEq for TrySendError<T>
impl<T> StructuralEq for Option<T>
impl<T> StructuralEq for Poll<T>
impl<T> StructuralEq for &Twhere T: ?Sized,
impl<T> StructuralEq for [T]
impl<T> StructuralEq for (T₁, T₂, …, Tₙ)
This trait is implemented for tuples up to twelve items long.