Pyright

Bug Fix: Fixed escaping of literal strings when printing Literal string types.

Enhancement: Improved completion suggestions related to member access expressions (e.g. obj.method) by binding the method to the object when appropriate.

Enhancement: When hovering over class name that is used in a constructor call, display the `__init__` method signature rather than the class.

Bug Fix: Fixed recent regression in unreachable code reporting at the module level.

Bug Fix: Removed error message for unexpected dynamic argument types to `type` initializer.

Bug Fix: Fixed a bug in the code that validates an exception type in an "except" clause. It was not properly handling the case where the type of the exception was specified as a Type[X] object.

Bug Fix: Reverted part of a previous change where constrained type vars were specialized as a union of the constrained types. Changed logic to use first constrained type only.

Bug Fix: Fixed bug in logic that detects assignment compatibility for function types. It wasn't properly handling generic parameters, including synthesized TypeVar types used for "self" parameters.

Bug Fix: Added diagnostic for TypeVar or generic class with type args being used as a second argument for isinstance or issubclass. These will raise a TypeError exception at runtime.

Enhancement: Changed Pyright import resolution order to match that described in PEP 561. In particular, stubs in stubPath are now searched prior to user code, and third-party typeshed stubs are searched only after installed packages are searched for stub packages and inline stubs. There is one place where Pyright's import resolution still differs from a strict interpretation of PEP 561: it searches stdlib typeshed stubs first (unless typeshedPath is defined, in which case it searches there). This is more consistent with the way the Python interpreter resolves stdlib types.

Bug Fix: Fixed bug in handling of constructor that uses a specialized class (e.g. `MyClass[int]()`). The previous code was inappropriate overriding the provided type arguments as part of bidirectional inference logic.

Bug Fix: Fixed bug that caused spurious errors when assigning a specialized object/class to a variable whose type is a specialized base class of the specialized object/class.

New Feature: Added document highlight provider. When you click on a symbol in the editor, all other symbols within the same file that have the same name and have the same semantic meaning are also highlighted.

Enhancement: If reportGeneralTypeIssues rule is disabled, don't replace assigned type with declared type because it will lead to additional errors that will confuse users.

Enhancement: Added type narrowing support for "in" operator when RHS is a specialized list, set, frozenset, or deque.

Enhancement: Added logic to validate that RHS operand used with "in" and "not in" operators support the `__contains__` magic method.

Bug Fix: Fixed bug where "field" initialization of dataclass member didn't take into account "default" or "default_factory" parameters when determining whether the field had a default value.

Bug Fix: Added code to deal with the special case where a method declared with a "def" statement is later overwritten with a callable instance variable.

Bug Fix: Fixed bug whereby a TypeVar type was not treated the same when it was alone versus within a union leading to some subtle differences in error reporting. Also changed specialization of constrained TypeVars to be a union of constrained types rather than Unknown if the TypeVar is not used as a type argument.

Bug Fix: Fixed bug in diagnostic message for constrained TypeVar type mismatch. The wrong type was being printed leading to confusing errors.

Bug Fix: Fixed a bug that caused incorrect linearization of classes during MRO calculation.

Bug Fix: Fixed bug in synthesized version of `get` method for `TypedDict` class. It should provide an overload that allows for any str key and return an "Unknown" type.

Bug Fix: Fixed regression in completion provider when retrieving suggestions for "self.". Added test to cover this case.

Enhancement: Changed "x is not iterable" diagnostic to be part of the "reportGeneralTypeIssues" rule so it doesn't get reported if typeCheckingMode is "off".

Bug Fix: Fixed bug that caused incorrect behavior when a symbol was imported multiple times in the same file.

Bug Fix: Fixed bug that caused Callable instance variables to be treated as though they needed to be "bound" to the object at the time they were accessed. This resulted in spurious errors about parameter count because an implicit "self" parameter was assumed.

Enhancement: Improved type analysis performance by 5-10% on typical code and by significantly more on certain code sequences that involve many if statements within a loop. This optimization uses code flow caching to determine when incomplete types (those that haven't been fully resolved) are potentially stale.

Bug Fix: Fixed recent regression related to imports of the form "from .x import y" within an `__init__.py(i)` file.

Enhancement: Changed type analyzer to use module-level `__getattr__` for types only if the file is a stub.

Enhancement: Added code to prevent "variable possibly unbound" error from propagating to other variables. It should be reported only once.

Enhancement: Switched "pyright.typeCheckingMode" to "python.analysis.typeCheckingMode" for compatibility with Pylance.

Enhancement: Moved a few parameter-related diagnostics to the "reportGeneralTypeIssues" diagnostic rule rather than being unconditional errors.

Bug Fix: Fixed bug that resulted in incorrect type inference for a member variable that is not assigned within a class but is assigned within an ancestor class.

Enhancement: Added type narrowing support for "is" and "is not" operator where RHS is an enum literal value.

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