Self, но может быть переопределен
Так он вроде Rhs=Self, а не Rhs=?Sized как у PartialEq? Или я что-то не так понял
он ровно такой же как у PartialEq : Селф по умолчанию и с ?Sized требованием
Rhs=Self это аргумент по умолчанию. Это просто значит что T: PartialOrd это тоже самое, что T: PartialOrd<T>. Более того, в этом плане определения PartialOrd и PartialEq полностью идентичны
А да, я не туда посмотрел, что-то не могу заимплементить PartialOrd для двух разных типов, PartialEq получилось, а это нифига, думал может нельзя
А какая ошибка, почему не получается?
Да IDE ругается что the trait bound `House: PartialEq<Village>` is not satisfied [E0277] the trait `PartialEq<Village>` is not implemented for `House` Хотя это не так, он заимплеменчен и работает. Сейчас еще немного поковыряюсь, если не смогу то скину на плейграунд.
В 99% случаев это не собственные эвристики IDE, а просто обработанный выхлоп компилятора. Так что проблема в ra/intellij-rust, либо в неочищенных кэшах/etc.
если что, ржавые ide относительно часто косячат в подобном - если код собирается, то это воплне омжет быть такой случай
Обсуждают сегодня