Что произойдет, если я вызову allocate_at_least(0) согласно стандарту C++23? ⇐ C++

[Anonymous]

Как показано здесь, поведение allocate(0) не определено.
Итак, что произойдет, если я вызову allocate_at_least(0) в соответствии с Стандарт С++23? Определяется ли поведение реализацией или оно будет рассматриваться как allocate(a_non_zero_value)?

Подробнее здесь: https://stackoverflow.com/questions/785 ... 3-standard