Pyright

Enhancement: Improved "is None" and "is not None" type narrowing logic for constrained TypeVars that include `None` as one of the constraints.

Enhancement: Improved error message for illegal character in token and surrogate character codes combinations that are not allowed in identifiers.

Enhancement: Added support for more surrogate character ranges that I didn't realize existed when I added the initial support.

Behavior change: Don't prefer py.typed libraries when the execution environment is typeshed.

Bug Fix: Fixed bug in signature help provider where it was not properly handling a call with a type `Type[T]`.

Bug Fix: Fixed bug in code that handles "super" call when a `cls` variable is passed as the first argument.

Bug Fix: Changed the way the current parameter index is specified in signature help to better conform to LSP standard.

Enhancement: Improved the "X is incompatible with Y" error message in the case where types X and Y have the same short name. In this case, the fully-qualified names will be used to provide clarity.

Bug Fix: Fixed bug that resulted in false positive when generic type was used for iterable within a list comprehension.

Bug Fix: Fixed bug that resulted in incorrect errors when using a TypeVar imported from another file and referenced using a member access expression (e.g. `typing.AnyStr`).

Enhancement: Added support for `defaults` argument in `namedtuple` constructor, which marks the rightmost input parameters to the resulting named tuple as having default values.

Behavior change (from pylance): Filter auto-imports more strictly to reduce the number of completions returned. Matches require at least the first character to match before fuzzy matching is applied.

Enhancement (from pylance): Add support for tables in docstrings.

Bug Fix: Fixed bug that caused parameters in overloaded functions not to be marked as accessed, as was intended.

Bug Fix: Fixed false negative when the same name was defined in both an outer and inner function and referenced in the inner function prior to being assigned.

Enhancement: Added support for identifiers that contain Unicode characters that require two UTF16 character codes (surrogates). This allows identifiers to use characters in the Unicode blocks for Egyptian Hieroglyphs, Linear B Ideograms, Cuneiform, Phoenician, etc.

Enhancement: Added new diagnostic rule "reportIncompleteStub", which reports a diagnostic for a module-level `__getattr__` function in a type stub, indicating that it's incomplete. This check was previously part of the "reportUnknownMemberType" diagnostic rule.

Behavior Change: Disabled support for keyword arguments in subscript expressions because PEP 637 was rejected.

Bug Fix: Fixed bug in the type specialization for ParamSpec when the return type contains no generics.

Bug Fix: Changed TypeGuard behavior to evaluate the return type of a call expression that invokes a type guard function to be 'bool' rather than 'TypeGuard[T]'.

Behavior Change: Changed TypeGuard behavior to allow a type guard function to be passed as a callback that expects the return type to be bool.

Bug Fix: Removed explicit check for Python 3.10 when using ParamSpec. It's possible to use it with older versions of Python if importing from `typing_extensions`.

Bug Fix: Fixed bug that caused a false positive error when applying a subscript operation on a TypeVar.

Bug Fix: Fixed bug that resulted in a false positive error when the second argument to `isinstance` or `issubclass` was a union that included both a single type and a tuple of types.

Enhancement: Updated typeshed stubs to the latest version.

Enhancement: Added support in typeshed VERSIONS file for submodules.

Enhancement: Updated typeshed to the latest.

Enhancement: Added support for typeshed VERSION file, which indicates which stdlib modules are available in each version of Python.

Bug Fix: Fixed bug that resulted in symbols being inappropriately marked "unaccessed" when they were accessed within a keyword argument used within a class declaration.

Bug Fix: Fixed false positive error when a dataclass declares an instance variable but a subclass redeclares a class variable of the same name.

Bug Fix: Fixed type narrowing bug with 'isinstance' checks that involve protocol classes. The bug resulted in false positive errors with the reportUnnecessaryIsInstance check.

Enhancement: Added support for callback protocols that use overloaded `__call__` methods.

Enhancement (from pylance): Improved performance of tokenizer's handling of string literals.

Bug Fix (from pylance): Ignore updates to ".git" file so they don't trigger reanalysis.

