2 #![feature(const_trait_impl, const_cmp, const_default_impls, derive_const)]
6 impl const Default for A {
7 fn default() -> A { A }
10 impl const PartialEq for A {
11 fn eq(&self, _: &A) -> bool { true }
14 #[derive_const(Default, PartialEq)]
17 const _: () = assert!(S((), A) == S::default());