Open
Description
Mypy 1.11 changed some internal API and now TypeVars
need a TypeVarId
not just an int
.
See python/mypy#17671
lib/python3.10/site-packages/trio-stubs/__init__.pyi:135: 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.11.2
Traceback (most recent call last):
File "mypy/checker.py", line 591, in accept
File "mypy/nodes.py", line 929, in accept
File "mypy/checker.py", line 5001, in visit_decorator
File "mypy/checker.py", line 5028, in visit_decorator_inner
File "mypy/checkexpr.py", line 1561, in check_call
File "mypy/checkexpr.py", line 1803, in check_callable_call
File "mypy/checkexpr.py", line 1241, in apply_function_plugin
File "lib/python3.10/site-packages/trio_typing/plugin.py", line 464, in takes_callable_and_args_callback
TypeVarType(
File "mypy/types.py", line 604, in __init__
TypeError: mypy.types.TypeVarId object expected; got int
lib/python3.10/site-packages/trio-stubs/__init__.pyi:135: : note: use --pdb to drop into pdb