Pyright

Bug Fix: Fixed bug that caused incorrect type to be determined for *args and **kwargs parameters in some contexts.

Enhancement: Updated typeshed stubs to the latest versions from the typeshed repo.

Bug Fix: Fixed bug in tokenizer where it was generating an error if escaped unicode characters (using the \N{name} escape) contained a space in the name.

Enhancement: Improved parse recovery for statements that are supposed to end in a colon followed by a suite of other indented statements. Previously, a missing colon or expression error resulted in a cascade of additional errors.

Enhancement: Improved error message for overloaded calls where no overload matches the provided arguments.

Bug Fix: Fixed bug in unreachable code detection and reporting. The logic was previously split between the binder (which used proper code flow analysis) and the checker (which didn't use code flow analysis but had access to NoReturn call information). The new code combines everything into the checker and uses both code flow analysis and NoReturn call info.

Bug Fix: Added code to include a symbol in a module if the source file is an "__init__.py(i)" and a relative import of the form "from .x.y.z import X" is used. In this case, the symbol "x" should appear within the module's namespace.

Bug Fix: Fixed bug in pyrightconfig schema. The defaults for several settings were using strings "true" and "false" rather than booleans true and false.

Bug Fix: Fixed bug in parser that generated a spurious error when an unparenthesized assignment expression (walrus operator) was used as an argument. PEP 572 indicates that this should be allowed in cases where the argument is not named.

Enhancement: Changed constructor type analysis logic to always specialize the instantiated instance.

Bug Fix: Fixed bug in reportAssertAlwaysTrue diagnostic. It wasn't properly handling tuples of indeterminate length.

Bug Fix: Fixed bug in import resolution that resulted in an unresolved import when a local folder was present with the same name as the imported third-party library.

Bug Fix: Fixed bug that caused diagnostics for unopened files to remain in "problems" panel after switching diagnostic mode from "workspace" to "open files only".

Bug Fix: Fixed bug in parsing of f-string expressions that contain nested braces.

Bug Fix: Fixed bug in import resolver where it was not preferring regular package imports over namespace packages.

Enhancement: Added support for accessing metaclass members from class. This allows, for example, access to the `__members__` attribute of an Enum class.

Enhancement: Added type completion support for class attributes provided by a metaclass.

Bug Fix: Fixed bug that caused unbound variables to go unreported if they had type annotations.

Bug Fix: Fixed bug in type narrowing logic for isinstance call. It wasn't properly handling bound TypeVar types. This includes synthesized bound TypeVars like those used for unannotated "self" and "cls" parameters.

Bug Fix: Fixed bug that caused stand-alone expression statements (those that are not included in other statements) to go unchecked, resulting in symbols potentially unreferenced and type errors unreported.

Bug Fix: Fixed bug where the use of unpack operator within a tuple not surrounded by parens within a return/yield statement incorrectly reported an error when used with Python <3.8.

Bug Fix: Changed signature help provider to use the `__init__` method signature (if available) for class construction expressions. It previously used the `__new__` method signature by default.

Enhancement: Unaccessed function parameters are now displayed as "grayed out" in VS Code. There was previously code in place to do this, but it contained a bug that went unnoticed.

Enhancement: Improved support for type aliases, especially those with generic parameters. Type alias names are now tracked and used within printed type names.

Bug Fix: Fixed recent regression in CLI that resulted in unintended verbose logging output.

Bug Fix: Added minimum node version to package.json to prevent installation of pyright CLI on incompatible versions of node.

Enhancement: Added code to better handle the obsolete "<>" operator from Python 2 - including a better error message and better parse recovery.

Enhancement: Added special-case handling of 'NoReturn' type to allow Never type to be assigned to it. This can be used to verify exhaustive type narrowing.

Bug Fix: Added code to differentiate between Protocol symbol in typing.pyi versus typing_extensions.pyi. The latter can be used on older versions of Python.

Enhancement: Changed activation events to remove glob path for pyrightconfig.json, which speeds up extension activation on large projects. Added support for mspythonconfig.json

Enhancement: Added checks to ensure that type annotations contain only class types, not instantiated objects.

Enhancement: Added code to filter out duplicate "pseudo-generic" types in unions when printing them. We omit the type arguments when printing pseudo-generic types, so without this filtering, we were seeing seemingly-duplicated types.

Enhancement: Added support for literal type aliases used within Literal type arguments.

Bug Fix: Fixed bug in handling of unpack operator when used as an assignment target. It should be typed as List, not as Iterable.

Bug Fix: Fixed recent regression that affected the logic that combines Literal[True] and Literal[False] into bool.

Enhancement: Added support for several "type" metadata fields that are accessible on classes that derive from type. This includes `__subclasses__`, `__module__`, etc.

Enhancement: Added more trace logging to output pane.

Bug Fix: Fixed bug in hover text. Sometimes hovering over a module import target didn't display the module-level doc string.

Enhancement: Added severity level enum to package.json so it is editable within the VS Code settings UI.

Bug Fix: Fixed bug in call hierarchy provider that caused aliased symbols to be reported incorrectly.

Enhancement: Added support in call hierarchy provider for properties.

Bug Fix: Improved handling of dataclass entries that use "field(init=False)" to specify that the field should not be included in the synthesized `__init__` method's parameter list.

Enhancement: Added support for the new Python extension setting for pythonPath. This mechanism replaces the soon-to-be-deprecated "python.pythonPath" setting.

Bug Fix: Nested lists were not properly passing through the expected subtype if it included a union.

Bug Fix: Fixed bug that caused a use of Final within a dataclass to be flagged as an error.

Bug Fix: If left unspecified Pyright is meant to assume the Python version and platform from the currently-selected interpreter. This wasn't correctly set if there was no pyrightconfig.json config file.

New Feature: Added call hierarchy provider, which allows the client to display all callers of a function or all calls made by a function.

Bug Fix: Fixed bug in code that scans for source files within the project that caused an infinite loop if it encountered a symbolic link that created a cycle.

Bug Fix: Changed logic that computes union types to strip out NoReturn types if they are combined with other types. A "NoReturn" should always appear by itself, never in a union.

Enhancement: Improved error messages for argument type mismatches.

Bug Fix: Fixed bug that caused code to be marked as "unreachable" if a lambda declaration involves a call to a NoReturn function.

Bug Fix: Added missing support for `__rmatmul__` (reverse matrix multiply) operator overload method.

Bug Fix: Fixed bug in the handling of code actions that appear in the first line.

Enhancement: Make logging level to Output configurable.

Enhancement: Improved auto-import feature so it now handles auto-imports of all installed packages instead of only those that have been referenced previously within the project.

Bug Fix: Fixed docstring fetching in relative import cases, `-stub` packages.

Bug Fix: Fixed bug that caused an internal error when typing certain decorators at the module scope.

Enhancement: Added support for unpacking of tuples with specified element types within argument lists. The type checker now properly expands these tuples and matches individual element types against corresponding parameters in the callee.

Enhancement: Improved error messages for TypeVar mismatches (e.g. invariance).

Enhancement: Extended bidirectional type inference to function call expressions where the callee has a declared return type that is generic.