the pool_ was destroyed in the destructor