Template:cpp/memory/polymorphic allocator/dsc destructor