Подскажите, чяднт?
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=5bbf5e6666f669a68afdc2349b9cf453

мне нужно в хеш-таблице хранить в качестве ключей структуры, если поля у структуры одинаковы - значит они должны попадать в один ключ (для этого реализован PartialEq + Eq).

Вопрос: в доке сказано что derive(Eq) должен работать, если все поля Eq (мой случай). Почему оно просит имплементировать PartialEq?
Вопрос №2: откуда переполнение стека взялось?

PartialEq тоже надо дерайвить

вы правы. кстати, после дерайва PartialEq и ошибка ушла. видимо структуры нельзя сравнивать вот так self == other?

Подскажите, пожалуйста
макросы serde генерируют такой кусок кода

_serde::Deserializer::deserialize_map(
                __deserializer,
                __Visitor {
                    marker: _serde::export::PhantomData::<Service>,
                    lifetime: _serde::export::PhantomData,
                },
            )

где искать реализацию deserialize_map? В самом serde я не вижу реализации Deserializer с таким методом, может не там смотрю

1. Потому что Eq: PartialEq

Можно, но за это именно PartialEq отвечает

Не знаю насчёт переполнения, но у Eq объявлен так:

trait Eq: PartialEq {}

То есть тип, реализующий Eq, также должен реализовывать PartialEq

2. Потому что внутри PartialEq используется ==, а == вызывает PartialEq

Eq это маркер-трейт
Оператор == всегда вызывает PartialEq

То, что ты хочешь, записывается как #[derive(PartialEq, Eq)]

@purgatory_x
https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=07486c76351d9891c9893fbb77872da7

но это все же реализации нет, просто объявление сигнатур

ага, это уже понял, что дерайвить нужно два трейта. а как можно глянуть как дерайв реализовал код? интересно просто если имплементировать PartialEq, то как его описывать

Дерайв генерирует тривиальные сравнения по каждому полю

Найти его код может быть не так просто, потому что это не настоящий дерайв-макрос, а встроенный.

т.е. на примере моего кода, если реализовывать самому такой трейт, то надо делать как-то так:

impl PartialEq for Request {
    fn eq(&self, other: &Request) -> bool {
        self.request_number == other.request_number &&
        self.field == other.field 
    }
}

?

impl PartialEq for Request {
    fn eq(&self, other: &Request) -> bool {
        self.request_number == other.request_number &&
        self.field == other.field 
    }
}

Вроде того, да

Tools -> Expand в плейграунде