Replace alloc.destroy with std::allocator_traits<std::allocator<T>>::…#1

Open

tewk wants to merge 1 commit intohcorrada:masterfrom tewk:master

+8-8

Commits on Jun 16, 2020

Replace alloc.destroy with std::allocator_traits<std::allocator<T>>::destroy
tewk
committed