The type of Allocator returned by get_allocator.
get_allocator
using allocator_type = see-below;
This type is a polymorphic_allocator.
polymorphic_allocator