Blandy incorporates the following diagram in his Programming Rust book: [Screen Shot 2023-05-26 at 11.41.58 AM] Based on the diagram above, it seems that all types that impl Sync also impl Send. However, the MutexGuard type seems to defy this sort of assertion given that that we see !Send: MutexG…

The diagram is misleading. Sync does not imply Send, as you note for MutexGuard. There are other examples where you might want this (e.g. OpenSHMEM in funneled mode).

Question about Sync and Send types

quinedot May 26, 2023, 7:06pm 3

You may find value in this overview of the relationship between Send and Sync.

Topic		Replies	Views
Why impl Sync for Mutex requires T: Send help	19	4768	June 14, 2022
How can a MutexGuard possibly be Sync? help	24	1419	June 12, 2024
Why `MutexGuard` impls `Sync` but not `Send`? help	3	761	December 12, 2023
Why these particular rules for `Send`, `Sync`, and borrowing references? help	4	238	April 6, 2025
T is Sync if and only if &T is Send? help	8	1251	November 25, 2021

Question about Sync and Send types

Related topics