Pyright

Enhancement: Added special-cases support in type constraint logic for types Tuple[()] and Literal[False], both of which are always falsy.

Enhancement: Added error condition for wildcard import that's not at the module scope.

Enhancement: Added error condition to detect Protocol class passed as second argument to isinstance or issubclass.

Bug Fix: Fixed bug in decorator processing that caused cached_property to always evaluate the property type as Unknown.

Bug Fix: Improved wildcard import logic. It now attempts to honor __all__ assignment in target module. If __all__ is not defined, all symbols except for those starting with an underscore are imported.

Bug Fix: Added support for AsyncIterable as a declared return type for an async generator.

Bug Fix: "Tuple[()]" (the empty tuple) is now printed correctly (rather than "Tuple") in error messages.

Enhancement: Added code to detect the case where a subclass attempts to override a non-method (like a property) with a method. Also handle the case where a subclass overrides an overloaded method in the base class.

Enhancement: Added support for overloaded __get__ method.

Enhancement: Improved markdown formatting for completion provider output.

Enhancement: Added missing support for AsyncIterator return type annotations for async generator functions.

Bug Fix: Eliminated the hard-coded white list of exported symbols from builtins.pyi, which is no longer needed. This caused ModuleNotFoundError (introduced in Python 3.8) not to be exposed.

Bug Fix: Fixed text formatting issue in completion provider — missing colon between function name and type.

Bug Fix: Fixed several bugs in hover and completion providers related to modules and submodules.

Bug Fix: Fixed bug that caused VS Code settings (including python.pythonPath) to be ignored in some situations — most notably when a Python source file is opened outside of the context of a workspace.

Enhancement: Changed unknown (or unspecified) type arguments to be treated as "unknown" rather than "any" so they are reported as errors in strict mode. For example, `dict` is now treated as `Dict[Unknown, Unknown]`. This change uncovered a number of other latent bugs where TypeVar types were being specialized at inappropriate times.

Enhancement: Added ".venv" and ".git" directories to default exclude paths.

Bug Fix: Disabled file system watchers for source files if onlyOpenFiles is set to true (which is the default). This will avoid a bunch of problems that are caused by the file system watchers including high CPU utilization, memory usage, and files that can't be deleted.

Bug FIx: Fixed bug in reportIncompatibleMethodOverride logic. It wasn't properly generating an error when there was a parameter count mismatch.

Bug Fix: Fixed bug that caused incorrect error to be reported when a (non-literal) str type is used as an index for a TypedDict.

New Feature: For functions whose input parameters are missing type annotations, Pyright can now infer the return type based on the argument types passed at the call site.

New Feature: Added new configuration option "reportDuplicateImport" that generates an error or warning when a symbol or module is imported more than once in a source file.

Enhancement: Improved type completion for import statements to filter out directory names that contain characters that are not allowed for module names (periods and hyphens).

Bug Fix: Fixed bug in tokenization of f-strings. It caused expressions within string formatting directives to go unevaluated.

Bug Fix: Fix crash caused by non-breaking space token in a module name.

Bug Fix: Fixed bug in tuple assignment logic. It wasn't properly handling the form Tuple[X, ...], which represents a tuple with arbitrary length.

Bug Fix: Fixed bug related to the type logic for dictionary expansion entries that were typed with "Dict" rather than "dict" class.

Bug Fix: Fixed bug in type completion logic that resulted in auto-imported symbols being added to import statements multiple times if they were already imported.

Bug Fix: Fixed bug in auto-import type completion logic that caused auto-imported symbol to be inserted in the wrong order if it was alphabetically first.

Bug Fix: Fixed incorrect ID in pyrightconfig schema file (a copy-and-paste bug).

Enhancement: Added support in completion provider for named parameter suggestions within argument lists for call expressions.

Bug Fix: Fixed bug in type var matching for contravariant type vars.

Bug Fix: Changed *args parameter to be typed as Tuple rather than List, as per the python spec.

Bug Fix: Fixed errant "unbound" error for variable that's declared in an outer execution context and referenced via a closure.

Bug Fix: Changed file system watcher logic to allocate a single chokidar watcher for all include paths rather than one each.

Bug Fix: Added default excludes of `**/node_modules` and `**/__pycache__` because these are almost never intended to be scanned for tracked source files.

Bug Fix: Changed type var matching logic for constrained type vars. The previous logic constrained types to an exact match of the specified constraints, whereas derived types should be permitted. It was based on a misreading of PEP 484.

Bug Fix: Fixed bug that caused properties with generic return types to not be specialized correctly.

Bug Fix: Added support for property getters, setters and deleters that have generic types for the "self" parameter.

Bug Fix: Silenced a noisy error message related to file system watcher.

Bug Fix: Added missing translation layer that translates configured platform (e.g. "Windows") into the corresponding sys.platform string (e.g. "win32").

Enhancement: Added support for type constraints of the form "X == None" and "X != None".

Enhancement: Changed the behavior of VS Code extension when no pyrightconfig.json is present. It now defaults to include all source files under the root workspace directory. This was already the behavior for the command-line version of pyright.