Pyright

Enhancement: Add contextual signature help that handles overloads and arbitrary ordering of named parameters.

Bug Fix: Fixed bug in code that determines whether an instantiated class is abstract. It was not properly taking into account MRO (method resolution ordering) for the class.

Bug Fix: Another attempt to work around the file watcher issues on Mac OS X.

Enhancement: Added special-case handling for type var matching of Optional[T].

Enhancement: Added new pyright.typeCheckingMode setting for VS Code extension that allows you to set the default rule set for type checking. Three values are supported: "off", "basic", and "strict". This setting can be overridden in the pyrightconfig.json file with the typeCheckingMode config key.

Enhancement: Changed text representation of functions to omit "Unused" parameter type annotations. This makes hover text and completion suggestion text more readable in code bases that are lacking type annotations.

Enhancement: Added "reportGeneralTypeIssues" setting, which is set to "error" by default. Users can optionally change it to "warning" or "none".

Bug Fix: Prevent reporting of redundant errors and warnings.

Bug Fix: Fixed bug that caused forward-referenced type annotations within data class definitions to be reported as "unbound" even if the "annotations" futures flag was enabled.

Bug Fix: Fixed handling of Tuple[()], which should be interpreted as a zero-element tuple according to PEP 483. Fixed assignment compatibility check for zero-element tuples.

Bug Fix: Changed class-member lookup logic to better handle the case where one of the base classes is unknown. It previously stopped when it encountered an unknown base class. Now it scans all known base classes first.

Bug Fix: Fixed bug where Any or Unknown type incorrectly resulted in an "is not valid iterable" error.

Enhancement: Improved type analysis performance, especially in cases where code contains no type annotation, so return types and instance variable types need to be inferred.

Enhancement: Improved responsiveness by adding cancellation support for hover, completion suggestions, and other language server requests.

Enhancement: Added support for built-in `__dict__` symbol within module.

Enhancement: Added more helpful error message for missing `__enter__` method if there is an `__aenter__` method present.

Enhancement: Added checks for disallowed usage of Final as specified in PEP 591.

Enhancement: Normalized all diagnostic messages to use the same terminology, tense, and quote symbol.

Enhancement: Added code to hover provider to print the constructor input parameters for a class that is being instantiated.

Enhancement: Hover text for functions no longer print "Unknown" type for input parameters if type annotations are not present. This makes the hover text more readable.

New Feature: Virtual environment detection ensures that virtual environments are excluded from analysis by default if the virtual environment is located within the workspace directory.

Enhancement: Hid type arguments and type parameters when printing types related to pseudo-generic classes. Since these type parameters are internally synthesized, they are confusing for users to see.

Bug Fix: Fixed several bugs in the logic that handles type matching of functions. It wasn't properly taking into account name-only and position-only markers in parameter lists.

Bug Fix: Fixed a few bugs in logic that determines whether to report diagnostics for a given source file. Diagnostics were previously suppressed for type stubs found in the "typings" directory but should not have been. Diagnostics were also suppressed for local source files that are imported by included files. And diagnostics were not properly added or cleared when a file was opened and the "openFilesOnly" setting was in effect.

Bug Fix: Fixed recent regression that caused a crash when using the "find references" or "rename symbol" features.

Enhancement: Added additional diagnostic context for type var assignments so it's clear whether the type var is invariant, covariant, or contravariant.

Bug Fix: Fixed bug in TypeVar matching logic for functions when a later parameter's generic type influenced the type of an earlier parameter. This situation requires multiple passes to resolve all type variables properly.

Enhancement: Handle the case where a function parameter with a type annotation that includes a generic (TypeVar) is assigned its value via a default argument rather than an explicit argument by the caller. The TypeVar should be matched using the default argument in this case.

Bug Fix: Fixed bug in parser where a single-element tuple atom used as a subscript index was handled incorrectly.

Enhancement: Added support for the multi-parameter form of the built-in "type" call.

Enhancement: When a class contains an `__init__` method whose input parameters are not annotated, generate a "pseudo-generic" class parameterized by the types of the init method's input parameters. This allows call-site specialization of the class, which provides better type checking and type completion suggestions.

Bug Fix: Fixed bug in type narrowing logic for isinstance and in the logic for detecting unnecessary isinstance and issubclass calls. In both cases, they were not properly handling the case where a class derived from an unknown class.

Enhancement: Implemented "Restart Server" command.

Enhancement: Improved performance of "find symbol" and "rename symbol" operations for symbols that are local and not visible outside of the current source file.

Enhancement: Added support for TypedDict classes that use other TypedDict classes in a nested manner.

Bug Fix: Fixed bug where a symbol declared within a class scope is used before it is assigned but a symbol with the same name exists in the containing scope. In this case, the symbol should not be flagged as "unbound".

Enhancement: If no execution environments are specified in the config file, the subdirectory "src" is automatically added as a default execution environment for purposes of resolving imports.

Bug Fix: Added correct method resolution ordering (MRO) as specified by Python 3 spec.

Bug Fix: Fixed bug in "organize imports" command where it was not properly handling wildcard imports.

Enhancement: Added error for inconsistent use of specs and tabs that leads to ambiguity in indentation.

Enhancement: Added error message for the case where a consistent method ordering can't be created.

Enhancement: Added pyright.verboseOutput VS Code setting to aid with diagnosing problems with import resolution.

Enhancement: Added support for overload functions that are async.

Enhancement: Improved appearance of documentation in hover text.