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