mypy

mypy copied to clipboard

Should stubtest verify the presence of `__all__` in a stub?

2

See https://github.com/python/mypy/pull/12214 Currently, stubtest will not ensure that `__all__` is present in the stub if it is present at runtime. We will always check whether the stub has the symbols...

hauntsaninja

stubtest: relax async checking for abstract methods

8

### Description As has been pointed out in https://github.com/python/typeshed/pull/7475, the current typeshed definitions for various async methods in the stub for `typing` are problematic. Until recently, these were all "synchronous"...

AlexWaygood

stubgen drops default values for function arguments

2

**Bug Report** I have a file with _some_ types defined (that I can't modify), and want to create a stub for this file so that I can fill out the...

davidgilbertson

Type not narrowed on `isinstance(obj, Callable)` check

5

I received this bug report from a pyright user: https://github.com/microsoft/pyright/issues/2274. Mypy exhibits the same behavior, so I'm wondering whether it's a bug or the intended behavior. In this code sample,...

erictraut

Do not emit return errors if node is deferred

2

## Motivation If a variable is unknown / the function node deferred, `mypy` should not emit `Implicit return in function which does not return` or `Missing return statement` errors. Assume...

kreathon

Wrong revealed type of float/int multiplied/divided by sum(Iterable[complex]).

3

For the code below (Python 3.7.1) mypy 0.650 improperly reveals types of expressions: (float/int multiplied/divided by the sum(arg)), where arg is Iterable[complex] and generates false positive errors for the type...

AndrewUshakov

int is not a Number?

83

`n : Number = 5 ` produces `test_compiler.py:18: error: Incompatible types in assignment (expression has type "int", variable has type "Number")` Which it probably shouldn't because isinstance(n, Number) == True

tjltjl

Code review request: support for asdict returning TypedDict

1

I'm sorry for abusing the issue tracker, but I'm not sure how else to notify someone who could perform a code-review (I did try pinging/mentions). And no worries of course...

syastrov

mypy cannot detect class attribute change if asserted but modified in external call

1

**Bug Report** mypy cannot detect class attribute change if assert but modified in external call This is a case found when I'm trying to check the close status first, and...

aploium

abstract dataclass inheritance gives `Only concrete class can be given where "Type[Abstract]" is expected`

34

mypy 0.620, `--strict`. Sample code: ```python3 import abc from dataclasses import dataclass @dataclass # error: Only concrete class can be given where "Type[Abstract]" is expected class Abstract(metaclass=abc.ABCMeta): a: str @abc.abstractmethod...

ojii