EricWF requested changes to this revision.
EricWF added a comment.
This revision now requires changes to proceed.

I would much rather take this change in all dialects except for C++03.



================
Comment at: include/__functional_base:398
+        !is_same<__uncvref_t<_Up>, reference_wrapper>::value
+    >, class = typename __void_t<
+        decltype(_VSTD::__lvref_bind<_Tp>(_VSTD::declval<_Up>()))
----------------
The `__void_t` isn't necessary here. Plus I think we can be clever and write 
this condition as:

```
bool _IsNoexcept = noexcept(<expr>)
```

And then we can re-use `_Noexcept` to make the function conditionally 
`noexcept` instead of duplicating the expression.


https://reviews.llvm.org/D40259



_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to