add more detailed checks for contiguous_iterator

AIDASoft · Dec 19, 2024 · f1f0aeb · f1f0aeb
1 parent 4abfadd
commit f1f0aeb
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/tests/unittests/std_interoperability.cpp b/tests/unittests/std_interoperability.cpp
@@ -742,7 +742,11 @@ TEST_CASE("Collection and unsupported iterator concepts", "[collection][containe
   DOCUMENTED_STATIC_FAILURE(std::output_iterator<const_iterator, CollectionType::value_type>);
   DOCUMENTED_STATIC_FAILURE(std::output_iterator<const_iterator, CollectionType::mutable_type>);
   // std::contiguous_iterator
+  DOCUMENTED_STATIC_FAILURE(std::is_lvalue_reference_v<iterator::reference>);
+  DOCUMENTED_STATIC_FAILURE(std::same_as<iterator::value_type, std::remove_cvref_t<iterator::reference>>); 
   DOCUMENTED_STATIC_FAILURE(std::contiguous_iterator<iterator>);
+  DOCUMENTED_STATIC_FAILURE(std::is_lvalue_reference_v<const_iterator::reference>);
+  STATIC_REQUIRE(std::same_as<const_iterator::value_type, std::remove_cvref_t<const_iterator::reference>>); 
   DOCUMENTED_STATIC_FAILURE(std::contiguous_iterator<const_iterator>);
 }
 #endif // __cplusplus >= 202002L