r? @ibraheemdev

rustbot has assigned @ibraheemdev.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Here is the documentation from PartialEq

The pointed equivalence is not related to symmetry here. Should I move it out from the symmetry bullet point in Eq as well?

Yes, it is indeed unrelated. You could move it to a separate bullet point, maybe consistency.

This PR was rebased onto a different main commit. Here's a range-diff highlighting what actually changed.

Rebasing is a normal part of keeping PRs up to date, so no action is needed—this note is just to help reviewers.

I had one job