Blandy incorporates the following diagram in his Programming Rust book:
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: MutexGuard in std::sync - Rust'_,+T%3E
Can someone please confirm?