aboutsummaryrefslogtreecommitdiff
path: root/libk/type_traits/test.cc
diff options
context:
space:
mode:
Diffstat (limited to 'libk/type_traits/test.cc')
-rw-r--r--libk/type_traits/test.cc17
1 files changed, 17 insertions, 0 deletions
diff --git a/libk/type_traits/test.cc b/libk/type_traits/test.cc
new file mode 100644
index 0000000..1aa11df
--- /dev/null
+++ b/libk/type_traits/test.cc
@@ -0,0 +1,17 @@
+#include <type_traits.h>
+#include <types.h>
+
+// is_same
+static_assert(is_same<int, int>() == true);
+static_assert(is_same<int, unsigned int>() == false);
+
+// is_unsigned
+static_assert(is_unsigned<uint8_t>() == true);
+static_assert(is_unsigned<uint16_t>() == true);
+static_assert(is_unsigned<uint32_t>() == true);
+static_assert(is_unsigned<uint64_t>() == true);
+
+static_assert(is_unsigned<int8_t>() == false);
+static_assert(is_unsigned<int16_t>() == false);
+static_assert(is_unsigned<int32_t>() == false);
+static_assert(is_unsigned<int64_t>() == false);