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

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