// <shared_mutex>
-// class shared_mutex;
+// class shared_timed_mutex;
-// shared_mutex& operator=(const shared_mutex&) = delete;
+// shared_timed_mutex& operator=(const shared_timed_mutex&) = delete;
#include <shared_mutex>
int main()
{
#if _LIBCPP_STD_VER > 11
- std::shared_mutex m0;
- std::shared_mutex m1;
+ std::shared_timed_mutex m0;
+ std::shared_timed_mutex m1;
m1 = m0;
#else
# error