Template:cpp/utility/functional/function/dsc destructor