C++ named requirements:ErasableSpecifies that an object of the type can be destroyed by a given Allocator.