[libcxx-commits] [libcxx] [libcxx] makes `expected` trivially assignable when both members are … (PR #74768)

[A. Jiang via libcxx-commits]

================
@@ -282,10 +284,27 @@ class expected {
     }
   }
 
+  static constexpr bool __is_trivially_move_assignable =
+      is_trivially_move_constructible_v<_Tp> &&
+      is_trivially_move_assignable_v<_Tp> &&
+      is_trivially_move_constructible_v<_Err> &&
+      is_trivially_move_assignable_v<_Err>;
+
+  static constexpr bool __is_trivially_copy_assignable =
----------------
frederick-vs-ja wrote:

The conditions should be consistent with those of `variant`: [[variant.assign]/5](https://eel.is/c++draft/variant.assign#5), [[variant.assign]/10](https://eel.is/c++draft/variant.assign#10).

https://github.com/llvm/llvm-project/pull/74768