Template:cpp/regex/basic regex/dsc destructor