unsafe trait IsRawEqComparable<U>: PartialEq<U> { }
Expand description

U exists on here mostly because min_specialization didn’t let me repeat the T type parameter in the above specialization, so instead the T == U constraint comes from the impls on this.


  • Neither Self nor U has any padding.
  • Self and U have the same layout.
  • Self: PartialEq<U> is byte-wise (this means no floats, among other things)