Generalize trait impls

Author: Jules-Bertholet

library/core/src/sync/exclusive.rs

@@ -265,12 +265,13 @@ where
 impl<T> Copy for Exclusive<T> where T: Sync + Copy {}
 
 #[unstable(feature = "exclusive_wrapper", issue = "98407")]
-impl<T> PartialEq for Exclusive<T>
+impl<T, U> PartialEq<Exclusive<U>> for Exclusive<T>
 where
-    T: Sync + PartialEq + ?Sized,
+    T: Sync + PartialEq<U> + ?Sized,
+    U: Sync + ?Sized,
 {
     #[inline]
-    fn eq(&self, other: &Self) -> bool {
+    fn eq(&self, other: &Exclusive<U>) -> bool {
         self.inner == other.inner
     }
 }
@@ -293,12 +294,13 @@ where
 }
 
 #[unstable(feature = "exclusive_wrapper", issue = "98407")]
-impl<T> PartialOrd for Exclusive<T>
+impl<T, U> PartialOrd<Exclusive<U>> for Exclusive<T>
 where
-    T: Sync + PartialOrd + ?Sized,
+    T: Sync + PartialOrd<U> + ?Sized,
+    U: Sync + ?Sized,
 {
     #[inline]
-    fn partial_cmp(&self, other: &Exclusive<T>) -> Option<Ordering> {
+    fn partial_cmp(&self, other: &Exclusive<U>) -> Option<Ordering> {
         self.inner.partial_cmp(&other.inner)
     }
 }