r255585 - in /branches/gcc-7-branch/libstdc++-v...

[redi@gcc.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