Repository navigation
Internal error when specialization for TypeVarTuple contains multiple unpacked tuples #18856
Description
The following code results in a mypy "INTERNAL ERROR".
class A[*Ts]: ...
A[*tuple[int, ...], *tuple[int, ...]] # no error, fails at runtime:
# TypeError: More than one unpacked arbitrary-length tuple argument
b: tuple[*tuple[int, ...], *tuple[int, ...]] # error, as expectedHere's the stack trace for the crash:
version: 1.15.0
Traceback (most recent call last):
File "mypy/checkexpr.py", line 5903, in accept
File "mypy/nodes.py", line 2488, in accept
File "mypy/checkexpr.py", line 4768, in visit_type_application
File "mypy/checkexpr.py", line 4963, in apply_type_arguments_to_callable
File "mypy/checkexpr.py", line 4899, in split_for_callable
File "mypy/typeanal.py", line 2532, in validate_instance
File "mypy/types.py", line 3732, in find_unpack_in_list
AssertionError:
I found this when diagnosing a bug reported against pyright.
It may be related to #17755.
Activity
Fix crash on multiple unpacks in a bare type application (#18857)
Fix crash on multiple unpacks in a bare type application (#18857)