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


