Make sure CIter and Iter are different types (eq.pass.cpp)

JMazurkiewicz · JMazurkiewicz · commit 52ad025f54b9 · 2025-01-09T22:40:34.000+01:00
Comment: #65536 (comment)
diff --git a/libcxx/test/std/ranges/range.adaptors/range.join.with/range.join.with.iterator/eq.pass.cpp b/libcxx/test/std/ranges/range.adaptors/range.join.with/range.join.with.iterator/eq.pass.cpp
@@ -39,6 +39,7 @@ constexpr bool test() {
 
     using Iter  = std::ranges::iterator_t<JWV>;
     using CIter = std::ranges::iterator_t<const JWV>;
+    static_assert(!std::same_as<Iter, CIter>);
     static_assert(CanEq<Iter>);
     static_assert(CanEq<CIter>);
     static_assert(CanEq<Iter, CIter>);
@@ -128,6 +129,7 @@ constexpr bool test() {
 
     using Iter  = std::ranges::iterator_t<JWV>;
     using CIter = std::ranges::iterator_t<const JWV>;
+    static_assert(!std::same_as<Iter, CIter>);
     static_assert(CanEq<Iter>);
     static_assert(CanEq<CIter>);
     static_assert(!CanEq<CIter, Iter>);
@@ -169,6 +171,7 @@ constexpr bool test() {
 
     using Iter  = std::ranges::iterator_t<JWV>;
     using CIter = std::ranges::iterator_t<const JWV>;
+    static_assert(!std::same_as<Iter, CIter>);
     static_assert(CanEq<Iter>);
     static_assert(CanEq<CIter>);
     static_assert(!CanEq<CIter, Iter>);
