On Thu, Jan 13, 2022 at 8:18 AM Matthew Rahtz <mra...@google.com> wrote:
> Thanks also Kevin for this feedback! > > Good point about being careful to distinguish type parameters vs type > arguments. If I understand correctly, you're making two points: > > 1. The wording of the 'Multiple Type Variable Tuples: Not Allowed' section > - you're saying that we're being a bit imprecise here in saying that we > disallow multiple TypeVarTuples in a type parameter list, given that in > e.g. `def f(x: *Ts1, y: *Ts2)`, both Ts1 and Ts2 are members of the > parameter list for the function f, but there it's unambiguous, so in fact > it *is* allowed. > That looks like a syntax error. We only allow *Ts if the argument is of the form *a. `def f(x: *Ts1)` is not allowed. Maybe you were thinking of `def f(x: Array[*Ts1], y: Array[*Ts2]) as the example? That seems unambiguous since the two positional arguments are given separately. -- --Guido van Rossum (python.org/~guido) *Pronouns: he/him **(why is my pronoun here?)* <http://feministing.com/2015/02/03/how-using-they-as-a-singular-pronoun-can-change-the-world/>
_______________________________________________ Python-Dev mailing list -- python-dev@python.org To unsubscribe send an email to python-dev-le...@python.org https://mail.python.org/mailman3/lists/python-dev.python.org/ Message archived at https://mail.python.org/archives/list/python-dev@python.org/message/KFLFRX6PWDEEFXKL77UZJAADMK4YKDF7/ Code of Conduct: http://python.org/psf/codeofconduct/