pub trait ExPartialEq<Rhs: ?Sized = Self> {
type ExternalTraitSpecificationFor: PartialEq<Rhs>;
// Required methods
spec fn obeys_eq_spec() -> bool;
spec fn eq_spec(&self, other: &Rhs) -> bool;
exec fn eq(&self, other: &Rhs) -> r : bool;
exec fn ne(&self, other: &Rhs) -> r : bool;
}
Required Associated Types§
type ExternalTraitSpecificationFor: PartialEq<Rhs>
Required Methods§
Sourcespec fn obeys_eq_spec() -> bool
spec fn obeys_eq_spec() -> bool
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.