Add a Sync bound for GenericMutexGuard. Fixes Matthias247#53.

ammaraskar · Nov 1, 2020 · 83d601d · 83d601d
1 parent 9ee6993
commit 83d601d
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/sync/mutex.rs b/src/sync/mutex.rs
@@ -310,6 +310,13 @@ impl<MutexType: RawMutex, T> DerefMut for GenericMutexGuard<'_, MutexType, T> {
     }
 }
 
+// Safety: GenericMutexGuard may only be used across threads if the underlying
+// type is Sync.
+unsafe impl<MutexType: RawMutex, T: Sync> Sync
+    for GenericMutexGuard<'_, MutexType, T>
+{
+}
+
 /// A future which resolves when the target mutex has been successfully acquired.
 #[must_use = "futures do nothing unless polled"]
 pub struct GenericMutexLockFuture<'a, MutexType: RawMutex, T: 'a> {