Trait PartialEqIs Copy item path

pub trait PartialEqIs<Rhs: PointeeSized = Self>: PartialEq<Rhs> + PointeeSized {
    // Required methods
    spec fn is_eq(&self, other: &Rhs) -> bool;
    spec fn is_ne(&self, other: &Rhs) -> bool;
}

Required Methods§

Implementors§