Template:cpp/thread/future/dsc destructor