[ 2019-11-30 Issue Prioritization ]

Priority to 3 after reflector discussion.

In [locale.codecvt.virtuals] paragraphs 6 and 11, we find:

Preconditions: (to <= to_end) is well-defined and true; state is initialized, if at the beginning of a sequence, or else is equal to the result of converting the preceding characters in the sequence."

This doesn't make sense. What is the value of state if we're at the beginning of a sequence? Is the fact that we say that it's initialized in that case supposed to imply that it need not be initialized otherwise?

Perhaps this means "value-initialized" or "default-initialized" instead of merely "initialized"?