Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

INTERNAL ERROR during type check #17345

Closed
rnv812 opened this issue Jun 8, 2024 · 0 comments · Fixed by #17358
Closed

INTERNAL ERROR during type check #17345

rnv812 opened this issue Jun 8, 2024 · 0 comments · Fixed by #17358
Labels

Comments

@rnv812
Copy link

rnv812 commented Jun 8, 2024

Bug Report

Source code:
eventum-project/eventum-cli@2658b26#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

@rnv812 rnv812 added the bug mypy got something wrong label Jun 8, 2024
@AlexWaygood AlexWaygood added crash and removed bug mypy got something wrong labels Jun 8, 2024
ilevkivskyi added a commit that referenced this issue Jun 10, 2024
Fixes #17345
Fixes #17112
Fixes #16616

Oh well, I clearly remember I have put those lines before `if` only
because otherwise the line would be 101 chars long, and I didn't want to
wrap arguments. Now I see it was a bad idea, LOL.

---------

Co-authored-by: pre-commit-ci[bot] <66853113+pre-commit-ci[bot]@users.noreply.github.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants