LeeeeT
LeeeeT
**I just really love 💕 🤩 the idea of adding some emojis 😄😁😅 here and there across the 📄 docs 📄 (like [in here](https://fastapi.tiangolo.com/async) for example). So I decided to...
# Bug report The following code gives me an error: ```python from typing import Generic, TypeVarTuple, ParamSpec Ts = TypeVarTuple("Ts") P = ParamSpec("P") class Foo(Generic[*Ts, P]): pass Foo[int, str, [bytes]]...
Pyright is unable to infer the type of bound type variable in generic function under certain conditions. ```python from collections.abc import Callable from typing import TypeVar, Generic T = TypeVar('T',...
Prior to version [1.1.357](https://github.com/microsoft/pyright/releases/tag/1.1.357) the following code was type checked as I expected. ```python from collections.abc import Callable def d[T, R](c: Callable[[T], R]) -> Callable[[T], R]: ... @d def f[A,...
For the following code, pyright is doing something weird: ```python from typing import Protocol class P(Protocol): def __call__[T](self, a: T) -> T: ... def f[T](a: T) -> T: return a...
Pyright should produce an error for the following code, as `object` cannot be assigned to `T@f`. ```python from collections.abc import Callable def f[T](v: object, c: Callable[[], Callable[[T], object]]) -> None:...
According to the documentation `s1 - s2` returns the set of all elements that are in `s1` but not in `s2`. So what's the point of constraining `s2` elements type?...
Starting with version 1.1.373, I am experiencing an out of memory error when using pyright to type check my project [felis](https://github.com/LeeeeT/felis). Here's the [workflow run](https://github.com/LeeeeT/felis/actions/runs/10165951692/job/28586377327). I tried to extract the...