Sync?

Understanding Sync bounds and Mutex in Rust

This is a medium-difficulty language-knowledge question that tests your grasp of Rust's concurrency traits, specifically the Sync trait and how it applies to synchronization primitives like Mutex. It's the kind of question that distinguishes candidates who have worked with thread-safe code from those who have only memorized trait names.

The question asks you to reason about the conditions under which a generic type wrapped in a Mutex can be safely shared across thread boundaries. This requires understanding the relationship between the inner type's properties and the safety guarantees that the mutex itself provides. Interviewers use questions like this to verify that you can reason about trait bounds compositionally, rather than treat synchronization as magic.

• The Sync trait and what it guarantees
• How mutex implementations affect the sendability of wrapped data
• The role of the inner type's properties in determining outer-type safety