add test

microsoft · Sep 6, 2023 · e6edb3c · e6edb3c
1 parent f90311d
commit e6edb3c
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/stl/inc/expected b/stl/inc/expected
@@ -346,7 +346,7 @@ public:
     }
 
     // clang-format off
-    ~expected() requires is_trivially_destructible_v<_Ty>&& is_trivially_destructible_v<_Err> = default;
+    ~expected() requires is_trivially_destructible_v<_Ty> && is_trivially_destructible_v<_Err> = default;
     // clang-format on
 
     // [expected.object.assign]

diff --git a/tests/std/tests/P0323R12_expected/test.cpp b/tests/std/tests/P0323R12_expected/test.cpp
@@ -3,6 +3,7 @@
 
 #define _CONTAINER_DEBUG_LEVEL 1
 
+#include <any>
 #include <cassert>
 #include <concepts>
 #include <exception>
@@ -2135,6 +2136,11 @@ void test_lwg_3843() {
     }
 }
 
+void test_gh_4011() {
+    static_assert(semiregular<expected<any, int>>);
+    static_assert(semiregular<expected<void, any>>);
+}
+
 int main() {
     test_unexpected::test_all();
     static_assert(test_unexpected::test_all());
@@ -2151,4 +2157,5 @@ int main() {
 
     test_reinit_regression();
     test_lwg_3843();
+    test_gh_4011();
 }