[libcxx-commits] [libcxx] [libc++][ABI BREAK] Make std::pair trivially copyable if its members are (PR #89652)

[Louis Dionne via libcxx-commits]

================
@@ -141,6 +142,31 @@ struct _LIBCPP_TEMPLATE_VIS pair
       _NOEXCEPT_(is_nothrow_copy_constructible<first_type>::value&& is_nothrow_copy_constructible<second_type>::value)
       : first(__t1), second(__t2) {}
 
+  // Make pair trivially copyable if we have a way to do it
----------------
ldionne wrote:

Thanks for the info. I think this is technically non-conforming (or at least an ABI break) though since this changes the type of `&pair::first` from `T pair::*` to `T __pair_base::*`.

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