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.