github.com/python/mypy issues | Ecosyste.ms: OpenCollective

regression in 1.12.0: un-suppressable error with no line number when subtyping dataclass when field has incompatible subtype

DetachHead opened this issue 3 months ago

Sync typeshed

github-actions[bot] opened this pull request 3 months ago

Stub generation adds too many explicit re-exports

henzef opened this issue 3 months ago

Variable of type `Any` narrows to any arbitrary type using `TypeVar`

stephenskett opened this issue 3 months ago

(🐞) `dmypy` can check files that dont exist

KotlinIsland opened this issue 3 months ago

Fix typos in `generics.rst`

shenyih0ng opened this pull request 3 months ago

Support override for `attr-defined` errors (something like a promise to mypy that the attr is defined going forward)

zwimer opened this issue 3 months ago

Structural Pattern Matching Exhaustiveness check when using OR

acciaioli opened this issue 3 months ago

Cannot compile Mypy with Mypyc

agriyakhetarpal opened this issue 3 months ago

(🐞) errors from imported modules aren't reported when project is installed

KotlinIsland opened this issue 3 months ago

Assertion fails in is_overlapping_types() when comparing Unpack TypeVarTuple with default type

h4l opened this issue 3 months ago

Added CLI support for Mypy Plugins

dibrinsofor opened this pull request 3 months ago

Update `config_file` docs

sobolevn opened this pull request 3 months ago

Fix subtyping between Instance and Overloaded

hauntsaninja opened this pull request 3 months ago

Problems with "expected overloaded function" when method hinted via Callback Protocol (⇝`numpy`)

randolf-scholz opened this issue 3 months ago

Be stricter about access to generic vars from class

hauntsaninja opened this pull request 3 months ago

Type guard from if statement doesn't apply to lambda statements

AaronSartin opened this issue 3 months ago

Fix couple crashes in dmypy

ilevkivskyi opened this pull request 3 months ago

Update for Windows platform. Resolves #18096

ag-tafe opened this pull request 3 months ago

Update documentation to reflect running tests on Windows platform

ag-tafe opened this issue 3 months ago

Disallow calling type on Protocol

hauntsaninja opened this pull request 3 months ago

Remove TypeType exception for abstract instantiation

hauntsaninja opened this pull request 3 months ago

Improve __new__ and __init__ precedence

hauntsaninja opened this pull request 3 months ago

Typing similar methods to have similar arguments

AaronSartin opened this issue 3 months ago

Fix checking of match sequence pattern against bounded type variables

brianschubert opened this pull request 3 months ago

PEP 702 (@deprecated): descriptors

tyralla opened this pull request 3 months ago

Crash on sequence match statement in generic class with restricted type variable bound to sequence

rwhender opened this issue 3 months ago

Calling `type[T]` returns the parent of `T` on Python 3.12+

Avasam opened this issue 3 months ago

Internal error: De-serialization failure: `TypeInfo` not fixed

inducer opened this issue 3 months ago

mypy suggests `Iterator[Never]`, wants `Iterator[None]` as return type of contextmanager

alexei opened this issue 3 months ago

PEP 702 (@deprecated): overriding deprecated methods

tyralla opened this pull request 3 months ago

Check that errno is not None

hauntsaninja opened this pull request 3 months ago

Mismatched parameter types not checked assigning `functools.partial()` to `Callable[]`

andersk opened this issue 3 months ago

Sync typeshed

github-actions[bot] opened this pull request 3 months ago

Stubgen generates `__mypy-replace` method for `@dataclass_transform`

KapJI opened this issue 3 months ago

Final works with Literal, but Final[str] don't

fjossandon opened this issue 3 months ago

Mypy Self Checking Should Enable --warn-unreachable

davidhalter opened this issue 3 months ago

Enable --warn-unreachable in --strict in Mypy 2.0

davidhalter opened this issue 3 months ago

Fixes #17840 by modifying incompatible_argument_note

fjzll opened this pull request 3 months ago

Use `strict = True` for `mypy_bootstrap.ini`

sobolevn opened this pull request 3 months ago

[arg-type] "Argument has incompatible type" for TypeVar bound to Union passed to overloaded function

Avasam opened this issue 3 months ago

Spurious type error in `except` branch after an assignment from an `await` that throws

bcmills opened this issue 3 months ago

Failure to account for None-returning generators in StopIteration.args

dvarrazzo opened this issue 3 months ago

list comprehensions: mypy fails to derive the union type for lists but not for tuples

anilbey opened this issue 3 months ago

Clean up new_semantic_analyzer config

hauntsaninja opened this pull request 3 months ago

Reconsider `--extra-checks`

hauntsaninja opened this issue 3 months ago

Lint github actions and dependabot.yml

sobolevn opened this pull request 3 months ago

Issue warning for enum with no members in stub

hauntsaninja opened this pull request 3 months ago

Remove union simplification during inference

hauntsaninja opened this pull request 3 months ago

Inferring parameter types and return type of a `type[T]`

