Eric Traut

Results 19 issues of Eric Traut

This bug is transferred from https://github.com/microsoft/pyright/issues/950: **Describe the bug** Output of filtering a pandas DataFrame (like `df[df.col == x]`), when it is fact another DataFrame. **To Reproduce** ```python df1: pd.DataFrame...

bug
typestub

The django stubs contain several bugs in the `db/models/fields/__init.pyi` file. Subclasses of the generic `Field` class should generally specify concrete types for type arguments rather than being generic themselves. For...

needs stub

Many of the core stdlib stubs, including `builtins.pyi` import symbols from `typing_extensions`. The `typing_extensions.pyi` stub is now part of the stdlib stubs, but for a short period of time after...

project

My understanding is that symbols defined at the module scope of a stub file and begin with an underscore are meant to be private to the stub — that they...

question

… to preserve signatures of wrapped and wrapper functions.

needs decision

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,...

bug
topic-type-narrowing

Mypy does not detect the case where a covariant or contravariant class (i.e. a class that is parameterized by a class-scoped covariant or contravariant TypeVar) derives from an invariant class....

bug
topic-type-variables

I'm not entirely sure this is a bug in the type stub. It depends on the interpretation of ParamSpec when used with methods. This is related to the discussion [here](https://github.com/python/typing/discussions/946)...

…d [here](https://discuss.python.org/t/draft-of-typing-spec-chapter-for-enums/43496/9) and [here](https://github.com/python/typing-council/issues/11). This is an experiment to understand the potential impact of this change: DO NOT MERGE

DO-NOT-MERGE

I recently fixed a bug in pyright that caused a false negative when attempting to assign a `list[LiteralString]` to a `list[str]`. As we know, the type parameter for `list` is...

type-false-positive