Hi Tom,
I saw that Jon bumped this on the issue tracker. I’m loathe to spend much time on this;
char_traits is just completely broken.
I don't particularly are if SG16 looks at this any time soon, I just realised that we have an open LWG issue in this space without a corresponding github tracker making it somebody else's problem!