Specializations of std::char_traits

[Gabriel Dos Reis]

Pétur Runólfsson <peturr02@ru.is> writes:

| >As of int_type, I was contemplating the idea of using the promoted-to
| >type of char_type.
| 
| I don't think it matters if int_type or the functions using it are
| provided or not - they are only used by iostreams, and iostreams
| won't work unless some facets are provided (ctype, numpunct for
| numeric formatting, codecvt for file I/O).

On the contrary, I think it does matter.  int_type is supposed to be
provided by char_traits<>.  Nobody knows whether it is used by users
only with iostreams.  Either we provide something consistent or we don't
provide a definition at all.

-- Gaby