pub trait PartialOrdIs<Rhs: PointeeSized = Self>: PartialOrd<Rhs> + PointeeSized {
// Required methods
spec fn is_lt(&self, other: &Rhs) -> bool;
spec fn is_le(&self, other: &Rhs) -> bool;
spec fn is_gt(&self, other: &Rhs) -> bool;
spec fn is_ge(&self, other: &Rhs) -> bool;
}Required Methods§
Dyn Compatibility§
This trait is dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety".