Conforme mostrado aqui , o comportamento de allocate(0)não é especificado.
Então, o que acontecerá se eu chamar allocate_at_least(0)de acordo com o padrão C++23? O comportamento é definido pela implementação ou será tratado como allocate(a_non_zero_value)?