Template:cpp/io/basic istream/dsc destructor