Please try not to keep suggesting supposedly missing, but actually unsound capabilities of Mutex to the standard library.
For review of your own crates, or if you're just wondering why the Sync implementation is the way it is or why Mutex is not covariant, consider asking a question on users.rust-lang.org.