bpo-46033: Clarify for-statement execution (GH-30025)

Co-authored-by: Terry Jan Reedy <tjreedy@udel.edu>
Co-authored-by: Jelle Zijlstra <jelle.zijlstra@gmail.com>

Doc/reference/compound_stmts.rst

@@ -157,17 +157,14 @@ The :keyword:`for` statement is used to iterate over the elements of a sequence
    for_stmt: "for" `target_list` "in" `starred_list` ":" `suite`
            : ["else" ":" `suite`]
 
-The expression list is evaluated once; it should yield an iterable object.  An
+The ``starred_list`` expression is evaluated once; it should yield an
-iterator is created for the result of the ``starred_list``.  The expression
+:term:`iterable` object.  An :term:`iterator` is created for that iterable.
-list can contain starred elements (``*x, *y``) that will be unpacked in the
+The first item provided
-final iterator (as when constructing a ``tuple`` or ``list`` literal). The
+by the iterator is then assigned to the target list using the standard
-suite is then executed once for each item provided by the iterator, in the
+rules for assignments (see :ref:`assignment`), and the suite is executed.  This
-order returned by the iterator.  Each item in turn is assigned to the target
+repeats for each item provided by the iterator.  When the iterator is exhausted,
-list using the standard rules for assignments (see :ref:`assignment`), and then
+the suite in the :keyword:`!else` clause,
-the suite is executed.  When the items are exhausted (which is immediately when
+if present, is executed, and the loop terminates.
-the sequence is empty or an iterator raises a :exc:`StopIteration` exception),
-the suite in the :keyword:`!else` clause, if present, is executed, and the loop
-terminates.
 
 .. index::
    statement: break

Misc/NEWS.d/next/Documentation/2022-01-03-18-50-39.bpo-46033.7WeF0f.rst

@@ -0,0 +1 @@
+Clarify ``for`` statement execution in its doc.