Template:cpp/thread/scoped lock/dsc destructor