std::recursive_timed_mutex::~recursive_timed_mutex

From cppreference.com

~recursive_timed_mutex();

Destroys the mutex.

The behavior is undefined if the mutex is owned by any thread or if any thread terminates while holding any ownership of the mutex.