Pyright

Bug Fix: Fixed bug that caused incorrect type analysis for a property provided by a specialized form of a generic subclass.

Bug Fix: Fixed bug in auto-import logic for the case where the completed symbol is a submodule within a top-level module.

Enhancement: Added support for ".so" and ".dylib" native module files.

Enhancement: Changed code that prints types (e.g. for hover text) to use "Any" instead of "Unknown" when typeCheckingMode is "off". Also avoided printing type arguments when they're all Any or Unknown when typeCheckingMode is "off".

Bug Fix: Changed code that infers the return type of a coroutine (async) function that never returns. Previously, it inferred the type as "NoReturn", but it now infers "Awaitable[NoReturn]".

Bug Fix: Fixed a bug in the handling of overloaded functions. PEP 484 indicates that type checkers should ignore the final non-decorated function when matching a call against a series of overloaded variants for a function.

Enhancement: Updated typeshed fallback stubs from the typeshed repo.

Enhancement: Use new PEP 604 notation for unions in hover text rather than older "Union" and "Optional" syntax defined in PEP 484.

Enhancement: Added support for new setting python.analysis.diagnosticMode. This replaces the now-deprecated setting pyright.openFilesOnly.

Enhancement: Added support for new setting python.analysis.stubPath. Changed the config setting "typingsPath" to "stubPath" for consistency. The config setting "typingsPath" is now deprecated and will eventually be removed.

New Feature: Added support for the Python 3.9 feature described in PEP 612: ParameterSpecification.

Enhancement: Allow comment-based type annotations to use forward references without using string literals.

Bug Fix: Fixed bug that caused auto-import to insert import statements in the wrong place when local typings stubs are used. These imports were treated as part of the local group rather than third-party.

Enhancement: Added support for runtime_checkable decorator, as defined in PEP 544.

Enhancement: Implemented support for enum literals.

Enhancement: Implemented support for type narrowing for == or != comparisons for types that can be decomposed into a limited number of literals (bool and enum).

Enhancement: Updated heuristics that are used to determine which type to use for constructor calls. In some cases, it's preferable to use the specialized type derived from the call to `__init__`. Other times, it's preferable to use the type derived from the call to `__new__`.

New Feature: Added support for the upcoming PEP 604 alternative notation for unions.

Bug Fix: Fixed bug that caused incorrect error to be reported when assigning a value to an expression involving an index operator (e.g. a[x] = b) where the indexed value had a `__setitem__` overload with an unannotated set of parameters.

Enhancement: Improved error messages related to argument matching. The message now includes the corresponding parameter name and function, which is sometimes not obvious from the context (e.g. in the case of operator overloads or other magic methods).

New Feature: Added support for python.analysis.extraPaths setting.

Enhancement: Accept minor versions in version_info when evaluating static expressions.

Enhancement: Added code to verify that resource manager type implements `__exit__` or `__aexit__` in addition to its enter counterpart.

Bug Fix: Fixed regression that caused diagnostics not to be cleared when closing a source file in the editor and openFilesOnly is enabled.

Bug Fix: Fixed bug in auto-import feature of type completion where imported module name included "-stubs" on the end if the symbol was resolved to a companion stub package.

Enhancement: Introduced reportUnboundVariable and reportUndefinedVariable diagnostic rules.

Bug Fix: Fixed bug that caused file changes not to trigger reanalysis in some cases.

Bug Fix: Special-cased FunctionType and LambdaType to avoid emitting false positives for the reportUnnecessaryIsInstance rule.

New Feature: Added support for "python.analysis.autoSearchPaths" setting. If enabled (as it is by default), it automatically adds "src" to the import search paths. It is common for workspaces to contain a directory by this name.

Bug Fix: Fixed bug that caused the type arguments for a bare "Callable" to be treated as Any rather than Unknown. This resulted in some missed "partially Unknown" errors.

Enhancement: Fixed perf bug that caused large numbers of empty diagnostic reports to be sent to the language client when the openFilesOnly was enabled.

