Template:cpp/io/basic ostream/dsc destructor