With educe 0.6.0,
#[derive(educe::Educe)]
#[educe(PartialEq, Eq)]
pub struct Foo<T>(T);
results in:
impl<T> ::core::cmp::PartialEq for Foo<T> where T: ::core::cmp::PartialEq { ... }
impl<T> ::core::cmp::Eq for Foo<T> where T: ::core::cmp::PartialEq {}
This impl<T> Eq for Foo<T> where T: PartialEq looks wrong.