gh-145921: Clarify return value of tp_traverse

Author: encukou

Doc/c-api/gcsupport.rst

@@ -251,6 +251,7 @@ The :c:member:`~PyTypeObject.tp_traverse` handler must have the following type:
    to the handler.  The *visit* function must not be called with a ``NULL``
    object argument.  If *visit* returns a non-zero value, that value should be
    returned immediately.
+   Otherwise, return zero.
 
    A typical :c:member:`!tp_traverse` function calls the :c:func:`Py_VISIT`
    convenience macro on each of the instance's members that are Python
@@ -317,6 +318,13 @@ The :c:member:`~PyTypeObject.tp_traverse` handler must have the following type:
    For a list of safe functions, see a
    :ref:`separate section <duringgc-functions>` below.
 
+   If an error occurs during traversal, ignore it and return 0.
+   If ``tp_traverse`` fails to visit some strong references, objects
+   may become unreachable and waste memory, but correctness won't be affected.
+   For example, if traversal requires a lock that cannot be acquired promptly,
+   skip the traversal.
+   The garbage collector will visit your object again in a future pass.
+
    .. note::
 
       The :c:func:`Py_VISIT` call may be skipped for those members that provably