tests/ui/rfc-2632-const-trait-impl/const_derives/derive-const-use.rs

   1 // check-pass
   2 #![feature(const_trait_impl, const_cmp, const_default_impls, derive_const)]
   3
   4 pub struct A;
   5
   6 impl const Default for A {
   7     fn default() -> A { A }
   8 }
   9
  10 impl const PartialEq for A {
  11     fn eq(&self, _: &A) -> bool { true }
  12 }
  13
  14 #[derive_const(Default, PartialEq)]
  15 pub struct S((), A);
  16
  17 const _: () = assert!(S((), A) == S::default());
  18
  19 fn main() {}