[libcxx-commits] [libcxx] [libc++][concepts] P2404R3: Move-only types for equality_comparable_with, totally_ordered_with, and three_way_comparable_with (PR #99420)

Louis Dionne via libcxx-commits libcxx-commits at lists.llvm.org
Fri Jul 19 07:11:37 PDT 2024


================
@@ -84,6 +89,12 @@ struct NoComparator {};
 // !indirect_strict_weak_order<Comp, projected<I1, Proj1>, projected<I2, Proj2>>
 static_assert(!HasPartialSortCopyIter<NoComparator*, NoComparator*, NoComparator*, NoComparator*>);
 
+#if TEST_STD_VER < 23
+static_assert(!HasPartialSortCopyIter<int*, int*, MoveOnly*, MoveOnly*>);
+#else
+static_assert(HasPartialSortCopyIter<int*, int*, MoveOnly*, MoveOnly*>);
----------------
ldionne wrote:

```suggestion
#else
// P2404
static_assert(HasPartialSortCopyIter<int*, int*, MoveOnly*, MoveOnly*>);
```

https://github.com/llvm/llvm-project/pull/99420


More information about the libcxx-commits mailing list