From cppreference.com
virtual~synchronized_pool_resource();(since C++17)Destroys a synchronized_pool_resource.
Deallocates all memory owned by this resource by calling this->release().
See also
release all allocated memory(public member function)
[edit]