InSyncWithFoo opened this issue 3 months ago

Disallow literal `0` step in slice expressions

brianschubert opened this pull request 3 months ago

Missing Liskov violation with generic subclass

hauntsaninja opened this issue 3 months ago

Fix crash when checking slice expression with step 0 in tuple index

brianschubert opened this pull request 3 months ago

Crash when checking slice expression with `0` used for the `step`

AlexWaygood opened this issue 3 months ago

stubgen: Add flagfile support

KapJI opened this pull request 3 months ago

Function signature matching fails at import

jolaf opened this issue 3 months ago

Regression in 'unwrapping' optional variables with a function

stianjensen opened this issue 3 months ago

Emit `[mutable-override]` for covariant override of attribute with method

brianschubert opened this pull request 3 months ago

Sync typeshed

onlined opened this pull request 3 months ago

Incorrect rendering of reStructuredText hyperlinks in `TypeIs` section of Type Narrowing documentation page

neuroevolutus opened this issue 3 months ago

Correct note about `--disallow-any-generics` flag in docs

neuroevolutus opened this pull request 3 months ago

stubgen: add support for PEPs 695 and 696 syntax

hamdanal opened this pull request 3 months ago

Subtype for `memoryview` required to pass mypy checks but triggers`TypeError` in Python

lgautier opened this issue 3 months ago

Overriding callable attribute with method not caught by `[mutable-override]`

brianschubert opened this issue 3 months ago

[Documentation] Update repository clone method. Fixes issue 18050

ag-tafe opened this pull request 3 months ago

Repository cloning via ssh throws an error

ag-tafe opened this issue 3 months ago

Remove some unused functions.

johndoknjas opened this pull request 3 months ago

Further caution against `--follow-imports=skip`

hauntsaninja opened this pull request 3 months ago

Mypy allows comparing a boolean to a string

shadycuz opened this issue 3 months ago

Defer type analysis of integer Literal when builtins.int is slow to resolve

tungol opened this pull request 3 months ago

Fix approved stub ignore, remove normpath

hauntsaninja opened this pull request 3 months ago

Remove unnecessary concatenated strings

AlexWaygood opened this pull request 3 months ago

Refactor type narrowing further

JukkaL opened this pull request 3 months ago

Refactor "==" and "is" type narrowing logic

JukkaL opened this pull request 3 months ago

ignores follow_imports=skip

sezanzeb opened this issue 3 months ago

Fix overlap check for ParamSpec types

JukkaL opened this pull request 3 months ago

Can't infer tuple inside match case

racinmat opened this issue 3 months ago

Filter to possible package paths before trying to resolve a module.

falsedrow opened this pull request 3 months ago

allow the use of --show-traceback and --pdb with stubtest

tungol opened this pull request 3 months ago

[1.12 regression] mypy no longer recognises descriptors/get that bind self

maxfischer2781 opened this issue 3 months ago

`ParamSpec` accepts multiple copies of `*args` and `**kwargs`

sterliakov opened this issue 3 months ago

False negative for calling unimplemented abstract methods

vtgn opened this issue 3 months ago

Do not prioritize ParamSpec signatures during overload resolution

sterliakov opened this pull request 3 months ago

pre-commit.ci is not running on PRs

brianschubert opened this issue 3 months ago

[mypyc] Fix is_native_ref_expr for class attrs

jhance opened this pull request 3 months ago

Make `disallow-any-unimported` flag invertible

soceanainn opened this pull request 3 months ago

[1.12, 1.13] Regression in enum narrowing

Fred-si opened this issue 3 months ago

[docs] fix broken markup in `type_narrowing.rst`

v-spassky opened this pull request 3 months ago

[1.12, 1.13 regression] `typing.overload` and `ParamSpec`

Mityuha opened this issue 3 months ago

Spurious error for code that fails truthy-bool even when not enabled

huonw opened this issue 3 months ago

Formatting settings should not bounce mypy-daemon

Redoubts opened this issue 3 months ago

[1.12 regression] Erroneous `Cannot infer type argument` for open & gzip

Redoubts opened this issue 3 months ago

Fix ternary union for literals

ilevkivskyi opened this pull request 3 months ago

Overloads in generic classes are extremely slow when using generic self

alexdrydew opened this issue 3 months ago

[1.12] Regression in `is None` narrowing

Dreamsorcerer opened this issue 3 months ago

Fix compatibility checks for conditional function definitions using decorators

brianschubert opened this pull request 3 months ago

dmypy crashes on checking a couple files

Redoubts opened this issue 3 months ago

Allow union-with-callable attributes to be overridden by methods

brianschubert opened this pull request 3 months ago

constrained TypeVar does not allow default of one of the constraint choices

asottile-sentry opened this issue 3 months ago

A `class MyCallable(Protocol[T]): def __call__(self) -> T: ...` behaves differently, and worse, than a `Callable[[], T]` for the purposes of type inference.

glyph opened this issue 3 months ago