1 2 3 4 5 6 7 8 9 10 11 12 13 14
// check-pass #![feature(const_trait_impl)] 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() {}