From daf4b1cc5c12319bb3a621df54a703c8a2e16c2b Mon Sep 17 00:00:00 2001
From: Mateusz Pusz <mateusz.pusz@gmail.com>
Date: Sat, 16 Nov 2024 11:53:05 +0100
Subject: [PATCH] refactor: `SymbolicConstant` concept refactored

---
 src/core/include/mp-units/framework/expression_template.h | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/src/core/include/mp-units/framework/expression_template.h b/src/core/include/mp-units/framework/expression_template.h
index b27e6c02..38dd14d3 100644
--- 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