The allocator_arg_t struct is an empty structure 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 satisfies the
Cpp17Allocator requirements (Table 33).