Ну блин, там же написано, что нужно проверить, что это нужно для проверки, что компоненты типа реализуют Eq. А текущий дерайв баунды вешает на тИповые параметры, а не на те типы, которые по факту используются
Например вот такой дерайв, ЕМНИП, не выведется:
#[derive(PartialEq, Eq)]
enum Parsed<T: FromStr> {
Ready(T),
Errored(T::Err),
}