The execution::allocator_t property can be required.
execution::allocator_t
static constexpr bool is_requirable = true;