LWG4384 flat_set::erase(iterator) is underconstrained

Author: eisenwave

source/containers.tex

@@ -19041,7 +19041,7 @@
     constexpr container_type extract() &&;
     constexpr void replace(container_type&&);
 
-    constexpr iterator erase(iterator position);
+    constexpr iterator erase(iterator position) requires (!@\libconcept{same_as}@<iterator, const_iterator>);
     constexpr iterator erase(const_iterator position);
     constexpr size_type erase(const key_type& x);
     template<class K> constexpr size_type erase(K&& x);
@@ -19712,7 +19712,7 @@
     constexpr container_type extract() &&;
     constexpr void replace(container_type&&);
 
-    constexpr iterator erase(iterator position);
+    constexpr iterator erase(iterator position) requires (!@\libconcept{same_as}@<iterator, const_iterator>);
     constexpr iterator erase(const_iterator position);
     constexpr size_type erase(const key_type& x);
     template<class K> constexpr size_type erase(K&& x);