Pyright

Bug Fix: Fixed bug in type inference for list comprehensions. It should inter the type AsyncGenerator rather than Generator if the comprehension uses the "async" keyword.

Bug Fix: Fixed bug that caused overloaded function and class decorators to generate errors inappropriately.

Bug Fix: If a module cannot be resolved during type analysis, treat the symbol as "unknown" rather than "unbound" so usage of that symbol doesn't result in further errors.

Bug Fix: Fixed bug that generated incorrect error when a function declaration used a parameter with no default arg value after a parameter with a default arg value after a var-arg parameter.

Bug Fix: Fixed bug in handling of negative integers when used as Literal type arguments.

Enhancement: Updated typeshed stub files to the latest.

Enhancement: Added support for alternate syntax for TypedDict that uses named arguments rather than a single dictionary argument.

Bug Fix: Fixed bug where hover type of annotated variable was disclosed as "Unknown" if there was no assignment to that variable. It should display the annotated type.

Bug Fix: Fixed bug that caused the hover text for named arguments used to initialize a dataclass to indicate that the type was "Any" rather than the correct type.

Enhancement: Improved error messages for dictionary statements that are assigned to TypedDict variables or function arguments.

Bug Fix: Fixed a bug in code flow analysis logic that caused type to be evaluated as Never.

Enhancement: Added diagnostic for objects that are called but do not have a __call__ method.

Bug Fix: Fixed bug that caused call arguments to not be evaluated (and therefore not type checked or marked accessed) if certain errors were detected while evaluating types for a call expression.

Enhancement: Added logic to avoid doing a complete reanalysis when a temporary file is momentarily created by an auto-formatter like Black.

Bug Fix: Fixed bug that caused some illegal uses of "Final" (as defined in PEP 591) to not be reported.

Bug Fix: Avoid duplicate imports in completion results.

Bug Fix: Fixed bug in dataclass logic so it properly excludes ClassVar entries as per PEP 557.

Bug Fix: Fixed bug in code flow logic for handling certain assignments within loops where the same symbol is on the left and right side of the assignment.

Enhancement: Added type guard support for conditional expressions of the form (x := expr) is None and (x := expr) is not None.

Enhancement: Added logic to "gray out" code after a call to a "NoReturn" function to indicate that the code is unreachable.

Bug Fix: Fixed bug that resulted in a crash if a type annotation on an instance variable referred back to the variable itself.

Bug Fix: Fixed bugs in a couple of localized strings.

Bug Fix: Fixed bug that caused private variables to be reported as unaccessed in cases where they were.

Bug Fix: Fixed hole in exception handling within type evaluator that could leave the control flow graph in an inconsistent state if a cancellation exception occurred at the wrong time.

Bug Fix: When typeCheckMode is set to "off", avoid displaying "Any" twice within a Union (due to "Unkown" being reported as "Any").

Enhancement: Improved support for nested finally clauses.

Enhancement: Hover results for named parameter at call site now displays the expected parameter type rather than the provided argument type.

Bug Fix: Fixed compliance with PEP 557 which says that fields without type annotations shouldn't be considered as data fields within a data class.

Bug Fix: Fixed bug in chained comparison expression handling (e.g. a < b < c) that caused the left half of the expression not to be type checked.

Enhancement: Completion provider now supports auto-import for modules rather than just symbols within modules (i.e. "import X" form in addition to "from X import Y").

Bug Fix: Fixed bug that caused type guards not to work properly in some cases where an assignment expression (walrus operator) was used within the conditional statement and the value assigned to the target symbol involved a function call.

Bug Fix: Fixed bug that caused "|" operator used with variables of type "Any" to be incorrectly interpreted as union syntax.

Enhancement: If the pythonPlatform or pythonVersion are not specified, they are now initialized based on the current platform and configured python interpreter.

Bug Fix: Fixed bug that incorrectly flagged as an error some usage of a named exception symbol within an except clause.

Bug Fix: Changed logic for tracking incomplete types within the code flow engine. This fixes a bug in code flow analyzer that caused false positive errors to be reported in some cases involving loops.

Enhancement: Added localization mechanism for strings used in diagnostic messages and code actions. Strings are not yet localized, but this sets the stage for future improvements.

Bug Fix: Fixed bug that caused incorrect translation of a file offset to a line/col if the position was after the last character in the file. If a diagnostic range covered this final character, it was shortened by one character.

Enhancement: Diagnostics for reportUnknownParameterType rule are now suppressed if the parameter is named "_".

Bug Fix: Fixed bug in reportUnnecessaryIsInstance rule that triggered an inappropriate error when the target class was derived from a base class that was unknown (e.g. due to an import resolution failure).

New Feature: Added support for Python 3.9 "Annotated" feature described in PEP 593.

Enhancement: Expanded special-case code in parser to handle t.Literal (as well as typing.Literal) as a way of identifying use of the built-in "Literal" symbol.

Bug Fix: Fixed bug in binder that caused targets of assignment expressions (walrus operator) to appear as "Unknown" type in some cases.

Enhancement: Added support for module-level __getattr__ method, used in type stubs to indicate incomplete definitions.

Behavior Change: Removed reportTypeshedErrors diagnostic rule. It no longer makes sense given how errors are being reported.

Bug Fix: Fixed regression introduced in 1.1.38 that caused type analysis errors to be reported for source files that "shadow" type stub files for the purpose of displaying doc strings. These errors were not only displayed but were persistent even after the file was closed in the editor.

Enhancement: Changed the type of "self" and "cls" parameters to use synthesized type variables that are bound to the type of the enclosing class. This allows subclasses to call these methods and replace self and cls with their own subclass type.

New Feature: Implemented support for Python 3.9 TypeAlias feature as described in PEP 613.

Bug Fix: Added logic to avoid using unreachable assignments when inferring the effective type of a variable. This avoids creating false cycles when resolving types for symbols that depend on each other.

Bug Fix: Fixed bug that caused unaccessed variable diagnostics to go unreported in "for" clause of list comprehensions.

Bug Fix: Fixed errant "unbound variable" and "unknown type" messages that result from particularly complex cyclical analysis dependencies.

Bug Fix: Fixed bug in generic class type matching. TypeVars from different levels of a class hierarchy were getting conflated.

Bug Fix: Fixed bug related to specialization of a type alias definition that consists of a partially-specialized class.

Enhancement: Added support for ClassVar as specified in PEP 526 and 544.

Enhancement: Added logic to ensure that a TypeVar or ParameterSpecification is assigned to a variable of the same name used within the constructor call.

Bug Fix: Fixed bug in completion suggestions where inappropriate auto-import suggestions were sometimes presented when multiple execution environments are defined.

Bug Fix: Changed code to allow ParameterSpecification to be passed as a type arg to a generic class.

Enhancement: Tightened the check for unknown member types. Previous logic didn't check for unknown member types when member accesses in all cases.

Enhancement: If a type stub doesn't specify a return type for a function or method, assume that it's "Unknown" rather than "Any".

Enhancement: Updated stdlib typeshed stubs to the latest.

Enhancement: Added third-party typeshed stubs.

New Feature: Hover text, signature help, and completion now uses doc strings from source code if types come from a type stub file but doc strings are not found in the stub.

Bug Fix: "Find All References" no longer shows references within library implementations (other than the primary declaration).

Enhancement: Diagnostic severity level for individual diagnostic rules can be set to "information" (in addition to "none", "warning" and "error").

New Feature: python.analysis.diagnosticSeverityOverrides setting in VS Code can be used instead of pyrightconfig.json to specify severity overrides for specific diagnostic rules.