mypy
mypy copied to clipboard
python
Optional static typing for Python
**Feature** We sometimes show the signature of `__call__` when a value with a callable type is incompatible with a callback protocol, but not always. At least when checking argument types,...
**Bug Report** `--allow-redefinition` does not come into effect for imports that shadow a previous import with incompatible types. Even if the previous name is first `del`'d the error still persists,...
Would it be possible to get mypy to list all imports that are only used for annotations that are not in an `if TYPE_CHECKING` check? It would be very useful...
This issue is used to centrally track issues related to using mypy together with popular third-party packages (either using inline types or stubs). These issues can impact a large number...
### Bug Report MyPy incorrectly asses the type of list comprehensions built from union types. I can't see a way to make this pass typing checks. This and it even...
**Bug Report** Tests won't run on Windows. FileNotFoundError: [WinError 2] The system cannot find the file specified **To Reproduce** ```bash python -m venv venv . venv/Scripts/activate python -m pip install...
**Bug Report** (A clear and concise description of what the bug is.) **To Reproduce** ```python from flask import Flask, render_template, redirect, url_for from flask_sqlalchemy import SQLAlchemy import math app =...
**Bug Report** I think this is related to the `join-v-union` discussion but this case is so easy to reproduce that I thought it's worth the ticket **To Reproduce** ```python from...
**Bug Report** `mypy` tries to infer the type parameters of a generic class even if they are explicitly given. **To Reproduce** ```python from typing import overload class Frobnicator[T]: # Using...
