This function is defined only if both allocators define it, and returns the conjunction of empty calls for the two.
See Implementation
This function is defined only if both allocators define it, and returns the conjunction of empty calls for the two.