bzoracler

fix: Mismatched signature between checker plugin API and implementation

2

This PR changes the `fail` method's signature to be positional-only for the first two parameters, due to a mismatch between the [`CheckerPluginInterface` signature](https://github.com/python/mypy/blob/8dd268ffd84ccf549b3aa9105dd35766a899b2bd/mypy/plugin.py#L242-L244) and the implementation class ([`TypeChecker`](https://github.com/python/mypy/blob/8dd268ffd84ccf549b3aa9105dd35766a899b2bd/mypy/checker.py#L7116-L7118)). ```python class...

**Bug Report, To Reproduce, & Actual Behaviour** See [mypy Playground](https://mypy-play.net/?mypy=latest&python=3.12&flags=strict&gist=b603bd370c2ab88c8ce1e8007819125c) ```python from abc import ABC, abstractmethod class Abstract(ABC): @abstractmethod def method(self) -> None: ... class Unimplemented(Abstract): ... class Parent: others:...

**Bug Report, To Reproduce, & Expected Behaviour** An error occurs when defining a constrained type variable where the default is a `TypedDict` type. See [mypy Playground](https://mypy-play.net/?mypy=latest&python=3.12&gist=5bfa0a22c6118254603305812fa175ca): ```python import typing as...

**Bug Report, To Reproduce, & Actual Behaviour** The following snippet will fail at runtime, which mypy should catch with `[possibly-undefined]` (see [mypy Playground](https://mypy-play.net/?mypy=latest&python=3.12&gist=ffd0896ef508012a9825872ae6df3778)): ```python # mypy: enable-error-code=possibly-undefined from typing import...

**Bug Report, To Reproduce, & Actual Behaviour** I'm hitting a strange error in `data_structures.py` with the following project structure, with a potential culprit in `runtime_validation.py`: ``` Project/ └── package/ ├──...

Is it possible to detect other file extensions?

1

I have a bunch of `.rst`-suffixed Jinja templates that aren't being picked up by `jinja-lsp`. They're simply named `class.rst`, `function.rst`, etc. I know `jinja-lsp` itself is working correctly, because if...

Possibly related: #10680 **Bug Report, To Reproduce, & Actual Behaviour** The following snippet doesn't type-narrow properly (see [mypy Playground](https://mypy-play.net/?mypy=latest&python=3.12&flags=strict-bytes&gist=cf1f8558066ff81d9675987b137e0ba7)): ```python from typing import Protocol type StaticCallback[**P, R] = Callback[P, R]...

Errors when merging consecutive leading-indented (?) overload statements

1

**Bug Report, To Reproduce, & Actual Behaviour** In the following, `sys.version_info >= ...` can be any other compile-time constant (e.g. those set by `always_true` / `always_false`, `typing.TYPE_CHECKING`, etc.). It appears...

Wording in `mypy.plugin.Plugin.get_method[_signature]_hook` docstring

2

**Documentation** The docstring of these plugin hook methods currently say: https://github.com/python/mypy/blob/057508b4cb405fbc22e26b44f764b142352fcce5/mypy/plugin.py#L647-L648 ... https://github.com/python/mypy/blob/057508b4cb405fbc22e26b44f764b142352fcce5/mypy/plugin.py#L664 I understand this to mean that the argument to `fullname` will be `"__main__.Base.method"`, because `__main__.Base` defines `method`....

fix(typing): User may not have provided a return annotation for an overload

2

If the source code doesn't provide a return type annotation on one or more overloads, then `1`-indexed value of the inner tuple, representing the annotation, can be `None`. This is...