The allocator_arg_t struct is an empty class type used as a unique type to
disambiguate constructor and function overloading.
Specifically, several types (see
tuple[tuple]) have constructors with allocator_arg_t as the first
argument, immediately followed by an argument of a type that meets the
Cpp17Allocator requirements (Table 36).