mypy
mypy copied to clipboard
python
Optional static typing for Python
**Bug Report** On a big source base, I generated stub files for each files (because I want to workaround the "Skipping analyzing X, missing library stubs" with inline-typed source). Most...
Hi, it appears that TypeChecker.fail doesn't match the `CheckerPluginInterface` interface https://github.com/python/mypy/blob/d39f0234a18762a9b261a28763c7bea706633ce7/mypy/plugin.py#L242 ``` @abstractmethod def fail( self, msg: str | ErrorMessage, ctx: Context, *, code: ErrorCode | None = None )...
There are many third party libraries, which aim to provide functional programming tools. Examples of this are fn.py and and funcy. They both provide a `compose` function that allows you...
**Bug Report** Mypy is inferring a `Never` in a bit of a complicated setup involving `TypeVarTuple`, `__call__` protocols and a regular `TypeVar`. If an annotated assignment is present it is...
Closes #17340 When an overloaded definition is checked, overloads usually have a trivial body. As a result, the return type of async overloads is wrapped with `Coroutine`, while the implementation...
This is a mypy crash revealed by the release of numpy 2.0.0. See also https://github.com/numpy/numpy/issues/26720 **Crash Report** The crash is shown below. Notes: - The crash does not happen with...
With ```python, lines import typing # simulate an untyped module function def function() -> typing.Any: return [] def foo(var: list|str) -> list: # insert a lot of code so that...
When using a closure to generate static methods, the resulting static method is not properly identified by mypy as being a static method. This causes mypy to complain about using...
May close #14764. Not even close to completion, I just want to see mypy-primer output now
Follow-up for #17323, resolving a false positive discovered there. This enables use of `functools.partial` to bind some `*args` or `**kwargs` on a callable typed with `ParamSpec`.