https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82254
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> --- Author: redi Date: Tue Sep 19 14:33:51 2017 New Revision: 252977 URL: https://gcc.gnu.org/viewcvs?rev=252977&root=gcc&view=rev Log: PR libstdc++/82254 fix std::is_nothrow_invocable_r w.r.t throwing conversions PR libstdc++/82254 * include/std/type_traits (__is_invocable): Add partial specialization for INVOKE<void> case and remove is_void<R> check from partial specialization for INVOKE<R> case. (__is_nt_invocable_impl): New helper for is_nothrow_invocable_r. (is_nothrow_invocable_r): Use __is_nt_invocable_impl. * testsuite/20_util/is_nothrow_invocable/value.cc: Add tests for conversions that can throw or fail to convert. Use static assert strings to explain negative results. * testsuite/20_util/is_nothrow_invocable/value_ext.cc: Use is_nothrow_constructible in is_nt_invocable_conv. Modified: trunk/libstdc++-v3/ChangeLog trunk/libstdc++-v3/include/std/type_traits trunk/libstdc++-v3/testsuite/20_util/is_nothrow_invocable/value.cc trunk/libstdc++-v3/testsuite/20_util/is_nothrow_invocable/value_ext.cc