//@ check-pass
#![feature(const_trait_impl, const_cmp)]

#[const_trait]
trait MyPartialEq {
    fn eq(&self, other: &Self) -> bool;
}

impl<T: [const] PartialEq> const MyPartialEq for T {
    fn eq(&self, other: &Self) -> bool {
        PartialEq::eq(self, other)
    }
}

fn main() {}