Pyright

Enhancement: Added "related information" diagnostic for attempts to override methods in incompatible manner and overrides for final methods.

Bug FIx: Fixed regression in type evaluator that broke completions in cases where there was a parse error (e.g. when typing a dot as part of a partially-completed member access expression).

Bug FIx: Fixed type inference of "self" and "cls" parameters for methods in a Protocol class so they are not reported as unknown.

Bug FIx: Fixed crash due to hover provider accessing an unreachable node.

New Feature: Added hover, definition, reference and rename support for named arguments.

Enhancement: Made some changes that improve responsiveness during large analysis in VS Code.

Enhancement: Augmented some diagnostic messages with "related information" (e.g. a location in another file that helps explain the error or warning).

Enhancement: Improved error reporting for declaration collisions.

Enhancement: Added bidirectional type inference for yield statements.

Bug Fix: Disabled file system watcher polling on MacOS to help eliminate reports of high CPU utilization and heap overflows.

Bug Fix: Fixed bug in type checker where hovering on some expressions before the file was fully checked caused incorrect errors to be generated.

Bug Fix: Fixed type checker's handling of constrained TypeVars.

Bug Fix: Fixed a couple of bugs relating to type checking of generic protocol classes.

Bug Fix: Added missing newline character in --help output.

New Feature: Added support for Python 3.8 final decorator, which can be applied to both classes and methods.

Enhancement: Parser is now pickier about supported syntax for type annotation expressions.

Bug Fix: Fixed handling of 'typeshedPath' setting. The code was assuming that it was an absolute path, but relative paths should also be supported.

Bug Fix: Some Mac users have reported ongoing high CPU utilization. I suspect this is related to the file watching library used in pyright. I've made some adjustments that I hope will avoid this behavior.

Enhancement: Exposed the useLibraryForTypes setting in the command-line version of pyright ("--lib" switch).

Enhancement: Updated typeshed type stub files to the latest version from the typeshed repo.

Enhancement: Revamped how properties are handled. Rather than define a custom "PropertyType" that requires its own handling everywhere, a property is now modeled as regular ObjectType whose associated class type has a special ClassTypeFlag. This eliminates a bunch of edge cases that didn't previously work with properties, including support for custom properties.

Bug Fix: Changed code to allow comma delimiters within namedtuple field definition strings.

Bug Fix: Changed import logic to better match behavior of python loader. If there's an empty directory and a python file with the same name, the import resolution logic now selects the file rather than failing resolution.

Bug Fix: Fixed stack overflow due to infinite recursion in lazy binding callback caused by import loops in some packages like numpy.

Bug Fix: Fixed bug where symbols that couldn't be resolved through wildcard imports were resolved as unbound rather than unknown.

Bug Fix: Added code to switch the working directory to the root of the extension before invoking the python interpreter to query sys.path.

Bug Fix: Fixed recent regression that caused symbols imported through "from X import Y" statement not to be flagged as an error if Y was not defined in X's namespace.

Bug Fix: Fixed bug in document symbol provider where it was not providing the correct ranges. This caused the "outline" view in VS Code not to report which outline item contained errors.

Bug Fix: Added support for static evaluation of "typing.TYPE_CHECKING" (in addition to just "TYPE_CHECKING").

New Feature: The command-line version now accepts a command-line switch "outputjson". If provided, the output is a JSON structure including all diagnostics (errors and warnings). This format is useful for when pyright is used in a tool chain (e.g. a build system). It eliminates the need for consumers to parse the text output.

Enhancement: Added support for PEP 561 provision for type stubs that are packaged separately from a main package and placed in a peer directory ending in "-stubs".

Enhancement: Improved type completions for method definitions. When defining an override method from a base class, pyright now fills in the type signature for you.

Enhancement: Improved type widening rules for Literal types during TypeVar matching.

Enhancement: Improved printing of literal types. They're now combined (e.g. "Literal[1, 2]" instead of "Union[Literal[1], Literal[2]]").

Bug Fix: When typing floating-point values, type completion suggestions shouldn't be presented after the "."

Bug Fix: Added code to match syntax error detection and scope binding rules defined in PEP 572 for assignment expressions found within list comprehension expressions.

Bug Fix: Fixed issue where the progress spinner wasn't immediately hidden when onlyOpenFiles setting was toggled from false to true.

New Feature: Added a new VS Code setting called "useLibraryCodeForTypes". It's disabled by default currently. If enabled, pyright will attempt to extract type information from library code implementations in the absence of type stub files.

New Feature: Added support for hierarchical document symbols, which appear in the "Outline" view within VS Code.

Bug Fix: Fixed regression in "find symbol in workspace" command if onlyOpenFiles is set to true.

Bug Fix: Added code to honor the behavior specified in PEP 484 for imported symbols within type stub files. Only symbols imported using the "as" form of import statements or wildcard imports should be considered exported from the type stub.