Footnote

Author: StanFromIreland

peps/pep-0679.rst

@@ -96,7 +96,7 @@ is out of the scope of this PEP.
 Specification
 =============
 
-The formal grammar of the :keyword:`assert` statement will change to:
+The formal grammar of the :keyword:`assert` statement will change to [#edgecase]_:
 
 .. code-block::
 
@@ -115,7 +115,7 @@ The specification that a :exc:`SyntaxWarning` be raised informing users
 of the new syntax complicates the implementation, as warnings
 should be raised during compilation.
 
-The authors believe that an ideal implementation would be in the parser,
+The authors believe that an ideal implementation would be in the parser [#edgecase]_,
 resulting in ``assert (x,y)`` having the same AST as ``assert x,y``.
 This necessitates a two-step implementation plan, with a necessary temporary
 compromise.
@@ -282,14 +282,29 @@ Footnotes
 =========
 
 .. [#SO1] `StackOverflow: "'assert' statement with or without parentheses" <https://stackoverflow.com/questions/3112171/assert-statement-with-or-without-parentheses>`_
+
 .. [#RD] `/r/python: "Rant: use that second expression in assert! " <https://www.reddit.com/r/Python/comments/1n87g91/rant_use_that_second_expression_in_assert/>`_
+
 .. [#fl8] `flake8: Rule F631 <https://flake8.pycqa.org/en/latest/user/error-codes.html>`_
+
 .. [#pylint] `pylint: assert-on-tuple (W0199) <https://pylint.pycqa.org/en/latest/user_guide/checkers/features.html>`_
+
 .. [#previmp] For the previous parser implementation, see :cpython-pr:`30247`
+
 .. [#exception] During the updating of this PEP, an exception
                 (``assert (*(t := ()),)``) was found, contradicting the warning.
+
 .. [#assertwith] `[DPO] Pre-PEP: Assert-with: Dedicated syntax for assertion messages <https://discuss.python.org/t/pre-pep-assert-with-dedicated-syntax-for-assertion-messages/13247>`_
 
+.. [#edgecase] An edge case arises with constructs like:
+
+                 >>> x = (0,)
+                 >>> assert (*x, "edge cases aren't fun:-(")
+
+               This form is currently parsed as a single tuple expression, not
+               as a condition/message pair, and will need explicit handling in
+               the compiler.
+
 
 Copyright
 =========