Deleted copy constructor; copying a PoolResource is not supported.
Declared in <support/allocators/pool.h>
<support/allocators/pool.h>
PoolResource(PoolResource const& other) = delete;