On Tue, 24 Jan 2017, Jonathan Wakely wrote: > I've just committed this, and then noticed that we don't do the same > optimization for basic_string unless the char_type is char. Note the "see also" field in that PR ;-) -- Marc Glisse