Report of INTERNAL ERROR #3574
Description
Using MyPy 0.511, running mypy --show-traceback on
def decorator(func: Callable[..., _T]) -> Callable[..., _T]:
return func
def func(*args, **kwargs):
return None
ref = func
@decorator(func)
def func(*args, **kwargs):
return True
@decorator(func)
def func(*args, **kwargs):
return func(*args, **kwargs)gives the error
.\break_mypy.py:5: error: INTERNAL ERROR -- please report a bug at https://github.com/python/mypy/issues version: 0.511
Traceback (most recent call last):
File "C:\Anaconda3\Scripts\mypy", line 6, in <module>
main(__file__)
File "C:\Anaconda3\lib\site-packages\mypy\main.py", line 46, in main
res = type_check_only(sources, bin_dir, options)
File "C:\Anaconda3\lib\site-packages\mypy\main.py", line 93, in type_check_only
options=options)
File "C:\Anaconda3\lib\site-packages\mypy\build.py", line 188, in build
graph = dispatch(sources, manager)
File "C:\Anaconda3\lib\site-packages\mypy\build.py", line 1595, in dispatch
process_graph(graph, manager)
File "C:\Anaconda3\lib\site-packages\mypy\build.py", line 1838, in process_graph
process_stale_scc(graph, scc, manager)
File "C:\Anaconda3\lib\site-packages\mypy\build.py", line 1937, in process_stale_scc
graph[id].type_check_first_pass()
File "C:\Anaconda3\lib\site-packages\mypy\build.py", line 1510, in type_check_first_pass
self.type_checker.check_first_pass()
File "C:\Anaconda3\lib\site-packages\mypy\checker.py", line 177, in check_first_pass
self.accept(d)
File "C:\Anaconda3\lib\site-packages\mypy\checker.py", line 264, in accept
stmt.accept(self)
File "C:\Anaconda3\lib\site-packages\mypy\nodes.py", line 855, in accept
return visitor.visit_assignment_stmt(self)
File "C:\Anaconda3\lib\site-packages\mypy\checker.py", line 1180, in visit_assignment_stmt
self.check_assignment(s.lvalues[-1], s.rvalue, s.type is None, s.new_syntax)
File "C:\Anaconda3\lib\site-packages\mypy\checker.py", line 1260, in check_assignment
self.infer_variable_type(inferred, lvalue, self.expr_checker.accept(rvalue),
File "C:\Anaconda3\lib\site-packages\mypy\checkexpr.py", line 2058, in accept
typ = node.accept(self)
File "C:\Anaconda3\lib\site-packages\mypy\nodes.py", line 1215, in accept
return visitor.visit_name_expr(self)
File "C:\Anaconda3\lib\site-packages\mypy\checkexpr.py", line 122, in visit_name_expr
result = self.analyze_ref_expr(e)
File "C:\Anaconda3\lib\site-packages\mypy\checkexpr.py", line 160, in analyze_ref_expr
assert result is not None
AssertionError: