On Thu, 21 Dec 2023 at 19:50, Jason McKesson via Std-Proposals
<std-proposals_at_[hidden]> wrote:

> `std::align` has a precondition that `ptr` must represent an address
> of at least `space` bytes. `nullptr` doesn't represent an address.
> Therefore, if `ptr` is ever `nullptr`, the caller has invoked UB and
> it *does not matter* if the function throws.
>
> Put simply, the caller violated the standard *first*.
>
> When I said that it doesn't throw, I meant it doesn't have
> well-defined behavior for throwing. What happens if behavior is
> undefined is irrelevant because... it's undefined.

Precisely so.