Skip to content

Commit

Permalink
Rollup merge of rust-lang#104912 - RalfJung:per, r=Mark-Simulacrum
Browse files Browse the repository at this point in the history 
PartialEq: PERs are homogeneous

PartialEq claims that it corresponds to a PER, but that is only a well-defined statement when `Rhs == Self`. There is no standard notion of PER on a relation between two different sets/types. So move this out of the first paragraph and clarify this.
  • Loading branch information
@matthiaskrgr
matthiaskrgr authored Dec 5, 2022
2 parents 80f0f8c + dab0c4a commit 6b1bcf0
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit 6b1bcf0

Please sign in to comment.