Skip to content

[libc++][concepts] P2404R3: Move-only types for equality_comparable_with, totally_ordered_with, and three_way_comparable_with #99420

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 17 commits into
base: main
Choose a base branch
from
+157 −28
Open

[libc++][concepts] P2404R3: Move-only types for equality_comparable_with, totally_ordered_with, and three_way_comparable_with #99420

Show file tree
Hide file tree
Changes from 1 commit
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
956934b
P2404R3: Move-only types for relational concepts
randomnetcat Jul 18, 2024
610a86b
Fix _Cat capitalization
randomnetcat Jul 18, 2024
332f8e1
Make test class naming consistent
randomnetcat Jul 18, 2024
1c6e711
immobile -> nonmovable
randomnetcat Jul 18, 2024
18ded9b
_C -> _CommonRef
randomnetcat Jul 18, 2024
00d4c40
Update other comparison tests
randomnetcat Jul 18, 2024
a777781
Invert test conditionals
randomnetcat Jul 18, 2024
0233dc1
Don't split definitions of equality_comparable_with/totally_ordered_with
randomnetcat Jul 18, 2024
bd2dcd9
Fix last >= 23 check
randomnetcat Jul 18, 2024
60dc091
Fix quotation mark includes
randomnetcat Jul 19, 2024
a065d74
Add comments to tests
randomnetcat Jul 19, 2024
e307e50
Implement P2404 as a DR rather than only in 23
randomnetcat Jun 9, 2025
64c08cf
Bump __cpp_lib_concepts
randomnetcat Jun 9, 2025
4a5b4e4
Update documentation
randomnetcat Jun 9, 2025
47cd56f
Add missing include
randomnetcat Jun 14, 2025
d838daa
Remove unused includes
randomnetcat Jun 14, 2025
b55b7ce
Add static_asserts to hopefully get better errors in CI
randomnetcat Jun 15, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Add static_asserts to hopefully get better errors in CI
  • Loading branch information
@randomnetcat
randomnetcat committed Jun 15, 2025
commit b55b7cec07859370638fa71d2cbecaa315a5996b
3 changes: 3 additions & 0 deletions ...pts/concepts.compare/concept.equalitycomparable/equality_comparable_with.compile.pass.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1121,4 +1121,7 @@ static_assert(
static_assert(check_equality_comparable_with<move_only_equality_with_int, int>());
static_assert(check_equality_comparable_with<std::unique_ptr<int>, std::nullptr_t>());
static_assert(!check_equality_comparable_with<nonmovable_equality_with_int, int>());

// For testing
static_assert(!std::equality_comparable_with<nonmovable_equality_with_int, int>);
} // namespace types_fit_for_purpose
3 changes: 3 additions & 0 deletions libcxx/test/std/language.support/cmp/cmp.concept/three_way_comparable_with.compile.pass.cpp
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -249,4 +249,7 @@ struct NonMovableIntComparable {

static_assert(!check_three_way_comparable_with<NonMovableIntComparable, int>());

// For testing
static_assert(!std::three_way_comparable_with<NonMovableIntComparable, int>);

} // namespace user_defined
Loading
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy