rebase

Author: huixie90

libcxx/include/CMakeLists.txt

@@ -358,7 +358,6 @@ set(files
   __filesystem/recursive_directory_iterator.h
   __filesystem/space_info.h
   __filesystem/u8path.h
-  __flat_map/container_traits.h
   __flat_map/flat_map.h
   __flat_map/sorted_unique.h
   __format/buffer.h

libcxx/include/__flat_map/container_traits.h

@@ -23,7 +23,6 @@
 #include <__concepts/convertible_to.h>
 #include <__concepts/swappable.h>
 #include <__config>
-#include <__flat_map/container_traits.h>
 #include <__flat_map/sorted_unique.h>
 #include <__functional/invoke.h>
 #include <__functional/is_transparent.h>
@@ -43,6 +42,7 @@
 #include <__ranges/subrange.h>
 #include <__ranges/zip_view.h>
 #include <__type_traits/conjunction.h>
+#include <__type_traits/container_traits.h>
 #include <__type_traits/invoke.h>
 #include <__type_traits/is_allocator.h>
 #include <__type_traits/is_nothrow_constructible.h>

libcxx/include/__flat_map/flat_map.h

@@ -194,7 +194,6 @@ template <class T, class Allocator, class Predicate>
 #include <__assert>
 #include <__config>
 #include <__debug_utils/sanitizers.h>
-#include <__flat_map/container_traits.h>
 #include <__format/enable_insertable.h>
 #include <__fwd/deque.h>
 #include <__iterator/distance.h>

libcxx/include/deque

@@ -39,7 +39,6 @@ namespace std {
 
 #include <__assert> // all public C++ headers provide the assertion handler
 #include <__config>
-#include <__flat_map/container_traits.h>
 #include <__flat_map/flat_map.h>
 #include <__flat_map/sorted_unique.h>
 #include <version>

libcxx/include/flat_map

@@ -1226,7 +1226,7 @@ module std [system] {
     module flat_map                       { header "__flat_map/flat_map.h" }
     module sorted_unique                  { header "__flat_map/sorted_unique.h" }
 
-    head "flat_map"
+    header "flat_map"
     export *
   }
 

libcxx/include/module.modulemap

@@ -39,8 +39,8 @@ int main(int, char**) {
 
     assert(mo.empty());
     assert(mo.key_comp() == C(5));
-    assert(mo.keys().get_allocator() == A(test_alloc_base::moved_value));
-    assert(mo.values().get_allocator() == A(test_alloc_base::moved_value));
+    assert(mo.keys().get_allocator().get_id() == test_alloc_base::moved_value);
+    assert(mo.values().get_allocator().get_id() == test_alloc_base::moved_value);
   }
   {
     using C = test_less<int>;
@@ -76,9 +76,9 @@ int main(int, char**) {
   {
     // moved-from object maintains invariant if one of underlying container does not clear after move
     using M = std::flat_map<int, int, std::less<>, std::vector<int>, CopyOnlyVector<int>>;
-    M m1    = M({1,2,3},{1,2,3});
-    M m2     = std::move(m1);
-    assert(m2.size()==3);
+    M m1    = M({1, 2, 3}, {1, 2, 3});
+    M m2    = std::move(m1);
+    assert(m2.size() == 3);
     assert(m1.keys().size() == m1.values().size());
     LIBCPP_ASSERT(m1.empty());
     LIBCPP_ASSERT(m1.keys().size() == 0);