[libcxx-commits] [PATCH] D81954: Remove the try/catch codepath if `swap` is `noexcept`.

Lewis Baker via Phabricator via libcxx-commits libcxx-commits at lists.llvm.org
Mon Jun 22 09:39:58 PDT 2020


lewissbaker added inline comments.


================
Comment at: libcxx/include/variant:1070
+          __all<(is_nothrow_move_constructible_v<_Types> &&
+                 is_nothrow_swappable_v<_Types>)...>::value;
+#endif
----------------
Why is the `is_nothrow_swappable_v` requirement checked here?
The code below is just calling __generic_construct and __move_nothrow, neither of which seem to call swap().


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D81954





More information about the libcxx-commits mailing list