Skip to content

INTERNAL ERROR during type check #17345

Description

@rnv812

Bug Report

Source code:
https://github.com/Eventum-Generatives/EventumCLI/commit/2658b26bb19101b7dac3cefe0e0550d7b6dbbc16#diff-ed093eb29d2a0b6739a267cefe9a21ac84459fb950d0b5c1c8cf02c3d1d8dd82R172

To Reproduce

git clone https://github.com/Eventum-Generatives/EventumCLI.git
cd EventumCLI
poetry install
poetry shell
mypy .

Expected Behavior
No issues with type checking

Actual Behavior

Mypy types check action failed: https://github.com/Eventum-Generatives/EventumCLI/actions/runs/9427879398/job/25972542258

Traceback:

./eventum_cli/cli_compose.py:172: 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.10.0
Traceback (most recent call last):
  File "mypy/checkexpr.py", line 5760, in accept
  File "mypy/nodes.py", line 1907, in accept
  File "mypy/checkexpr.py", line 476, in visit_call_expr
  File "mypy/checkexpr.py", line 605, in visit_call_expr_inner
  File "mypy/checkexpr.py", line 1456, in check_call_expr_with_callee_type
  File "mypy/checkexpr.py", line 1550, in check_call
  File "mypy/checkexpr.py", line 1735, in check_callable_call
  File "mypy/checkexpr.py", line 2062, in infer_function_type_arguments
  File "mypy/infer.py", line 56, in infer_function_type_arguments
  File "mypy/constraints.py", line 236, in infer_constraints_for_callable
  File "mypy/argmap.py", line 248, in expand_actual_type
KeyError: 'pop from an empty set'
./eventum_cli/cli_compose.py:172: : note: use --pdb to drop into pdb

Your Environment

Metadata

Metadata

Assignees

No one assigned

    Labels

    Fields

    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions