https://gcc.gnu.org/bugzilla/show_bug.cgi?id=83395
--- Comment #3 from Jonathan Wakely <redi at gcc dot gnu.org> --- Author: redi Date: Tue Dec 12 18:07:24 2017 New Revision: 255585 URL: https://gcc.gnu.org/viewcvs?rev=255585&root=gcc&view=rev Log: PR libstdc++/83395 fix invocable traits for INVOKE<cv void> PR libstdc++/83395 * include/std/type_traits (__is_invocable_impl): Remove partial specialization for INVOKE<void> and restore is_void<R> check in primary template. (__is_nt_invocable_impl): Likewise. * testsuite/20_util/is_invocable/83395.cc: New test. * testsuite/20_util/is_nothrow_invocable/83395.cc: New test. Added: branches/gcc-7-branch/libstdc++-v3/testsuite/20_util/is_invocable/83395.cc branches/gcc-7-branch/libstdc++-v3/testsuite/20_util/is_nothrow_invocable/83395.cc Modified: branches/gcc-7-branch/libstdc++-v3/ChangeLog branches/gcc-7-branch/libstdc++-v3/include/std/type_traits