Reading the source code seems to suggest that it only de-allocates pools using the backing allocator in destroy() so it should be fine. I could also use a tracking allocator to figure this out but I figured I’d ask here in case there are others searching for the same thing.
I don’t see why not.
1 Like