From 187d7a693f85c0c90d32e38250dfea14039a1b1d Mon Sep 17 00:00:00 2001
From: Stanislaw Halik <sthalik@misaki.pl>
Date: Tue, 15 Nov 2022 14:26:59 +0100
Subject: entity: add some metaprogramming crap

---
 test/entity.cpp | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

(limited to 'test')

diff --git a/test/entity.cpp b/test/entity.cpp
index 8266ec47..01d8a28c 100644
--- a/test/entity.cpp
+++ b/test/entity.cpp
@@ -70,4 +70,18 @@ void test_app::test_entity()
     static_assert(test_visitor());
 }
 
+namespace type_tests {
+
+using namespace floormat::entities::detail;
+
+template<typename T, typename U> using common_type2 = std::common_type_t<T, U>;
+static_assert(std::is_same_v<long long, detail::reduce<common_type2, parameter_pack<char, unsigned short, short, long long>>>);
+static_assert(std::is_same_v<detail::parameter_pack<unsigned char, unsigned short, unsigned int>,
+                             detail::map<std::make_unsigned_t, detail::parameter_pack<char, short, int>>>);
+
+static_assert(std::is_same_v<detail::parameter_pack<unsigned char, unsigned short, unsigned, unsigned long>,
+                             detail::map<std::make_unsigned_t, detail::parameter_pack<char, short, int, long>>>);
+static_assert(std::is_same_v<std::tuple<int, short, char>, detail::lift<detail::parameter_pack<short, char>, std::tuple, int>>);
+} // namespace type_tests
+
 } // namespace floormat
-- 
cgit v1.2.3