Add static assertion to check saneness of types in maybe_static_array

kokkos · Mar 16, 2023 · f3ad21e · f3ad21e
1 parent 49e1162
commit f3ad21e
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/include/experimental/__p0009_bits/extents.hpp b/include/experimental/__p0009_bits/extents.hpp
@@ -223,6 +223,10 @@ template <class T> struct possibly_empty_array<T, 0> {
 // The position of a dynamic value is indicated through a tag value.
 template <class TDynamic, class TStatic, TStatic dyn_tag, TStatic... Values>
 struct maybe_static_array {
+
+  static_assert(is_convertible_v<TStatic, TDynamic>);
+  static_assert(is_convertible_v<TDynamic, TStatic>);
+
 private:
   // Static values member
   using static_vals_t = static_array<TStatic, Values...>;