diff --git a/include/future b/include/future
index 160114e5..dae1a4b8 100644
--- a/include/future
+++ b/include/future
@@ -443,7 +443,7 @@ _LIBCPP_CONSTEXPR
 launch
 operator~(launch __x)
 {
-    return static_cast<launch>(~static_cast<__launch_underlying_type>(__x));
+    return static_cast<launch>(~static_cast<__launch_underlying_type>(__x) & 3);
 }
 
 inline _LIBCPP_INLINE_VISIBILITY
diff --git a/test/thread/futures/futures.overview/launch.pass.cpp b/test/thread/futures/futures.overview/launch.pass.cpp
index d634c8b5..5f4663ca 100644
--- a/test/thread/futures/futures.overview/launch.pass.cpp
+++ b/test/thread/futures/futures.overview/launch.pass.cpp
@@ -28,7 +28,7 @@ int main()
     static_assert(std::launch::any == (std::launch::async | std::launch::deferred), "");
     static_assert(std::launch(0) == (std::launch::async & std::launch::deferred), "");
     static_assert(std::launch::any == (std::launch::async ^ std::launch::deferred), "");
-    static_assert(std::launch(~1) == ~std::launch::async, "");
+    static_assert(std::launch::deferred == ~std::launch::async, "");
     std::launch x = std::launch::async;
     x &= std::launch::deferred;
     assert(x == std::launch(0));