Deallocates the storage pointed to by
p shall have been returned by a prior call to
allocate(bytes, alignment) on a
memory_resource that compares equal to
*this, and the storage it points to shall not yet have been deallocated.
Equivalent to do_deallocate(p, bytes, alignment);.
 See also
| deallocates memory |
(virtual private member function)