[libcxx-commits] [libcxx] [libcxx] makes `pair` conditionally trivially copyable for C++20 (PR #84811)

[Christopher Di Bella via libcxx-commits]

cjdb wrote:

> > It's currently unclear how to implement this without using a _requires-clause_, so the feature is restricted to C++20 for now, but backporting this to C++11 would be ideal.
> 
> It seems that `pair` is allowed to have base classes, and thus we can implement the conditional triviality with the tricks used in `optional` and `variant`.

How much of an impact would this approach have on the ABI?

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