Template:cpp/thread/mutex/dsc operator=