execution_context::allocator_impl::destroy
virtual
void
destroy
();