template<class Allocator> [[nodiscard]] constexpr allocation_result<typename allocator_traits<Allocator>::pointer> allocate_at_least(Allocator& a, size_t n);