LWG3817 Missing preconditions on forward_list modifiers

Fixes NB GB 101 (C++23 CD).

Author: burblebee

source/containers.tex

@@ -7273,12 +7273,33 @@
 \indexlibrarymember{insert_after}{forward_list}%
 \begin{itemdecl}
 iterator insert_after(const_iterator position, const T& x);
+\end{itemdecl}
+
+\begin{itemdescr}
+\pnum
+\expects
+\tcode{T} is \oldconcept{CopyInsertable} into \tcode{forward_list}.
+\tcode{position} is \tcode{before_begin()} or is a dereferenceable
+iterator in the range \range{begin()}{end()}.
+
+\pnum
+\effects
+Inserts a copy of \tcode{x} after \tcode{position}.
+
+\pnum
+\returns
+An iterator pointing to the copy of \tcode{x}.
+\end{itemdescr}
+
+\indexlibrarymember{insert_after}{forward_list}%
+\begin{itemdecl}
 iterator insert_after(const_iterator position, T&& x);
 \end{itemdecl}
 
 \begin{itemdescr}
 \pnum
 \expects
+\tcode{T} is \oldconcept{MoveInsertable} into \tcode{forward_list}.
 \tcode{position} is \tcode{before_begin()} or is a dereferenceable
 iterator in the range \range{begin()}{end()}.
 
@@ -7299,6 +7320,7 @@
 \begin{itemdescr}
 \pnum
 \expects
+\tcode{T} is \oldconcept{CopyInsertable} into \tcode{forward_list}.
 \tcode{position} is \tcode{before_begin()} or is a dereferenceable
 iterator in the range \range{begin()}{end()}.
 
@@ -7308,7 +7330,8 @@
 
 \pnum
 \returns
-An iterator pointing to the last inserted copy of \tcode{x} or \tcode{position} if \tcode{n == 0}.
+An iterator pointing to the last inserted copy of \tcode{x}, or
+\tcode{position} if \tcode{n == 0} is \tcode{true}.
 \end{itemdescr}
 
 \indexlibrarymember{insert_after}{forward_list}%
@@ -7320,6 +7343,8 @@
 \begin{itemdescr}
 \pnum
 \expects
+\tcode{T} is \oldconcept{EmplaceConstructible} into \tcode{forward_list}
+from \tcode{*first}.
 \tcode{position} is \tcode{before_begin()} or is a dereferenceable
 iterator in the range \range{begin()}{end()}.
 Neither \tcode{first} nor \tcode{last} are iterators in \tcode{*this}.
@@ -7330,7 +7355,8 @@
 
 \pnum
 \returns
-An iterator pointing to the last inserted element or \tcode{position} if \tcode{first == last}.
+An iterator pointing to the last inserted element, or
+\tcode{position} if \tcode{first == last} is \tcode{true}.
 \end{itemdescr}
 
 \indexlibrarymember{insert_range_after}{forward_list}%
@@ -7342,7 +7368,9 @@
 \begin{itemdescr}
 \pnum
 \expects
-\tcode{position} is \tcode{before_begin()} or
+\tcode{T} is \oldconcept{EmplaceConstructible} into \tcode{forward_list}
+from \tcode{*ranges::begin(rg)}.
+\tcode{posi\-tion} is \tcode{before_begin()} or
 is a dereferenceable iterator in the range \range{begin()}{end()}.
 \tcode{rg} and \tcode{*this} do not overlap.
 
@@ -7364,11 +7392,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-\tcode{insert_after(position, il.begin(), il.end())}.
-
-\pnum
-\returns
-An iterator pointing to the last inserted element or \tcode{position} if \tcode{il} is empty.
+Equivalent to: \tcode{return insert_after(position, il.begin(), il.end());}
 \end{itemdescr}
 
 
@@ -7381,13 +7405,15 @@
 \begin{itemdescr}
 \pnum
 \expects
+\tcode{T} is \oldconcept{EmplaceConstructible} into \tcode{forward_list}
+from \tcode{std::forward<Args>(\linebreak args)...}.
 \tcode{position} is \tcode{before_begin()} or is a dereferenceable
 iterator in the range \range{begin()}{end()}.
 
 \pnum
 \effects
-Inserts an object of type \tcode{value_type} constructed with
-\tcode{value_type(std::forward<Args>(\brk{}args)...)} after \tcode{position}.
+Inserts an object of type \tcode{value_type} direct-non-list-initialized with
+\tcode{std::forward<Args>(\linebreak args)...} after \tcode{position}.
 
 \pnum
 \returns