Closed
Description
Crash Report
When mixing both typing.Protocol and attrs.define to define a class, I was able to trigger and internal error. It's not clear to me if this should allowed or is a sensible thing to do, but it should at least not crash.
Traceback
core.py: error: INTERNAL ERROR -- Please try using mypy master on GitHub:
https://mypy.readthedocs.io/en/stable/common_issues.html#using-a-development-mypy-build
If this issue continues with mypy master, please report a bug at https://github.com/python/mypy/issues
version: 0.980+dev.92420469fddfb6b96b1e66ed8ab02ace550bc01c
core.py: : note: please use --show-traceback to print a traceback when reporting a bug
(venv) PS C:\wc\olc\bitbucket\src\prototyping\simulation> mypy core.py --show-traceback
core.py: 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: 0.980+dev.92420469fddfb6b96b1e66ed8ab02ace550bc01c
Traceback (most recent call last):
File "C:\Users\clawrence\AppData\Local\Programs\Python\Python310\lib\runpy.py", line 196, in _run_module_as_main
return _run_code(code, main_globals, None,
File "C:\Users\clawrence\AppData\Local\Programs\Python\Python310\lib\runpy.py", line 86, in _run_code
exec(code, run_globals)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\Scripts\mypy.exe\__main__.py", line 7, in <module>
sys.exit(console_entry())
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\__main__.py", line 12, in console_entry
main(None, sys.stdout, sys.stderr)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\main.py", line 94, in main
res, messages, blockers = run_build(sources, options, fscache, t0, stdout, stderr)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\main.py", line 173, in run_build
res = build.build(sources, options, None, flush_errors, fscache, stdout, stderr)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\build.py", line 189, in build
result = _build(
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\build.py", line 273, in _build
graph = dispatch(sources, manager, stdout)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\build.py", line 2880, in dispatch
process_graph(graph, manager)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\build.py", line 3264, in process_graph
process_stale_scc(graph, scc, manager)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\build.py", line 3359, in process_stale_scc
mypy.semanal_main.semantic_analysis_for_scc(graph, scc, manager.errors)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\semanal_main.py", line 90, in semantic_analysis_for_scc
check_type_arguments(graph, scc, errors)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\semanal_main.py", line 370, in check_type_arguments
with state.wrap_context():
File "C:\Users\clawrence\AppData\Local\Programs\Python\Python310\lib\contextlib.py", line 153, in __exit__
self.gen.throw(typ, value, traceback)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\build.py", line 2066, in wrap_context
yield
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\semanal_main.py", line 372, in check_type_arguments
state.tree.accept(analyzer)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\nodes.py", line 374, in accept
return visitor.visit_mypy_file(self)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\semanal_typeargs.py", line 51, in visit_mypy_file
super().visit_mypy_file(o)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\traverser.py", line 114, in visit_mypy_file
d.accept(self)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\nodes.py", line 1284, in accept
return visitor.visit_assignment_stmt(self)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\mixedtraverser.py", line 77, in visit_assignment_stmt
self.visit_optional_type(o.type)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\mixedtraverser.py", line 107, in visit_optional_type
t.accept(self)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\types.py", line 1250, in accept
return visitor.visit_instance(self)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\semanal_typeargs.py", line 109, in visit_instance
if not is_subtype(arg, tvar.upper_bound):
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\subtypes.py", line 167, in is_subtype
return _is_subtype(left, right, subtype_context, proper_subtype=False)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\subtypes.py", line 302, in _is_subtype
return left.accept(SubtypeVisitor(orig_right, subtype_context, proper_subtype))
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\types.py", line 2085, in accept
return visitor.visit_tuple_type(self)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\subtypes.py", line 662, in visit_tuple_type
elif self._is_subtype(mypy.typeops.tuple_fallback(left), right):
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\typeops.py", line 118, in tuple_fallback
return Instance(info, [join_type_list(items)])
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\join.py", line 649, in join_type_list
joined = join_types(joined, t)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\join.py", line 233, in join_types
return t.accept(TypeJoinVisitor(s, instance_joiner))
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\types.py", line 1250, in accept
return visitor.visit_instance(self)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\join.py", line 308, in visit_instance
nominal = self.instance_joiner.join_instances(t, self.s)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\join.py", line 108, in join_instances
result = self.join_instances_via_supertype(s, t)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\join.py", line 117, in join_instances_via_supertype
if is_subtype(p, s):
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\subtypes.py", line 167, in is_subtype
return _is_subtype(left, right, subtype_context, proper_subtype=False)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\subtypes.py", line 302, in _is_subtype
return left.accept(SubtypeVisitor(orig_right, subtype_context, proper_subtype))
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\types.py", line 1250, in accept
return visitor.visit_instance(self)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\subtypes.py", line 414, in visit_instance
if base._promote and any(
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\subtypes.py", line 415, in <genexpr>
self._is_subtype(p, self.right) for p in base._promote
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\subtypes.py", line 353, in _is_subtype
return is_subtype(left, right, subtype_context=self.subtype_context)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\subtypes.py", line 167, in is_subtype
return _is_subtype(left, right, subtype_context, proper_subtype=False)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\subtypes.py", line 302, in _is_subtype
return left.accept(SubtypeVisitor(orig_right, subtype_context, proper_subtype))
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\types.py", line 1250, in accept
return visitor.visit_instance(self)
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\subtypes.py", line 531, in visit_instance
if right.type.is_protocol and is_protocol_implementation(
File "C:\wc\olc\bitbucket\src\prototyping\simulation\venv\lib\site-packages\mypy\subtypes.py", line 917, in is_protocol_implementation
assert supertype is not None
AssertionError:
core.py: : note: use --pdb to drop into pdb
To Reproduce
Here's the minimal reproduction:
from attrs import define
from typing import Iterator, Protocol
@define
class SimEvent(Protocol):
pass
event_generator: Iterator[tuple[int, SimEvent]]
Your Environment
- Mypy version used: 0.980+dev.92420469fddfb6b96b1e66ed8ab02ace550bc01c
- Mypy command-line flags: none
- Mypy configuration options from
mypy.ini(and other config files): none - Python version used: Python 3.10.4
- Operating system and version: Windows 10 Pro