Bug Fix: Don't dirty a source file and its dependencies just because we receive a file system change event. This is especially important if the file is already open, in which case file system change events are ignored.

Enhancement: Changed generic type specialization code to treat unspecified type arguments as Unknown (Any) in cases where the TypeVar is constrained.

Bug Fix: Fixed bugs in "find references" logic (which is also used for "rename symbol"). It wasn't properly handling locally-aliased import names.

Enhancement: Dramatically sped up "find references" and "rename symbol" operations.

Bug Fix: Fixed a bug in hover provider where it didn't show the proper type for an imported symbol with a local alias name.

Bug Fix: Fixed bug that caused "find references" and "rename symbol" to stop working for member variable names outside of the current file.

Bug Fix: Fixed bug where a string literal used within the first argument of a Callable was interpreted as a string rather than a forward-declared type.

Bug Fix: Fixed recent regression where parameter types for functions declared using Callable were omitted in the hover text.

Enhancement: Enhanced the type narrowing logic for isinstance to narrow the type of an Any or Unknown variable to the target type (for positive tests only).

Bug Fix: Added code to prevent "Rename symbol" from renaming symbols in library code or third-party type stubs.

Enhancement: Added cancelable progress dialog for "Find All References" and "Create Type Stubs" commands.

Bug Fix: Fixed recent regression that caused deleted files within a workspace not to cause re-analysis as appropriate.

Enhancement: Changed "organize imports" to follow formatting rules of "black" formatter for multi-line imports.

Bug Fix: Fixed crash on startup that several users reported.

Bug Fix: Fixed bug that masked errors in strict mode where parameter types were not declared.

Bug Fix: Fixed bug that caused errant "not derived from BaseException" error if base class type was unknown.

Enhancement: Parser now reports error when "return" statement is used outside of a function.

Enhancement: Improved responsiveness of type completion suggestions.

New Feature: Add diagnostic for missing imported source file (reportMissingModuleSource).

Bug Fix: Fixed bugs in type analyzer relating to assignments of tuples when target uses an "unpack" operator.

Bug Fix: Fixed race condition that resulted in spurious (but temporary) diagnostics to be reported when there was an open file when VS Code started.

Bug Fix: Fixed bug in type evaluator where literals were being inappropriately stripped from type arguments in certain assignments.

Enhancement: Changed text representation of function declarations to omit extra spaces around "=" for default value assignments when type annotations are not used (consistent with PEP8 guidelines).

Enhancement: Added __dataclass_fields__ class variable to synthesized data classes.

Enhancement: Moved type analysis to background process and added cancellation for better responsiveness.

Enhancement: Updated typeshed stubs to latest version from typeshed repo.

Bug Fix: Fixed small bug in signature helper provider.

Bug Fix: Fixed crashing bug when type checker encountered a dictionary comprehension that was not the first entry in a dictionary literal.

Enhancement: Added syntax error for comprehensions used within set or dictionary literal that are not the first and only entry.

Bug Fix: Removed code that verifies that a slice object has ranges defined by 'int' types. Slices can support other types as well.

Enhancement: Added type narrowing logic for conditionals that involve comparisons between Literal expressions such as "animal: Literal['cow', 'horse'] \ if animal == 'cow'"

New Feature: Implemented new setting "pyright.disableOrganizeImports".

Bug Fix: Fixed bug in constructor argument validation logic. If there was no init or new method in the class, argument expressions were not being evaluated. This led to errant "unreferenced symbol" errors.

Bug Fix: Fixed type checker's handling of "yield from" statement. It wasn't correctly handling iterable expressions.

Enhancement: Added code to validate that type arguments used to specialize a generic union type alias match the type variable constraints and bounds. Also validated that the correct number of type arguments are provided in this case.

Bug Fix: Fixed bug where unresolved imports with alias (i.e. "import x as y") resulted in errant "y is unbound" errors if y was used in an execution scope other than the one in which the import was located (e.g. within a function).

Bug Fix: Fixed bug in function signature code that caused incorrect errors to be reported related to function overload resolution.