so it will be documented? that was the rhetorical question.Does it need to be? I don't see a reason for anyone to go out of their way to make the implementation inconsistent. Do you?
At least I would prefer not to rely on undefined behaviour. If we ever do change the AA implementation in an inconsistent way, it will at least prevent the "but this code was broken all along"-argument.
On the other hand adding just one sentence to the documentation would cost us nothing.
