Pyright

Bug Fix: Fixed bug that caused symbols to be marked unaccessed if they were accessed by code that is not accessible (e.g. due to conditional execution based on the platform).

Bug Fix: Updated PEP 604 and PEP 612 error message to refer to Python 3.10 instead of 3.9.

Behavior Change: Changed logic that validates "self" or "cls" parameter names to ignore the check if the provided parameter name begins with an underscore, as is seen in several typeshed stub files.

Bug Fix: Fixed bug in nested f-string parsing when f-string contains triple quotes that include single quotes.

Bug Fix: Fixed handling of a class that is subclassed from both Enum and another class (like str).

Enhancement: Added support for generic classes that refer to themselves as type arguments within their base class.

Bug Fix: Improved error message for partially-unknown types that have a type alias.

Bug Fix: Allow use of forward-declared classes as subclass in class declarations within type stub files.

Bug Fix: Add special-case handling of `__class_getitem__` method, which acts as a class method even though it is not decorated as such.

Bug Fix: Added missing validation of arguments to `type` call.

Enhancement: Added `=` character to end of named parameter for completion suggestions within a call signature.

Bug Fix: Added client capability check for signature information "labelOffsetSupport" for compatibility with clients that don't support this capability.

Bug Fix: When adding completion suggestions to the list for expression completion, avoid adding duplicately-named symbols that appear in nested scopes.

Bug Fix: Fixed bug related to calls of methods on a metaclass via classes that are constructed by that metaclass.

Enhancement: Added check for single overload function with no additional overloads.

Bug Fix: Fixed a bug "aliased import with leading underscore produces private usage error".

Bug Fix: Fixed a bug that caused the wrong diagnostic message string to be used when "Generic" is used with no type arguments.

Enhancement: Added new diagnostic message for when "Generic" is used in contexts outside of a class definition statement.

Bug Fix (from Pylance): Use `sys.version_info` to query interpreter version.

Enhancement: Added heuristics to type var solver so it picks the "least complex" solution when considering the elements within a union.

Enhancement: Updated typeshed stubs to the latest versions.

Bug Fix: Fixed a bug that caused an error to be reported when a newline token was used within an f-string expression.

Enhancement: Added new diagnostic rule "reportInvalidStubStatement" (on by default in strict mode, off otherwise) that reports diagnostics for statements that should not appear within a type stub file.

Enhancement: Added diagnostic for a module-level `__getattr__` function defined in a type stub file when in strict mode.

Bug Fix: Fixed bug that caused imports (and other symbols) to be reported as unaccessed if they were accessed from within code that was deemed to be unreachable (e.g. due to the current platform configuration).

Behavior Change: Changed logic for reportUnusedClass and reportUnusedFunction diagnostic rules so they don't report private-named functions and classes within stub files.

Bug Fix: The token "..." should mean an ellipsis object, not the ellipsis class, when used in a normal expression within a non-stub file.

Enhancement (from Pylance): Add python.analysis.autoImportCompletions to control auto-import completions.

Bug Fix: Changed the inferred type of an async function to use `Coroutine` rather than `Awaitable` type. `Coroutine` is a subclass of `Awaitable` and is arguably more correct in this case.

Bug Fix: Fixed a bug in the handling of position-only parameters with default values followed by named parameters or **kwargs.

Bug Fix: Fixed a bug where "yield from" argument was assumed to be an "Iterator", but it should really be an "Iterable".

Bug Fix: Fixed bug where "from .A import A" statement caused symbol "A" to have an inferred type that was a union of a module and other type, even though the other type immediately overwrites the module.

Behavior Change: Changed type stub generator to never generate parameter type annotations based purely on default value types since those can be incorrect or incomplete. Changed type stub generator to automatically add method return types for common magic methods whose return type is always the same.

Behavior Change: Changed type stub generator to avoid emitting functions and methods that begin with an underscore.

Enhancement: Changed type checker to flag unaccessed symbols within type stubs in some cases. It doesn't mark function parameters or variables as unaccessed, and it doesn't mark imports of the form "from x import y as z" or "import a as b" as unaccessed since those are intended to be re-exports.

Enhancement: Changed type checker to treat "..." as an "Unknown" type when used as the RHS of an assignment statement such as "a = ...". This idiom appears sometimes within type stubs, and it should be treated as a missing (unknown) type so stub authors know that they need to fill in a type annotation.

Enhancement: Improved the diagnostic message used to report parameter type mismatches when a parameter name isn't known.

Bug Fix: Fixed a bug whereby a TypeVar in a source type could be conflated with a same-named TypeVar in a dest type when performing TypeVar matching.

