For negative capabilities in the Clang Thread Safety Analysis. A negative requirement uses the EXCLUSIVE_LOCKS_REQUIRED attribute, in conjunction with the ! operator, to indicate that a mutex should not be held.
A reference to this mutex, used only for thread-safety analysis.