Eric Traut

In verbose mode, pyright should output the pythonVersion it is assuming. It currently logs: `Assuming Python version [object Object]`

Incorrect `TypeIs` narrowing for tuples

1

I noticed this behavior when investigating a [similar issue in pyright](https://github.com/microsoft/pyright/issues/8554). Mypy isn't correctly narrowing tuples in some cases. ```python from typing_extensions import TypeIs def is_tuple_of_strings(v: tuple[int | str, ...])...

Overloads not resolved correctly when argument is `Any` and return types use `TypeGuard` or `TypeIs`

4

When overload matching is ambiguous due to an `Any` argument, mypy typically looks at the return types of the potential matches. If the return types differ, it evaluates the return...

First draft of an update to the Overloads chapter (DRAFT: DO NOT MERGE)

2

* Attempts to clearly define the algorithm for overload matching. * Describes checks for overload consistency, overlapping overloads, and implementation consistency.

False negative when assigning abstract class to `type[T]`

1

The typing spec indicates that only instantiable class objects are compatible with `type[T]`. Pyright correct detects an attempt to assign an abstract class to `type[T]` in most cases, but it...

### Discussed in https://github.com/microsoft/pyright/discussions/9004 Originally posted by **Delgan** September 16, 2024 Hi. I've read the docs about [Library interface](https://github.com/microsoft/pyright/blob/main/docs/typed-libraries.md#library-interface) but I can't understand why isn't `pyright` reporting an error when...

Mypy crashes when using `reveal_type` on large literal int

2

I noticed this issue when exploring a [feature request](https://github.com/microsoft/pyright/issues/8434) in pyright. The following code results in an "INTERNAL ERROR" when running mypy. ```python from typing import Final MY_CONST: Final =...

When using PEP 728, it's possible to specify `extra_items=Never`. The PEP indicates that this should be functionally equivalent to `closed=True`. Pyright fails to generate an error in this case: ```python...

The narrowed type in the following example is incorrect: ```python class A(TypedDict): a: int def func(t: A): if "b" in t: reveal_type(t) # Should be `A`, not `Never` ``` We...

This [discussion](https://github.com/microsoft/pyright/discussions/10365) uncovered an apparent bug. If the class `mpz` is renamed `i` (or any name beginning with a character prior to `i`), the overlapping overload error disappears. I suspect...