template <class Facet> const Facet& use_facet(const locale& loc);
template <class Facet> bool has_facet(const locale& loc) noexcept;