This wording is relative to N4659.

1. Edit [char.traits] as indicated:

   -3- To specialize those templates to generate a string or iostream class to handle a particular character container type CharT, that and its related character traits class Traits are passed as a pair of parameters to the string or iostream template as parameters charT and traits. If Traits::char_type shall be the same is not the same type as CharT, the program is ill-formed.

2. Edit [string.require] as indicated:

   -3- In every specialization basic_string<charT, traits, Allocator>, if the type allocator_traits<Allocator>::value_type shall name the same type is not the same type as charT, the program is ill-formed. Every object of type basic_string<charT, traits, Allocator> shall use an object of type Allocator to allocate and free storage for the contained charT objects as needed. The Allocator object used shall be obtained as described in [container.requirements.general]. In every specialization basic_string<charT, traits, Allocator>, the type traits shall satisfy the character traits requirements ([char.traits]). If, and the type traits::char_type shall name the same type is not the same type as charT, the program is ill-formed.

3. Edit [string.view.template] as indicated:

   -1- In every specialization basic_string_view<charT, traits>, the type traits shall satisfy the character traits requirements ([char.traits]). If, and the type traits::char_type shall name the same type is not the same type as charT, the program is ill-formed.