microsoft / pyright

Static Type Checker for Python

microsoft/pyright Issues

Enum Nonmember Attribute Access Regression
Updated a minute ago1
TypeVars for implicit lambdas can be tricked based on a single Callable
Updated a minute ago1
Enum Literal Handling Regression
Updated a minute ago
list,tuple type assign to protocol type with warning
Closed a minute ago1
Enum type matching issues in pyright `1.1.363`
Updated a minute ago1
no error when using generic in `except` block
Closed a day ago1
Incorrect type narrowing for isinstance when filter is a generic class with a type parameter that has a default
Closed a day ago2
Odd type narrowing for variable length tuples in value dependent if statements
Closed a day ago4
TypeVars are lost when passed through some type-preserving operations
Closed a day ago2
aliases from other modules are incorrectly marked as deprecated when `deprecateTypingAliases` is enabled if the alias has the same name as a deprecated alias
Closed a day ago1
Regression: ParamSpec and TypeVarTuple default values result in strange `assert_type` error
Closed a day ago1
Unnecessary comparison false positive with union of Coroutine and None
Closed a day ago1
Diagnostics for `reportUnnecessaryTypeIgnoreComment` are not marked as such
Closed a day ago4
Global private variables cause `reportPrivateUsage` error when used in classes
Closed a day ago1
pyright doesn't understand collection is not None (hence iterable) after condition check
Closed a day ago1
Incorrect variance inference when generic callable attributes/properties present
Closed 2 days ago4
Function defined in __init__.py is unknown
Closed 2 days ago1
Different behavior when switching arguments using same generic type?
Updated 2 days ago
Narrowing does not take shared variables into account
Closed 2 days ago1
Consider functions decorated by another variable's decorator not unused
Closed 2 days ago1
Type variable re-scoping doesn't work under certain circumstances with higher-order functions
Updated 2 days ago
Incompatible type issue when type narrowing TypeVar with constraints.
Closed 3 days ago2
how to set global config with neovim lspconfig pyright-langserver
Closed 3 days ago1
Strict mode Pyright complains about certain types requiring generic arguments, however, these types are not generics in Python 3.8
Closed 4 days ago7
use of `Protocol` with `__call__` requires argument names to match
Closed 3 days ago2
Different results for `type[T]` vs `TypeVar("Cls", bound=type)`.
Closed 3 days ago1
Cannot access attribute "__orig_class__"
Closed 4 days ago1
bedbug
Closed 4 days ago1
Pyright fails to infer argument type of Callable within a NamedTuple
Closed 4 days ago1
Incorrect(?) type inference in list comprehension refering to an outer variable
Closed 4 days ago4
TypeVar using old syntax falsely identified as not a TypeVar in very specific situation
Closed 4 days ago1
Improved type inference with ternary assignments
Closed 5 days ago1
False negative on reportUnboundVariable
Closed 7 days ago4
Pyright fails to find type error if argument uses a high exponent
Closed 7 days ago9
LC_ALL is ignored , can't set language via env vars
Closed 7 days ago3
Generic function expecting type parameter can't figure out type when Literal has only one parameter
Closed 8 days ago4
Old-style annotation weirdness
Closed 8 days ago3
`(*args: Any, **kwargs: Any)` should be treated as `...` in function definition
Closed 8 days ago1
Attributes annotated with a TypeVar with a default lead to Unknown types in pattern matching
Closed 8 days ago4
Regression: ParamSpec are missing when using on args condition check
Closed 8 days ago1
Type checks: failure to infer type in nested types
Closed 8 days ago2
`reportDeprecated` not working in version 1.1.361
Closed 8 days ago3
pyright reports an error when function returns a type wrapped with Annotated.
Closed 8 days ago1
Feature Request: A warning during a boolean comparison if the variable is a Union type with `None`
Closed 9 days ago1
reportUnusedCoroutine ignores coroutines in bool context
Closed 9 days ago1
Infer tuple size when using range in tuple comprehensions
Closed 9 days ago2
"None" check false-positive stemming from re.match.group(n)
Closed 12 days ago2
Incorrect resolution for "type cannot be assigned to type"
Closed 10 days ago2
First @overload is picked rather than the correct one
Closed 11 days ago2
pyright: ignore directive does not actually suppress diagnostic
Closed 11 days ago2