As can be seen in the attached image, when not using diagnostic latches you will get a warning even when using mongo::Mutex as suggested because in that mode it is just a typedef for stdx::mutex. This linter should only consider the type named, not how it is defined.

Also, while in there, we should probably change it's text to just suggest Mutex since we shouldn't generally use the mongo:: prefix in our code.