When this invariant in the Mutex destructor is triggered, we get the stack trace with the !_isLocked expression that failed. This is usually fine for classes with a single Mutex field. For classes containing multiple Mutex fields, it would be useful to include the name passed to MONGO_MAKE_LATCH.