Message 223789 - Python tracker

"the subclass provides" doesn't actually imply anything about overriding, I think.  For __eq__, though, that means that *every* class "provides" it.  Indeed, I've always thought of the rule as "the subclass goes first" with no qualification, but that's only true for __eq__.

It looks like the "subclass goes first" note is missing from the __eq__ section.

But see issue 21408.  I find it hard to reason about this algorithm, so I could be completely wrong :)