From ffc4666fe956e4742742d6c12fa63b9b0adecf84 Mon Sep 17 00:00:00 2001
From: John Wellbelove <john.wellbelove@asterconsulting.co.uk>
Date: Thu, 29 May 2025 20:19:02 +0100
Subject: [PATCH] Added char8_t, char16_t and char32_t is _integral and
 is_signed traits

---
 include/etl/type_traits.h | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/include/etl/type_traits.h b/include/etl/type_traits.h
index 46d296c4..2b23ecb4 100644
--- a/include/etl/type_traits.h
+++ b/include/etl/type_traits.h
@@ -288,6 +288,15 @@ namespace etl
   template <> struct is_integral<unsigned long> : true_type {};
   template <> struct is_integral<long long> : true_type {};
   template <> struct is_integral<unsigned long long> : true_type {};
+#if ETL_HAS_NATIVE_CHAR8_T
+  template <> struct is_integral<char8_t> : true_type {};
+#endif
+#if ETL_HAS_NATIVE_CHAR16_T
+  template <> struct is_integral<char16_t> : true_type {};
+#endif
+#if ETL_HAS_NATIVE_CHAR32_T
+  template <> struct is_integral<char32_t> : true_type {};
+#endif
   template <typename T> struct is_integral<const T> : is_integral<T> {};
   template <typename T> struct is_integral<volatile T> : is_integral<T> {};
   template <typename T> struct is_integral<const volatile T> : is_integral<T> {};
@@ -310,6 +319,15 @@ namespace etl
   template <> struct is_signed<float> : true_type {};
   template <> struct is_signed<double> : true_type {};
   template <> struct is_signed<long double> : true_type {};
+#if ETL_HAS_NATIVE_CHAR8_T
+  template <> struct is_signed<char8_t> : true_type {};
+#endif
+#if ETL_HAS_NATIVE_CHAR16_T
+  template <> struct is_signed<char16_t> : true_type {};
+#endif
+#if ETL_HAS_NATIVE_CHAR32_T
+  template <> struct is_signed<char32_t> : true_type {};
+#endif
   template <typename T> struct is_signed<const T> : is_signed<T> {};
   template <typename T> struct is_signed<volatile T> : is_signed<T> {};
   template <typename T> struct is_signed<const volatile T> : is_signed<T> {};
@@ -416,6 +434,9 @@ namespace etl
   /// is_pointer
   template<typename T> struct is_pointer_helper : false_type {};
   template<typename T> struct is_pointer_helper<T*> : true_type {};
+  template<typename T> struct is_pointer_helper<const T*> : is_pointer_helper<T*> {};
+  template<typename T> struct is_pointer_helper<volatile T*> : is_pointer_helper<T*> {};
+  template<typename T> struct is_pointer_helper<const volatile T*> : is_pointer_helper<T*> {};
   template<typename T> struct is_pointer : is_pointer_helper<typename remove_cv<T>::type> {};
 
 #if ETL_USING_CPP17