std::recursive_timed_mutex::~recursive_timed_mutex
From cppreference.com
                    
                                        
                    < cpp | thread | recursive timed mutex
                    
                                                            
                    
|   ~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.