Adding a few more static assertions.

brevzin · Mar 27, 2020 · f77f9c3 · f77f9c3
1 parent 7617459
commit f77f9c3
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/test/test.cxx b/test/test.cxx
@@ -36,6 +36,12 @@ struct D: B { };
 
 static_assert(equality_comparable_with<std::span<int>, std::vector<int>>);
 static_assert(totally_ordered_with<std::span<int>, std::vector<int>>);
+
+// mixed const-ness is fine
+static_assert(totally_ordered_with<std::span<int>, std::vector<int> const>);
+static_assert(totally_ordered_with<std::span<int const>, std::vector<int>>);
+static_assert(totally_ordered_with<std::span<int const>, std::vector<int> const>);
+
 static_assert(not equality_comparable_with<std::span<int>, std::list<int>>);
 static_assert(not equality_comparable_with<std::span<int>, std::vector<long>>);
 
@@ -57,6 +63,10 @@ T const* end(X<T> const& x)   { return x.v.data() + x.v.size(); }
 static_assert(equality_comparable_with<std::span<int const>, X<int>>);
 static_assert(totally_ordered_with<std::span<int const>, X<int>>);
 
+struct NonComparable { };
+static_assert(not equality_comparable_with<std::span<NonComparable>, std::span<NonComparable>>);
+static_assert(not totally_ordered_with<std::span<NonComparable>, std::span<NonComparable>>);
+
 #define CATCH_CONFIG_MAIN
 #include "catch.hpp"