Merge type_traits.hpp

Author: yaito3014

include/iris/core/config.hpp

@@ -0,0 +1,43 @@
+#ifndef IRIS_CORE_CONFIG_HPP
+#define IRIS_CORE_CONFIG_HPP
+
+// SPDX-License-Identifier: MIT
+
+#include <version>
+
+#if _MSC_VER
+# include <CodeAnalysis/CppCoreCheck/Warnings.h>
+# pragma warning(default: CPPCORECHECK_LIFETIME_WARNINGS)
+#endif
+
+// <https://devblogs.microsoft.com/cppblog/msvc-cpp20-and-the-std-cpp20-switch/#c++20-[[no_unique_address]]>
+
+#if _MSC_VER && _MSC_VER < 1929 // VS 2019 v16.9 or before
+# error "Too old MSVC version; we don't support this because it leads to ODR violation regarding the existence of [[(msvc::)no_unique_address]]"
+#endif
+
+#if _MSC_VER && __INTELLISENSE__ // Memory Layout view shows wrong layout without this workaround
+# define IRIS_NO_UNIQUE_ADDRESS [[msvc::no_unique_address, no_unique_address]]
+
+#elif _MSC_VER // normal MSVC
+# define IRIS_NO_UNIQUE_ADDRESS [[msvc::no_unique_address]]
+
+#else // other compilers
+# define IRIS_NO_UNIQUE_ADDRESS [[no_unique_address]]
+#endif
+
+
+#ifndef IRIS_LIFETIMEBOUND
+# if defined(__clang__)
+#  define IRIS_LIFETIMEBOUND [[clang::lifetimebound]]
+# elif defined(_MSC_VER)
+#  define IRIS_LIFETIMEBOUND [[msvc::lifetimebound]]
+# else
+#  define IRIS_LIFETIMEBOUND
+# endif
+#endif
+
+
+
+
+#endif

include/iris/core/seq.hpp

@@ -6,11 +6,12 @@
 #include <type_traits>
 #include <utility>
 
-namespace iris::core {
+namespace iris {
 
 template<class... Ts>
 struct type_list;
 
+namespace core {
 
 namespace detail {
 
@@ -137,6 +138,8 @@ struct seq_cartesian_product_entry<F, std::integer_sequence<T, As...>, Rest...>
 template<template<auto...> class F, class... Ss>
 using seq_cartesian_product = typename detail::seq_cartesian_product_entry<F, Ss...>::type;
 
-} // iris::core
+} // core
+
+} // iris
 
 #endif

include/iris/core/type_traits.hpp

@@ -4,7 +4,7 @@
 // SPDX-License-Identifier: MIT
 
 #include <iris/core/library.hpp>
-#include <iris/core/type_traits.hpp>
+#include <iris/type_traits.hpp>
 #include <iris/core/hash.hpp>
 
 #include <compare>