dry-python/returns crashes with mypy@1.6.0
#16248
Labels
Comments
ilevkivskyi
added a commit
that referenced
this issue
Oct 12, 2023
Fixes #16245 Fixes #16248 Unfortunately I was a bit reckless with parentheses, but in my defense `unify_generic_callable()` is kind of broken for long time, as it can return "solutions" like ```{1: T`1}```. We need a more principled approach there (IIRC there is already an issue about this in the scope of `--new-type-inference`). (The fix is quite trivial so I am not going to wait for review too long to save time, unless there will be some issues in `mypy_primer` etc.)
hauntsaninja
pushed a commit
that referenced
this issue
Oct 17, 2023
Fixes #16245 Fixes #16248 Unfortunately I was a bit reckless with parentheses, but in my defense `unify_generic_callable()` is kind of broken for long time, as it can return "solutions" like ```{1: T`1}```. We need a more principled approach there (IIRC there is already an issue about this in the scope of `--new-type-inference`). (The fix is quite trivial so I am not going to wait for review too long to save time, unless there will be some issues in `mypy_primer` etc.)
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
I have a very complex typed project, called
returns. Update to mypy@1.6.0 crashes: https://github.com/dry-python/returns/actions/runs/6483844863/job/17606337545?pr=1701There are a lot of things going on the repo: plugins, HKTs, complex generics, etc, etc
So, I would need to find a minimal reproducer.
Not sure if this is related to #16245 or not
The text was updated successfully, but these errors were encountered: