[PATCH] D86126: Fix issue 47160: "`llvm::is_trivially_copyable` -- static assertion failure after DR 1734"

[Nicole Mazzuca via Phabricator via llvm-commits]

strega-nil added a comment.

In D86126#2405424 <https://reviews.llvm.org/D86126#2405424>, @serge-sans-paille wrote:

> 1. Fix the `llvm::` implementation to match `std::`

unfortunately, this is impossible. There is fundamentally no way to check for `std::is_trivially_copyable` without special compiler magic, and unfortunately, due to this DR, it's unlikely you'd ever be able to switch to the `std::` implementation, at least until all compilers you support have this DR as a baseline - given that I don't think gcc or clang have even implemented it yet, this seems unlikely. (at least, this is my understanding... no guarantees on correctness here)


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D86126/new/

https://reviews.llvm.org/D86126