[flat.{map,set,multimap,multiset}] Add constexpr to new member functions

These functions are not marked constexpr in P3567R2, but the intent of the (already merged) P3372R3 is to mark all member functions constexpr.

Author: eisenwave

source/containers.tex

@@ -17139,10 +17139,10 @@
     // \ref{flat.map.cons}, constructors
     constexpr flat_map() : flat_map(key_compare()) { }
 
-    flat_map(const flat_map&);
-    flat_map(flat_map&&);
-    flat_map& operator=(const flat_map&);
-    flat_map& operator=(flat_map&&);
+    constexpr flat_map(const flat_map&);
+    constexpr flat_map(flat_map&&);
+    constexpr flat_map& operator=(const flat_map&);
+    constexpr flat_map& operator=(flat_map&&);
 
     constexpr explicit flat_map(const key_compare& comp)
       : @\exposid{c}@(), @\exposid{compare}@(comp) { }
@@ -17285,7 +17285,7 @@
     template<@\exposconcept{container-compatible-range}@<value_type> R>
       constexpr void insert_range(R&& rg);
     template<@\exposconcept{container-compatible-range}@<value_type> R>
-      void insert_range(sorted_unique_t, R&& rg);
+      constexpr void insert_range(sorted_unique_t, R&& rg);
 
     constexpr void insert(initializer_list<value_type> il)
       { insert(il.begin(), il.end()); }
@@ -17876,7 +17876,7 @@
 \indexlibrarymember{insert_range}{flat_map}%
 \begin{itemdecl}
 template<@\exposconcept{container-compatible-range}@<value_type> R>
-  void insert_range(sorted_unique_t, R&& rg);
+  constexpr void insert_range(sorted_unique_t, R&& rg);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -18341,10 +18341,10 @@
     // \ref{flat.multimap.cons}, constructors
     constexpr flat_multimap() : flat_multimap(key_compare()) { }
 
-    flat_multimap(const flat_multimap&);
-    flat_multimap(flat_multimap&&);
-    flat_multimap& operator=(const flat_multimap&);
-    flat_multimap& operator=(flat_multimap&&);
+    constexpr flat_multimap(const flat_multimap&);
+    constexpr flat_multimap(flat_multimap&&);
+    constexpr flat_multimap& operator=(const flat_multimap&);
+    constexpr flat_multimap& operator=(flat_multimap&&);
 
     constexpr explicit flat_multimap(const key_compare& comp)
       : @\exposid{c}@(), @\exposid{compare}@(comp) { }
@@ -18480,7 +18480,7 @@
     template<@\exposconcept{container-compatible-range}@<value_type> R>
       constexpr void insert_range(R&& rg);
     template<@\exposconcept{container-compatible-range}@<value_type> R>
-      void insert_range(sorted_equivalent_t, R&& rg);
+      constexpr void insert_range(sorted_equivalent_t, R&& rg);
 
     constexpr void insert(initializer_list<value_type> il)
       { insert(il.begin(), il.end()); }
@@ -18968,10 +18968,10 @@
     // \ref{flat.set.cons}, constructors
     constexpr flat_set() : flat_set(key_compare()) { }
 
-    flat_set(const flat_set&);
-    flat_set(flat_set&&);
-    flat_set& operator=(const flat_set&);
-    flat_set& operator=(flat_set&&);
+    constexpr flat_set(const flat_set&);
+    constexpr flat_set(flat_set&&);
+    constexpr flat_set& operator=(const flat_set&);
+    constexpr flat_set& operator=(flat_set&&);
 
     constexpr explicit flat_set(const key_compare& comp)
       : @\exposid{c}@(), @\exposid{compare}@(comp) { }
@@ -19099,7 +19099,7 @@
     template<@\exposconcept{container-compatible-range}@<value_type> R>
       constexpr void insert_range(R&& rg);
     template<@\exposconcept{container-compatible-range}@<value_type> R>
-      void insert_range(sorted_unique_t, R&& rg);
+      constexpr void insert_range(sorted_unique_t, R&& rg);
 
     constexpr void insert(initializer_list<value_type> il)
       { insert(il.begin(), il.end()); }
@@ -19453,7 +19453,7 @@
 \indexlibrarymember{insert_range}{flat_set}%
 \begin{itemdecl}
 template<@\exposconcept{container-compatible-range}@<value_type> R>
-  void insert_range(sorted_unique_t, R&& rg);
+  constexpr void insert_range(sorted_unique_t, R&& rg);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -19665,10 +19665,10 @@
     // \ref{flat.multiset.cons}, constructors
     constexpr flat_multiset() : flat_multiset(key_compare()) { }
 
-    flat_multiset(const flat_multiset&);
-    flat_multiset(flat_multiset&&);
-    flat_multiset& operator=(const flat_multiset&);
-    flat_multiset& operator=(flat_multiset&&);
+    constexpr flat_multiset(const flat_multiset&);
+    constexpr flat_multiset(flat_multiset&&);
+    constexpr flat_multiset& operator=(const flat_multiset&);
+    constexpr flat_multiset& operator=(flat_multiset&&);
 
     constexpr explicit flat_multiset(const key_compare& comp)
       : @\exposid{c}@(), @\exposid{compare}@(comp) { }
@@ -19798,7 +19798,7 @@
     template<@\exposconcept{container-compatible-range}@<value_type> R>
       constexpr void insert_range(R&& rg);
     template<@\exposconcept{container-compatible-range}@<value_type> R>
-      void insert_range(sorted_equivalent_t, R&& rg);
+      constexpr void insert_range(sorted_equivalent_t, R&& rg);
 
     constexpr void insert(initializer_list<value_type> il)
       { insert(il.begin(), il.end()); }
@@ -20139,7 +20139,7 @@
 \indexlibrarymember{insert_range}{flat_multiset}%
 \begin{itemdecl}
 template<@\exposconcept{container-compatible-range}@<value_type> R>
-  void insert_range(sorted_equivalent_t, R&& rg);
+  constexpr void insert_range(sorted_equivalent_t, R&& rg);
 \end{itemdecl}
 
 \begin{itemdescr}