search

python-trio / trio-typing

Type hints for Trio and related projects
Other
28 stars 17 forks source link

trio-stubs runtime error (mypy >= 1.4.0) #87

Closed belm0 closed 1 year ago

belm0 commented 1 year ago 
/.../lib/python3.8/site-packages/trio-stubs/__init__.pyi:129: 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.4.1
Traceback (most recent call last):
  File "mypy/checker.py", line 582, in accept
  File "mypy/nodes.py", line 896, in accept
  File "mypy/checker.py", line 4721, in visit_decorator
  File "mypy/checkexpr.py", line 1291, in check_call
  File "mypy/checkexpr.py", line 1501, in check_callable_call
  File "mypy/checkexpr.py", line 1031, in apply_function_plugin
  File "/.../lib/python3.8/site-packages/trio_typing/plugin.py", line 496, in takes_callable_and_args_callback
    TypeVarType(
TypeError: __init__() missing required argument 'default' (pos 6)
belm0 commented 1 year ago

it seems to be fixed in trio-typing master-- need a release

TeamSpen210 commented 1 year ago

This is a duplicate of #84. Indeed we need a release though.