Repository navigation
TypeVarTuple and ParamSpec don't work together #99344
Description
Bug report
The following code gives me an error:
from typing import Generic, TypeVarTuple, ParamSpec
Ts = TypeVarTuple("Ts")
P = ParamSpec("P")
class Foo(Generic[*Ts, P]):
pass
Foo[int, str, [bytes]]TypeError: Too many arguments for <class 'Foo'>; actual 3, expected 2
I don't see any reasons why it doesn't work with ParamSpec. I believe it should assign int, str to Ts and [bytes] to P.
Environment
- CPython versions tested on: 3.11
- Operating system and architecture: Linux x86_64
Activity
JelleZijlstra commentedon Nov 10, 2022
cc @mrahtz @serhiy-storchaka
serhiy-storchaka commentedon Nov 11, 2022
Yes, such case is just not supported in the code, and it needs a nontrivial rewriting. I have found also several other similar bugs. I am working on the solution, PRs are almost ready.
pythongh-99344, pythongh-99379, pythongh-99382: Fix issues in substitâĶ
mrahtz commentedon Nov 12, 2022
Thank you for taking care of this, Serhiy!
gh-99344, gh-99379, gh-99382: Fix issues in substitution of ParamSpecâĶ
pythongh-99344, pythongh-99379, pythongh-99382: Fix issues in substitâĶ
pythongh-99344, pythongh-99379, pythongh-99382: Fix issues in substitâĶ
gh-99344, gh-99379, gh-99382: Fix issues in substitution of ParamSpecâĶ