LWG4164 Missing guarantees for forward_list modifiers

Author: burblebee

source/containers.tex

@@ -7200,10 +7200,13 @@
 \rSec3[forward.list.modifiers]{Modifiers}
 
 \pnum
-None of the overloads of \tcode{insert_after} shall affect the validity of iterators and
-references, and \tcode{erase_after} shall invalidate only iterators and references to
-the erased elements. If an exception is thrown during \tcode{insert_after} there shall
-be no effect. Inserting \tcode{n} elements into a \tcode{forward_list} is linear in
+The member functions in this subclause
+do not affect the validity of iterators and references
+when inserting elements, and when erasing elements
+invalidate iterators and references to the erased elements only.
+If an exception is thrown by any of these member functions
+there is no effect on the container.
+Inserting \tcode{n} elements into a \tcode{forward_list} is linear in
 \tcode{n}, and the number of calls to the copy or move constructor of \tcode{T} is
 exactly equal to \tcode{n}. Erasing \tcode{n} elements from a \tcode{forward_list} is
 linear in \tcode{n} and the number of calls to the destructor of type \tcode{T} is