[libcxx-commits] [libcxx] [libc++] Implement LWG3940 (std::expected<void, E>::value() also needs E to be copy constructible) (PR #71819)

[via libcxx-commits]

================
@@ -0,0 +1,25 @@
+//===----------------------------------------------------------------------===//
----------------
huixie90 wrote:

We'd like to avoid writing compile.fail.cpp. Instead, verify.cpp is better because it can check the exact line that causes the compilation error. an example can be found here:

https://github.com/llvm/llvm-project/blob/main/libcxx/test/libcxx/utilities/expected/expected.unexpected/swap.mandates.verify.cpp

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