-
-
Notifications
You must be signed in to change notification settings - Fork 3k
Closed
Labels
Description
This relies on tjax version 0.26 (tagged and released to PyPI).
from functools import partial
from tjax import custom_jvp # Copying the definition into the file does not crash.
@partial(custom_jvp)
def f(x: int) -> None:
pass
Produces:
a.py:6: 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.0.0
Traceback (most recent call last):
File "mypy/checkexpr.py", line 4821, in accept
File "mypy/nodes.py", line 1891, in accept
File "mypy/checkexpr.py", line 425, in visit_call_expr
File "mypy/checkexpr.py", line 545, in visit_call_expr_inner
File "mypy/checkexpr.py", line 1197, in check_call_expr_with_callee_type
File "mypy/checkexpr.py", line 1280, in check_call
File "mypy/checkexpr.py", line 1471, in check_callable_call
File "mypy/checkexpr.py", line 2122, in check_argument_types
File "mypy/checkexpr.py", line 2166, in check_arg
File "mypy/subtypes.py", line 176, in is_subtype
File "mypy/subtypes.py", line 335, in _is_subtype
File "mypy/types.py", line 1860, in accept
File "mypy/subtypes.py", line 686, in visit_callable_type
File "mypy/subtypes.py", line 1423, in is_callable_compatible
File "mypy/subtypes.py", line 1717, in unify_generic_callable
File "mypy/solve.py", line 88, in solve_constraints
File "mypy/subtypes.py", line 176, in is_subtype
File "mypy/subtypes.py", line 335, in _is_subtype
File "mypy/types.py", line 705, in accept
File "mypy/subtypes.py", line 649, in visit_param_spec
File "mypy/subtypes.py", line 388, in _is_subtype
File "mypy/subtypes.py", line 176, in is_subtype
File "mypy/subtypes.py", line 335, in _is_subtype
File "mypy/types.py", line 1348, in accept
File "mypy/subtypes.py", line 435, in visit_instance
AttributeError: attribute 'fallback_to_any' of 'TypeInfo' undefined
a.py:6: : note: use --pdb to drop into pdb