testing

Author: huixie90

libcxx/test/std/containers/container.adaptors/flat.multiset/flat.multiset.cons/assign_initializer_list.pass.cpp

@@ -43,6 +43,14 @@ void test() {
     double expected[] = {3};
     assert(std::ranges::equal(m, expected));
   }
+  {
+    // was empty
+    M m;
+    assert(m.size() == 0);
+    m              = {3, 1, 2, 2, 3, 4, 3, 5, 6, 5};
+    int expected[] = {1, 2, 2, 3, 3, 3, 4, 5, 5, 6};
+    assert(std::ranges::equal(m, expected));
+  }
 }
 
 void test() {

libcxx/test/std/containers/container.adaptors/flat.multiset/flat.multiset.cons/copy_assign.pass.cpp

@@ -80,9 +80,18 @@ void test() {
     // self-assignment
     using M = std::flat_multiset<int>;
     M m     = {{1, 2}};
-    m       = static_cast<const M&>(m);
+    m       = std::as_const(m);
     assert((m == M{{1, 2}}));
   }
+  {
+    // was empty
+    using M = std::flat_multiset<int>;
+    M m;
+    assert(m.size() == 0);
+    m              = {3, 1, 2, 2, 3, 4, 3, 5, 6, 5};
+    int expected[] = {1, 2, 2, 3, 3, 3, 4, 5, 5, 6};
+    assert(std::ranges::equal(m, expected));
+  }
   {
     // Validate whether the container can be copy-assigned (move-assigned, swapped)
     // with an ADL-hijacking operator&

libcxx/test/std/containers/container.adaptors/flat.multiset/flat.multiset.cons/deduct.compile.pass.cpp

@@ -23,21 +23,21 @@ struct NotAnAllocator {
 };
 
 template <class... Args>
-concept CanDeductFlatSet = requires { std::flat_multiset(std::declval<Args>()...); };
+concept CanDeductFlatMultiSet = requires { std::flat_multiset(std::declval<Args>()...); };
 
-static_assert(CanDeductFlatSet<std::vector<int>>);
+static_assert(CanDeductFlatMultiSet<std::vector<int>>);
 
 // cannot deduce Key and T from nothing
-static_assert(!CanDeductFlatSet<>);
+static_assert(!CanDeductFlatMultiSet<>);
 
 // cannot deduce Key and T from just (Compare)
-static_assert(!CanDeductFlatSet<std::less<int>>);
+static_assert(!CanDeductFlatMultiSet<std::less<int>>);
 
 // cannot deduce Key and T from just (Compare, Allocator)
-static_assert(!CanDeductFlatSet<std::less<int>, std::allocator<int>>);
+static_assert(!CanDeductFlatMultiSet<std::less<int>, std::allocator<int>>);
 
 // cannot deduce Key and T from just (Allocator)
-static_assert(!CanDeductFlatSet<std::allocator<int>>);
+static_assert(!CanDeductFlatMultiSet<std::allocator<int>>);
 
 // cannot convert from some arbitrary unrelated type
-static_assert(!CanDeductFlatSet<NotAnAllocator>);
+static_assert(!CanDeductFlatMultiSet<NotAnAllocator>);