<!-- Use this form only if mypy reports an "INTERNAL ERROR" and/or gives a traceback. Please include the traceback and all other messages below (use `mypy --show-traceback`). --> **Crash Report** When checking the file below, which defines a decorator using TypeVarTuple, mypy crashes. Tested on latest "wheels". **Traceback** ``` % mypy src/crypto_features/features/trades/test.py --show-traceback src/crypto_features/features/trades/test.py:10: error: INTERNAL ERROR -- Please try using mypy master on GitHub: https://mypy.readthedocs.io/en/stable/common_issues.html#using-a-development-mypy-build Please report a bug at https://github.com/python/mypy/issues version: 1.5.0+dev.2ebd51e881490f4d20635cde92ef9e3edbbad68c Traceback (most recent call last): File "mypy/checkexpr.py", line 5141, in accept File "mypy/nodes.py", line 1903, in accept File "mypy/checkexpr.py", line 439, in visit_call_expr File "mypy/checkexpr.py", line 559, in visit_call_expr_inner File "mypy/checkexpr.py", line 1349, in check_call_expr_with_callee_type File "mypy/checkexpr.py", line 1432, in check_call File "mypy/checkexpr.py", line 1623, in check_callable_call File "mypy/checkexpr.py", line 2286, in check_argument_types AssertionError: src/crypto_features/features/trades/test.py:10: : note: use --pdb to drop into pdb ``` **To Reproduce** File: ```py from typing import TypeVarTuple, TypeVar, Callable, Unpack TT = TypeVarTuple("TT") T = TypeVar("T") def decorator(f: Callable[[Unpack[TT]], T]) -> Callable[[Unpack[TT]], T]: def wrapper(*args: Unpack[TT]) -> T: return f(*args) return wrapper @decorator def f(a: int, b: int) -> int: return a + b ``` **Your Environment** <!-- Include as many relevant details about the environment you experienced the bug in --> - Mypy version used: version: 1.5.0+dev.2ebd51e881490f4d20635cde92ef9e3edbbad68c Also tried with 1.4.1 - Mypy command-line flags: Just " --show-traceback" - Mypy configuration options from `mypy.ini` (and other config files): In pyproject.toml: ```toml [tool.mypy] allow_untyped_calls = false enable_incomplete_feature = ["TypeVarTuple", "Unpack"] follow_imports = "skip" ignore_missing_imports = true plugins = "numpy.typing.mypy_plugin" ``` - Python version used: Python 3.11.3 - Operating system and version: Macos: 13.4.1 (22F82) <!-- You can freely edit this text, please remove all the lines you believe are unnecessary. -->