Hello,

In the new version, I get the following error with my mypy check:

Traceback (most recent call last): 
File "/usr/local/bin/prospector", line 8, in <module> 
sys.exit(main()) 
File "/usr/local/lib/python3.8/dist-packages/prospector/run.py", line 181, 
in main 
prospector.execute() 
File "/usr/local/lib/python3.8/dist-packages/prospector/run.py", line 70, 
in execute 
messages += tool.run(found_files) 
File 
"/usr/local/lib/python3.8/dist-packages/prospector/tools/mypy/__init__.py", 
line 90, in run 
result = self.checker.run(paths) 
File "mypy/api.py", line 69, in run 
File "mypy/api.py", line 58, in _run 
File "mypy/api.py", line 69, in <lambda> 
File "mypy/main.py", line 87, in main 
File "mypy/main.py", line 165, in run_build 
File "mypy/build.py", line 179, in build 
File "mypy/build.py", line 254, in _build 
File "mypy/build.py", line 2697, in dispatch 
File "mypy/build.py", line 3021, in process_graph 
File "mypy/build.py", line 3138, in process_stale_scc 
File "mypy/build.py", line 2288, in write_cache 
File "mypy/build.py", line 1475, in write_cache 
File "mypy/nodes.py", line 313, in serialize 
File "mypy/nodes.py", line 3149, in serialize 
File "mypy/nodes.py", line 3083, in serialize 
AssertionError: Definition of alembic.runtime.migration.EnvironmentContext 
is unexpectedly incomplete

Is it an issue in the newly added types in alembic?

Thanks in advance
Stéphane Brunner

-- 
SQLAlchemy - 
The Python SQL Toolkit and Object Relational Mapper

http://www.sqlalchemy.org/

To post example code, please provide an MCVE: Minimal, Complete, and Verifiable 
Example.  See  http://stackoverflow.com/help/mcve for a full description.
--- 
You received this message because you are subscribed to the Google Groups 
"sqlalchemy" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sqlalchemy+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sqlalchemy/42b419e5-9bad-461b-9fd2-5df43f64bd87n%40googlegroups.com.

Reply via email to