Proposed resolution:

This wording is relative to N4800.

1. Change [allocator.members] as indicated:

   [[nodiscard]] T* allocate(size_t n);
   

   […]

   -4- Throws: bad_array_new_length if SIZE_MAX / sizeof(T) < n, or bad_alloc if the storage cannot be obtained.