Deleted copy constructor; a LockedPool cannot be copied.
Declared in <support/lockedpool.h>
<support/lockedpool.h>
LockedPool(LockedPool const& other) = delete;