inline ambiguous concepts

Author: wusatosi

include/beman/inplace_vector/inplace_vector.hpp

@@ -323,18 +323,6 @@ static constexpr void __assert_failure(char const *__file, int __line,
 using namespace std;
 using namespace beman::__iv_detail;
 
-template <typename __T>
-concept __trivial_copy_assignment =
-    (std::is_trivially_destructible_v<__T> &&
-     std::is_trivially_copy_constructible_v<__T> &&
-     std::is_trivially_copy_assignable_v<__T>);
-
-template <typename __T>
-concept __trivial_move_assignment =
-    (std::is_trivially_destructible_v<__T> &&
-     std::is_trivially_move_constructible_v<__T> &&
-     std::is_trivially_move_assignable_v<__T>);
-
 // clang-format off
 // Smallest unsigned integer that can represent values in [0, N].
 template <size_t __N>
@@ -975,12 +963,15 @@ struct inplace_vector : private __iv_detail::__storage::_t<__T, __N> {
   }
 
   constexpr inplace_vector &operator=(const inplace_vector &__x)
-    requires(__N == 0 || __iv_detail::__trivial_copy_assignment<__T>)
+    requires(__N == 0 || (std::is_trivially_destructible_v<__T> &&
+                          std::is_trivially_copy_constructible_v<__T> &&
+                          std::is_trivially_copy_assignable_v<__T>))
   = default;
 
   constexpr inplace_vector &operator=(const inplace_vector &__x)
-    requires(__N != 0 && !__iv_detail::__trivial_copy_assignment<__T> &&
-             copyable<__T>)
+    requires(__N != 0 && !(std::is_trivially_destructible_v<__T> &&
+                          std::is_trivially_copy_constructible_v<__T> &&
+                          std::is_trivially_copy_assignable_v<__T>) && copyable<__T>)
   {
     clear();
     for (auto &&__e : __x)
@@ -989,12 +980,15 @@ struct inplace_vector : private __iv_detail::__storage::_t<__T, __N> {
   }
 
   constexpr inplace_vector &operator=(inplace_vector &&__x)
-    requires(__N == 0 || __iv_detail::__trivial_move_assignment<__T>)
+    requires(__N == 0 || (std::is_trivially_destructible_v<__T> &&
+                          std::is_trivially_move_constructible_v<__T> &&
+                          std::is_trivially_move_assignable_v<__T>))
   = default;
 
   constexpr inplace_vector &operator=(inplace_vector &&__x)
-    requires(__N != 0 && !__iv_detail::__trivial_move_assignment<__T> &&
-             movable<__T>)
+    requires(__N != 0 && !(std::is_trivially_destructible_v<__T> &&
+                          std::is_trivially_move_constructible_v<__T> &&
+                          std::is_trivially_move_assignable_v<__T>) && movable<__T>)
   {
     clear();
     for (auto &&__e : __x)