Bug Fix: Fixed false positive error in check for overload implementation consistency when one of the overloaded methods in a generic class provides an explicit type annotation for "self" or "cls" but the implementation does not.

Enhancement: Improved "is None" and "is not None" type narrowing logic to handle constrained TypeVar that includes None as one of the constraints.

Bug Fix: Fixed false positive error when a `__getattr__` method is present. The previous logic was assuming that `__getattr__` could provide a magic method value (e.g. for `__add__`).

Bug Fix: Prefer py.typed libraries over typeshed for consistency with PEP 561.

Bug Fix: Improved validation for function calls where the function signature includes keyword arguments without default values that are not directly matched by keyword arguments but are matched by a **kwargs argument. In this situation, the type of the **kwargs values should be verified to be compatible with the type of the keyword parameters.

Bug Fix: Fixed bug in lambda type evaluation for lambdas that use an *args parameter. The parameter type was not being transformed into a tuple, as it should have been.

Enhancement: Improved diagnostic message for constant redefinition to make it clear that the symbol is assumed to be constant because its name is uppercase.

Bug Fix: Fixed bug in handling special-case types in typing.pyi or typing_extensions.pyi. The RHS of the assignment was not being evaluated, so symbols referenced in the RHS were not be marked as accessed.

Bug Fix: Changed special-case handling of "overload" definition in typying.pyi stub. New versions of this stub have changed the definition from an object to a function.

Bug Fix: Fixed recent regression in handling of f-strings that are also raw.

Bug Fix: Fixed bug in type inference of dictionary, list and set expressions when they contain classes or class instances that are apparently the same type but internally appear different because they are "pseudo-generic". Pseudo-generic classes are those that have no type annotations in the `__init__` method and are treated internally as generics to improve type inference.

Bug Fix: Fixed bug that caused false positive error when assigning `Type[Any]` to `type`.

Bug Fix: Fixed false positive error when assignment expression (i.e. walrus operator) is used within a class scope.

Enhancement: Updated typeshed stubs to the latest.

Behavior Change: When in "outputjson" mode, the CLI now output log information to stderr.

Enhancement: Add match and case keywords to completion provider.

Bug Fix: Fixed regression that caused runtime assertion (and crash) in some rare circumstances.

Performance: Eliminated O(n*m) behavior when testing type compatibility of a union with n subtypes and a union of m subtypes when those subtypes contain mostly literals.

Performance: Moved checks for string literal errors (unsupported escape characters, etc.) from binder to checker for performance reasons.

Performance: Improved performance of string token value unescape logic by handling the common cases (no format string and no escape characters) using a fast path.

Bug Fix (from Pylance): Fixed bug in file watching logic for config files.

Performance (from Pylance): Reduced work done during parsing and binding related to doc string handling.

Enhancement (from Pylance): Improved document symbol provider symbol type information.

Behavior Change: Removed PEP 563 (deferred type annotation) behavior as default for Python 3.10, since the PEP was deferred.

Bug Fix: Fixed bug in completion provider that caused completions to be provided when pressing "." within the string literal portion of an f-string.

Performance (from Pylance): Provided special-case code paths in parser and binder to speed up symbol indexing operations.

Bug Fix: Fixed bug in diagnostic check for contravariant type variables used in a return type annotation that resulted in a false negative.

Enhancement: Added minimal support for `*` and `**` parameter annotations within function annotation comments.

Behavior Change: Modified algorithm for invariant union type assignments to avoid n^2 behavior.

Bug Fix: Fixed a false positive error that occurs when a class uses itself as a type argument for one of its base classes and that base class uses a bound type variable.

Enhancement: Added logic to skip the normal `__new__` constructor evaluation if the class is created by a metaclass with a custom `__call__` method.

Bug Fix: Fixed bug in TypedDict type narrowing (for containment of non-required fields) that resulted in a false positive error when a narrowed type was later used.

Bug Fix: Fixed bug in type variable constraint solver that resulted in a confusing false positive error in circumstances involving contravariant type variables (e.g. when dealing with callback protocols) and a combination of `Type[T]` and `T` within the callback signature.

Enhancement (from pylance): Improved formatting of doc strings in tool tips.