src/test/ui/rfc-2632-const-trait-impl/call-generic-in-impl.rs

   1 // check-pass
   2 #![feature(const_trait_impl)]
   3
   4 trait MyPartialEq {
   5     fn eq(&self, other: &Self) -> bool;
   6 }
   7
   8 impl<T: ~const PartialEq> const MyPartialEq for T {
   9     fn eq(&self, other: &Self) -> bool {
  10         PartialEq::eq(self, other)
  11     }
  12 }
  13
  14 fn main() {}