Template:cpp/memory/allocator traits/dsc destroy