libstdc++: Revert addition of constraints to make_signed/make_unsigned
authorJonathan Wakely <jwakely@redhat.com>
Mon, 10 Oct 2022 14:06:53 +0000 (15:06 +0100)
committerJonathan Wakely <jwakely@redhat.com>
Mon, 10 Oct 2022 20:37:03 +0000 (21:37 +0100)
commit1d2f07ed4ce028a7c1f9b18f5d959f30213545ca
treedf6ee2dda819f5968e162e58e4d17e7019136a90
parent67efffec943656a509e036cd3c785a5c3d6885e1
libstdc++: Revert addition of constraints to make_signed/make_unsigned

Constraining the primary template makes it unusable in uninstantiated
contexts.

libstdc++-v3/ChangeLog:

* include/std/type_traits (make_signed, make_unsigned): Remove
constraints on primary template.
* testsuite/20_util/make_signed/requirements/typedefs_neg.cc:
Undo changes to expected error in C++20 mode.
* testsuite/20_util/make_unsigned/requirements/typedefs_neg.cc:
Likewise.
* testsuite/24_iterators/range_access/range_access_cpp20_neg.cc:
Likewise.
* testsuite/20_util/make_signed/requirements/uninstantiated.cc:
New test.
* testsuite/20_util/make_unsigned/requirements/uninstantiated.cc:
New test.
libstdc++-v3/include/std/type_traits
libstdc++-v3/testsuite/20_util/make_signed/requirements/typedefs_neg.cc
libstdc++-v3/testsuite/20_util/make_signed/requirements/uninstantiated.cc [new file with mode: 0644]
libstdc++-v3/testsuite/20_util/make_unsigned/requirements/typedefs_neg.cc
libstdc++-v3/testsuite/20_util/make_unsigned/requirements/uninstantiated.cc [new file with mode: 0644]
libstdc++-v3/testsuite/24_iterators/range_access/range_access_cpp20_neg.cc