Template:cpp/utility/optional/dsc destructor