src/test/ui/rfc-2632-const-trait-impl/impl-with-default-fn-pass.rs

   1 // check-pass
   2
   3 #![feature(const_trait_impl)]
   4
   5 #[const_trait]
   6 trait Tr {
   7     fn req(&self);
   8
   9     fn default() {}
  10 }
  11
  12 impl const Tr for u8 {
  13     fn req(&self) {}
  14 }
  15
  16 macro_rules! impl_tr {
  17     ($ty: ty) => {
  18         impl const Tr for $ty {
  19             fn req(&self) {}
  20         }
  21     }
  22 }
  23
  24 impl_tr!(u64);
  25
  26 fn main() {}