with statement star target

[wwotex]

Documentation

https://docs.python.org/3/reference/simple_stmts.html#grammar-token-python-grammar-target

According to the docs, the grammar for the with statement allows:

with_stmt                          ::= "with" with_stmt_contents
with_stmt_contents           ::= with_item
with_item                          ::= expression "as" target
target                                ::= identifier  | "*" target

from my understanding that would allow a python syntax like this:

class Test:
    def __enter__(self):
        return (1, 2)

    def __exit__(self, exc_type, exc_value, traceback):
        pass


with Test() as *mambo:
    print(mambo, type(mambo))

But for me with python version 3.12.8

I get a syntax error:

  File "/home/gringo/accessia/main/controller_start/test.py", line 9
    with Test() as *mambo:
                   ^^^^^^
SyntaxError: starred assignment target must be in a list or tuple

[HLLRay]

https://peps.python.org/pep-3132/

[zware]

with Test() as (*mambo,):
    print(mambo, type(mambo))

does give [1, 2] <class 'list'>, as does with Test() as [*mambo]:. I'm not a grammar expert, but I believe there are some places where the tuple is implicit so that "*" target is valid and other places where the ()/[] are required to be explicitly added. I'm not sure whether/how the documentation can be improved here.