diff options
| author | Jonathan Wakely <jwakely@redhat.com> | 2025-12-04 14:45:53 +0000 |
|---|---|---|
| committer | Jonathan Wakely <redi@gcc.gnu.org> | 2025-12-08 18:55:02 +0000 |
| commit | 03562c1e023d01cacf099a40842e617d27148c74 (patch) | |
| tree | e923f32d4addb5416fd5669781dd41907ea2a28d /libjava/classpath/java | |
| parent | ea42e28cbc3d4d579666582e8893e7629bf6a390 (diff) | |
| download | gcc-03562c1e023d01cacf099a40842e617d27148c74.zip gcc-03562c1e023d01cacf099a40842e617d27148c74.tar.gz gcc-03562c1e023d01cacf099a40842e617d27148c74.tar.bz2 | |
libstdc++: Implement P2404R3 relaxations to comparable_with concepts [PR122946]
This implements the C++23 proposal P2404R3 "Move-only types for
equality_comparable_with, totally_ordered_with, and
three_way_comparable_with". As agreed with the maintainers of libc++ and
MSVC STL, we treat this as a DR for C++20. It allows reasonable code to
compile which wasn't originally allowed in C++20, and only affects some
obscure subsumption cases for valid C++20 code.
libstdc++-v3/ChangeLog:
PR libstdc++/122946
* include/bits/version.def (concepts): Set value to 202207.
* include/bits/version.h: Regenerate.
* include/std/concepts (__comparison_common_type_with_impl)
(__comparison_common_type_with): New helper concepts.
(equality_comparable_with): Use __comparison_common_type_with.
* libsupc++/compare (three_way_comparable_with): Likewise.
(__glibcxx_want_concepts): Define to get __cpp_lib_concepts
here.
* testsuite/std/concepts/concepts.compare/move_only.cc: New
test.
Reviewed-by: Tomasz Kamiński <tkaminsk@redhat.com>
Diffstat (limited to 'libjava/classpath/java')
0 files changed, 0 insertions, 0 deletions