empty is defined if both allocators also define it.
primary.empty & fallback.empty
See Implementation
empty is defined if both allocators also define it.