Thanks for the reply, makes sense. Though in this case I think it is
not "if and only if" but "only if". I am not sure why implementations
would be *required* to cause a reallocation at any point.


On Tue, Jun 30, 2020 at 7:13 PM Gennaro Prota <gennaro.prota_at_[hidden]> wrote:
>
> { Sorry for the lack of quoting. It's just easier to cut everything when on the phone. }
>
> I don't know about this specific case, but I remember that the standard was full of places that used "if" when "if and only if" would be expected. Including in definitions.
>
> --
> --
> .:: Gennaro Prota ::.
> .:: https://about.me/gennaro.prota ::.