refactor: SymbolicConstant concept refactored

mpusz · Nov 16, 2024 · daf4b1c · daf4b1c
1 parent 7b64b4b
commit daf4b1c
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/src/core/include/mp-units/framework/expression_template.h b/src/core/include/mp-units/framework/expression_template.h
@@ -48,11 +48,8 @@ template<typename T>
 concept SymbolicArg = (!std::is_const_v<T>) && (!std::is_reference_v<T>);
 
 template<typename T>
-concept SymbolicConstant = SymbolicArg<T> && std::is_empty_v<T> && std::is_trivial_v<T> &&
-#if !MP_UNITS_COMP_GCC || MP_UNITS_COMP_GCC > 12
-                           std::semiregular<T> &&
-#endif
-                           std::is_final_v<T>;
+concept SymbolicConstant = SymbolicArg<T> && std::is_empty_v<T> && std::is_final_v<T> && std::is_trivial_v<T> &&
+                           std::is_trivially_copy_constructible_v<T> && std::is_trivially_move_constructible_v<T>;
 
 /**
  * @brief Type list type used by the expression template framework