mclow.lists added inline comments.
================ Comment at: include/new:260 + static_assert (!is_function<_Tp>::value, "can't launder functions" ); + static_assert (!is_same_v<void, remove_cv_t<_Tp>>, "can't launder cv-void" ); +#ifdef _LIBCPP_COMPILER_HAS_BUILTIN_LAUNDER ---------------- tcanens wrote: > Technically, the attempt is to launder //pointers to// //cv// > `void`/functions. :) > > Also, since `__launder` is non-C++17-specific, I guess it can't use `_t` and > `_v` after all... - and I suppose it'll also need to parens-protect the > `is_same` check for the fallback `static_assert` macro? Oh, *bother* (and yes, you're correct) https://reviews.llvm.org/D40144 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits