#include <locale>
#include <type_traits>
#include <cassert>
int main()
{
std::locale l = std::locale::classic();
{
assert(std::has_facet<std::numpunct<char> >(l));
const std::numpunct<char>& f = std::use_facet<std::numpunct<char> >(l);
{
(void)std::numpunct<char>::id;
}
static_assert((std::is_same<std::numpunct<char>::char_type, char>::value), "");
static_assert((std::is_same<std::numpunct<char>::string_type, std::string>::value), "");
static_assert((std::is_base_of<std::locale::facet, std::numpunct<char> >::value), "");
}
{
assert(std::has_facet<std::numpunct<wchar_t> >(l));
const std::numpunct<wchar_t>& f = std::use_facet<std::numpunct<wchar_t> >(l);
{
(void)std::numpunct<wchar_t>::id;
}
static_assert((std::is_same<std::numpunct<wchar_t>::char_type, wchar_t>::value), "");
static_assert((std::is_same<std::numpunct<wchar_t>::string_type, std::wstring>::value), "");
static_assert((std::is_base_of<std::locale::facet, std::numpunct<wchar_t> >::value), "");
}
}