[PATCH] D40144: Implement `std::launder`

[Eli Friedman via Phabricator via cfe-commits]

efriedma added inline comments.


================
Comment at: include/new:174
+_LIBCPP_NODISCARD_AFTER_CXX17 inline _LIBCPP_INLINE_VISIBILITY
+constexpr _Tp* launder(_Tp* __p) noexcept { return __p;}
+#endif
----------------
How is the compiler supposed to know that "std::__1::launder()" has special semantics?


https://reviews.llvm.org/D40144