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