dmypy "Daemon crashed!" with KeyError: 'sqlalchemy.orm' #9366
Description
Below is a repeatable dmypy invokation sequence showing a crash due to KeyError. Is there a way to get better debug output to help resolve this?
$ dmypy run -- --config-file /home/russ/pcode/edms/server/../env/mypy.ini --strict /home/russ/pcode/edms/server/deleteme.py
Daemon started
deleteme.py:3:3: error: Unsupported operand types for + ("int" and "str") [operator]
Found 1 error in 1 file (checked 21 source files)
$
$ dmypy run -- --config-file /home/russ/pcode/edms/server/../env/mypy.ini --strict /home/russ/pcode/edms/server/deleteme.py
deleteme.py:3:3: error: Unsupported operand types for + ("int" and "str") [operator]
Found 1 error in 1 file (checked 1 source file)
$
$ dmypy run -- --config-file /home/russ/pcode/edms/server/../env/mypy.ini --strict /home/russ/pcode/edms/server/deleteme.py
deleteme.py:3:3: error: Unsupported operand types for + ("int" and "str") [operator]
Found 1 error in 1 file (checked 1 source file)
$
$ dmypy run -- --config-file /home/russ/pcode/edms/server/../env/mypy.ini --strict /home/russ/pcode/edms/shared/deployment_check/deployment_check.py
Success: no issues found in 1 source file
$
$ dmypy run -- --config-file /home/russ/pcode/edms/server/../env/mypy.ini --strict /home/russ/pcode/edms/server/server/EventLogger.py
Daemon crashed!
Traceback (most recent call last):
File "mypy/dmypy_server.py", line 223, in serve
File "mypy/dmypy_server.py", line 266, in run_command
File "mypy/dmypy_server.py", line 325, in cmd_run
File "mypy/dmypy_server.py", line 387, in check
File "mypy/dmypy_server.py", line 561, in fine_grained_increment_follow_imports
File "mypy/dmypy_server.py", line 686, in direct_imports
KeyError: 'sqlalchemy.orm'