Trait PartialEqIsCopy item path

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

Required Methods§

Implementors§