summaryrefslogtreecommitdiff
path: root/test.cc
diff options
context:
space:
mode:
Diffstat (limited to 'test.cc')
-rw-r--r--test.cc24
1 files changed, 12 insertions, 12 deletions
diff --git a/test.cc b/test.cc
index f162705..e5fa906 100644
--- a/test.cc
+++ b/test.cc
@@ -34,6 +34,18 @@ static_assert(::zp::isptr<int const volatile * const volatile>::val == true);
static_assert(::zp::typequ<int,int>::val == true);
static_assert(::zp::typequ<int,long>::val == false);
+static_assert(::zp::typequ<::zp::i8m, ::std::uint_least8_t>::val == true);
+static_assert(::zp::typequ<::zp::i8ms, ::std::int_least8_t>::val == true);
+static_assert(::zp::typequ<::zp::i01m, ::std::uint_least16_t>::val == true);
+static_assert(::zp::typequ<::zp::i01ms,::std::int_least16_t>::val == true);
+static_assert(::zp::typequ<::zp::i02m, ::std::uint_least32_t>::val == true);
+static_assert(::zp::typequ<::zp::i02ms,::std::int_least32_t>::val == true);
+static_assert(::zp::typequ<::zp::i04m, ::std::uint_least64_t>::val == true);
+static_assert(::zp::typequ<::zp::i04ms,::std::int_least64_t>::val == true);
+
+static_assert(::zp::typequ<::zp::intptr,::std::uintptr_t>::val == true);
+static_assert(::zp::typequ<::zp::siz, ::std::size_t>::val == true);
+
static_assert(::zp::typequ<::zp::remref<int>::typ, int>::val == true);
static_assert(::zp::typequ<::zp::remref<int &>::typ,int>::val == true);
@@ -68,18 +80,6 @@ static_assert(::zp::typequ<::zp::usgn<int const volatile>::typ, int unsi
static_assert(::zp::typequ<::zp::nulptrtyp,::std::nullptr_t>::val == true);
-static_assert(::zp::typequ<::zp::i8m, ::std::uint_least8_t>::val == true);
-static_assert(::zp::typequ<::zp::i8ms, ::std::int_least8_t>::val == true);
-static_assert(::zp::typequ<::zp::i01m, ::std::uint_least16_t>::val == true);
-static_assert(::zp::typequ<::zp::i01ms,::std::int_least16_t>::val == true);
-static_assert(::zp::typequ<::zp::i02m, ::std::uint_least32_t>::val == true);
-static_assert(::zp::typequ<::zp::i02ms,::std::int_least32_t>::val == true);
-static_assert(::zp::typequ<::zp::i04m, ::std::uint_least64_t>::val == true);
-static_assert(::zp::typequ<::zp::i04ms,::std::int_least64_t>::val == true);
-
-static_assert(::zp::typequ<::zp::intptr,::std::uintptr_t>::val == true);
-static_assert(::zp::typequ<::zp::siz, ::std::size_t>::val == true);
-
static_assert(::zp::isusgn<char>::val == ::std::is_unsigned<char>::value);
static_assert(::zp::isusgn<char16_t>::val == ::std::is_unsigned<char16_t>::value);
static_assert(::zp::isusgn<char32_t>::val == ::std::is_unsigned<char32_t>::value);