[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

@@ -17120,10 +17120,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) { }
@@ -17266,7 +17266,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()); }
@@ -17857,7 +17857,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}
@@ -18322,10 +18322,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) { }
@@ -18461,7 +18461,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()); }
@@ -18949,10 +18949,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) { }
@@ -19080,7 +19080,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()); }
@@ -19433,7 +19433,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}
@@ -19645,10 +19645,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) { }
@@ -19778,7 +19778,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()); }
@@ -20119,7 +20119,7 @@
 \indexlibrarymember{insert_range}{flat_multiset}%
 \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}