[libcxx][test] Portably test that `{w,}format_context` is a specialization of `basic_format_context`

Differential Revision: https://reviews.llvm.org/D117606
This commit is contained in:
Casey Carter 2021-12-29 15:56:24 -08:00
parent d83ecd77cc
commit 3a1b178a0b
1 changed files with 14 additions and 5 deletions

View File

@ -107,12 +107,21 @@ constexpr void test() {
test<std::back_insert_iterator<std::basic_string<char32_t>>, char32_t>();
}
static_assert(std::is_same_v<
std::format_context,
std::basic_format_context<
std::back_insert_iterator<std::basic_string<char>>, char>>);
template <class, class>
constexpr bool is_basic_format_context_specialization = false;
template <class It, class CharT>
constexpr bool is_basic_format_context_specialization<std::basic_format_context<It, CharT>, CharT> = true;
static_assert(is_basic_format_context_specialization<std::format_context, char>);
LIBCPP_STATIC_ASSERT(
std::is_same_v<
std::format_context,
std::basic_format_context<
std::back_insert_iterator<std::basic_string<char>>, char>>);
#ifndef TEST_HAS_NO_WIDE_CHARACTERS
static_assert(
static_assert(is_basic_format_context_specialization<std::wformat_context, wchar_t>);
LIBCPP_STATIC_ASSERT(
std::is_same_v<
std::wformat_context,
std::basic_format_context<