Bug Fix: On the Windows platform, avoid calling 'python3' to determine the import paths for the current interpreter. This command can sometimes display a dialog indicating that python isn't installed and can be downloaded from the store.

Enhancement: Rework signature help to use new VS Code / LSP APIs. Function overrides and active parameters are handled much, much better.

Enhancement: Added strict-mode check for declared return types in type stubs, which don't allow for return type inference.

Bug Fix: Fixed bug in type checker that resulted in a crash when a function declaration referred to itself within its return type annotation.

Bug Fix: Fixed bug that caused duplicate diagnostics to be reported for quoted type annotations in some cases.

Bug Fix: Fixed bug that caused "find all references" and "replace symbol" to sometimes miss references to a symbol if they were within quoted type annotations or type comments.

Bug Fix: Fixed bugs in a few of the "find all references" tests, which were not properly quoting a forward-declared symbol.

Bug Fix: Fixed a bug that caused infinite recursion and a crash when printing the type of a function that refers to itself within its own return type annotation.

Bug Fix: Fixed bug where an f-string expression generated an error if it ended in an equal sign followed by whitespace. The Python 3.8 spec doesn't indicate whether whitespace is allowed here, but clearly the interpreter accepts it.

Bug Fix: Fixed bug in logic that handles chained comparisons (e.g. "a < b < c"). The code was not properly handling the case where the left expression was parenthesized (e.g. "(a < b) < c").

Enhancement: Improved bidirectional type inference in the case where the type and the expected type are generic but the expected type is a base class that has been specialized. For example, if the expected type is `Mapping[str, int]` and the type is a `dict`.

Bug Fix: Fixed bug that caused partial type stub creation (for subpackages of a top-level package) to be generated in the wrong directory.

Change in Behavior: Changed logic within type evaluator to track differences between None and NoneType. Previously, they were treated interchangeably. This worked in most cases, but there are some edge cases where the difference is important.

Change in Behavior: Changed logic that converts a type to text so it properly distinguishes between "None" and "NoneType". It previously always output "None".

Enhancement: Added support for "NoneType" matching a type expression "Type[T]" during TypeVar matching.

Bug Fix: Fixed the handling of class or instance variable declarations that redefine a same-named symbol in an outer scope but do not use a variable declaration statement within the class.

Bug Fix: Updated type checker's logic for dealing with symbols that are declared in an inner scope and an outer scope but used within the inner scope prior to being redefined.

Bug Fix: Fixed bug a homogeneous tuple of indeterminate length was indexed with a constant expression.

Enhancement: Made the reportIncompatibleMethodOverride rule smarter. It now properly handles position-only parameters and allows a subclass to extend the signature of a method it is overriding as long as the parameters are *varg, **kwarg, or have default values.

Enhancement: Augmented the reportIncompatibleMethodOverride diagnostic rule to check for cases where a non-function symbol within a subclass redefines a function symbol in a base class.

New Feature: Added new diagnostic rule "reportIncompatibleVariableOverride" which is similar to "reportIncompatibleMethodOverride" except that it reports incompatible overrides of variables (non-methods).

Bug Fix: Fixed bug that caused the default python platform not to be specified if there was no config file and no python interpreter selected.

Bug Fix: Fixed crash in type checker that occurs when removing NoReturn from a union and having no remaining types.

Bug Fix: Fixed bug that caused `__name__` not to be flagged as an invalid attribute on a class instance.

Bug Fix: Fixed bug that caused quoted type annotation (i.e. a forward reference) that contains type arguments to report an "unbound symbol".

Enhancement: Improved CompletionItemKind for intrinsic class symbols like `__name__`, etc.

Bug Fix: Fixed bug in parsing of unicode named character encodings within string literals when the encoding included capital letters.

Bug Fix: Fixed bug whereby a non-function definition (such as an instance variable) within a subclass was not considered as having overridden an abstract method or property within a base class.

Change in Behavior: Changed Never internal type to be assignable to any type. Previously, it was assignable to no type.

Bug Fix: Fixed bug that caused a spurious error during TypeVar matching when the TypeVar is constrained and is initially matched against an Any or Unknown type but is later matched against a known type.

Bug Fix: Fixed bug in dataclass logic that reported spurious error when initializing attribute with `field(init=False)`.

Change in Behavior: Renamed ParameterSpecification to ParamSpec to reflect latest PEP 612 changes.

Enhancement: Updated typeshed fallback stubs to latest version.

Change in Behavior: Updated PEP 612 and 614 features to be dependent on 3.10 rather than 3.9.

Bug Fix: Fixed bug that caused diagnostics to persist in files that are not part of the workspace even after they are closed.

Bug Fix: Fixed bug that generated incorrect type checking error when type alias used a Type[x] type annotation.