Template:cpp/experimental/synchronized pool resource/dsc destructor