mypy

mypy copied to clipboard

Adverse interaction between `unreachable` code, `type: ignore[...]`, and `pass` or `...`

1

**Bug Report** Both `pass` statements and the ellipsis (`...`) are treated as non-statements by mypy, leading to unexpected handling of an `unreachable` cases. **To Reproduce** Run the following with `--strict...

finite-state-machine

`TypeIs` narrowing of union type in a generic is not working

2

**Bug Report** Given an object of type `int | bytes` and a `TypeIs` function that narrows `int | str | bytes` into `int | str`, mypy correctly infers that the...

mbikovitsky

`bool` is available even if `*constraints` of `TypeVar` is the exact types `int` and `float`

4

*Memo: - `mypy --strict test.py` - mypy 1.18.2 - Python 3.14.0 - Windows 11 [The doc](https://docs.python.org/3/library/typing.html#typing.TypeVar) says **'Must be exactly str or bytes'** about `*constraints` to make difference between `bound`...

hyperkai

Fix error code precedence to ensure disable overrides enable

5

**Add failing test for per-module error code precedence** ### Contribution Summary This Pull Request does **not** contain a functional fix. It contributes a **failing regression test** to clearly document a...

franzengel04

numpy dtype Statement is unreachable with mypy 1.19.0

1

**Bug Report** When checking the type field of a dtype with match, mypy 1.19.0 complains sbout some cases with ` error: Statement is unreachable`. It doesn't look like a numpy...

acabal33uab

`--disable-error-code=unused-ignore` should override `enable_error_code = ["unused-ignore"]`

4

**Bug Report** `mypy bug.py --disable-error-code=unused-ignore` shows > bug.py:1: error: Unused "type: ignore" comment [unused-ignore] > Found 1 error in 1 file (checked 1 source file) **To Reproduce** `bug.py` ```python a...

bersbersbers

No error reported when a contravariant TypeVar is used as a return type within a tuple

1

**Bug Report** Mypy reports an error (as expected) when a contravariant `TypeVar` is used as a return type. However, if it is wrapped in a `tuple`, no error is reported...

prasanthcakewalk

Support generic upper bounds

5

**Feature** Allow generic upper bounds such as: ```py class ClassA[T, S: Sequence[T]]: ... ``` **Pitch** [PEP 695](https://peps.python.org/pep-0695/#type-parameter-scopes) has an example that currently doesn't work, and alludes to a future extension...

KholdStare

Fix reassignment of generic TypeAliasType treated as type expression

7

Fixes #20308 **Summary** This PR fixes a false positive `[type-arg]` error when reassigning a generic PEP 695 `TypeAliasType` to a variable without type arguments. **The Fix** Modified `is_type_ref` in `semanal.py`...

pareshjoshij

Add option to specify junit xml testsuite name

1

**Feature** Add an option to specify junit xml testsuite name. For example `--junit-xml-name` or `--junit-suite-name` . **Pitch** Currently, mypy just writes the generic testsuite name "mypy". In a CI with...

dyollb