[libcxx-commits] [libcxx] [libc++] Improve diagnostic when violating `std::atomic` trivially copyable mandates (PR #131754)

[Nikolas Klauser via libcxx-commits]

================
@@ -0,0 +1,28 @@
+//===----------------------------------------------------------------------===//
----------------
philnik777 wrote:

It is true that these checks are libc++-specific in the end. However, they test standards-mandated behaviour. I'm pretty sure nobody is running `.verify.cpp` files on anything other than libc++, but I think a generic "this test fails in some way" is completely valid. That we test for the specific error-messages via a special compiler mode doesn't change that IMO, since they're just comments.

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