diff --git a/libcxx/test/libcxx/containers/iterator.rel_ops.compile.pass.cpp b/libcxx/test/libcxx/containers/iterator.rel_ops.compile.pass.cpp
new file mode 100644
--- /dev/null
+++ b/libcxx/test/libcxx/containers/iterator.rel_ops.compile.pass.cpp
@@ -0,0 +1,57 @@
+//===----------------------------------------------------------------------===//
+//
+// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
+// See https://llvm.org/LICENSE.txt for license information.
+// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
+//
+//===----------------------------------------------------------------------===//
+
+// Make sure the various container's iterators are not broken by the use of `std::rel_ops`.
+
+#include <utility> // for std::rel_ops
+
+#include <array>
+#include <deque>
+#include <forward_list>
+#include <list>
+#include <map>
+#include <set>
+#include <unordered_map>
+#include <unordered_set>
+#include <vector>
+
+using namespace std::rel_ops;
+
+template<class Container>
+void test() {
+    Container const c = Container();
+    typename Container::const_iterator it1 = c.end(), it2 = c.end();
+    (void)(it1 == it2);
+    (void)(it1 != it2);
+}
+
+template<class Container>
+void test_random_access() {
+    Container const c = Container();
+    typename Container::const_iterator it1 = c.end(), it2 = c.end();
+    (void)(it1 == it2);
+    (void)(it1 != it2);
+    (void)(it1 < it2);
+    (void)(it1 > it2);
+    (void)(it1 <= it2);
+    (void)(it1 >= it2);
+}
+
+template void test_random_access<std::array<int, 10> >();
+template void test_random_access<std::deque<int> >();
+template void test<std::forward_list<int> >();
+template void test<std::list<int> >();
+template void test<std::map<int, int> >();
+template void test<std::multimap<int, int> >();
+template void test<std::multiset<int> >();
+template void test<std::set<int> >();
+template void test<std::unordered_map<int, int> >();
+template void test<std::unordered_multimap<int, int> >();
+template void test<std::unordered_multiset<int> >();
+template void test<std::unordered_set<int> >();
+template void test_random_access<std::vector<int> >();