[libcxx-commits] [libcxx] [libc++] Implement LWG3133: Modernizing numeric type requirements (PR #208145)

[A. Jiang via libcxx-commits]

================
@@ -307,6 +312,12 @@ class complex {
 public:
   typedef _Tp value_type;
 
+  static_assert(is_object<_Tp>::value && __is_unqualified_v<_Tp> && is_default_constructible_v<_Tp> &&
+                    is_copy_constructible_v<_Tp> && is_copy_assignable_v<_Tp> && is_destructible_v<_Tp>,
----------------
frederick-vs-ja wrote:

I think we should use `_And` from `<__type_traits/conjunction.h>` to combine these traits. Also, please ensure that this line works in C++03 mode.

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