P3737 Improve wording for implementation choice of size/alignment

[eisenwave]

It currently says

has a non-static data member of unspecified, trivially copyable, standard-layout, empty aggregate U

I think this was originally saying "aggregate type", and now it doesn't make grammatical sense after "type" has been removed.

The size and alignment of U is an implementation-defined choice between 1 and the size and alignment of T.

This wording isn't clear enough that there is an either/or choice between two options, where both the size and alignment are contained within each option. Also "between" is ambiguous; it could be read as picking something out of a range, rather than picking one of two things.

[jwakely]

FWIW, "It is implementation-defined whether U has the same size and alignment as T or the same size and alignment as char" seems to address the second point.