Pyright

Bug Fix: Fixed bug in import resolver where a namespace package was chosen over a traditional package if the former had a shorter name.

Enhancement: Added support for `__call__` method overloads when assigning a callable object to a callable type.

Enhancement: Added error for a subscripted type annotation that involves a quoted expression in the LHS of the subscript. This generates runtime errors.

Enhancement: Enhanced reportIncompatibleMethodOverride diagnostic check to support overrides that have `*args` and `**kwargs` parameters.

Enhancement: Improved completion suggestions to better handle super calls in base class methods.

Bug Fix: Fixed bug that affected the case where a class variable has a declared type in a base class, and a subclass assigns a value to that class variable but doesn't (re)declare its type. In this case, the type of the expression assigned within the base class should use the expected type declared in the base class for type inference.

Enhancement: Added missing error logic to handle the case where a type variable is used in the LHS of a member access expression. This isn't supported currently in the Python type system.

Enhancement: Improved error checking and reporting for NewType (for unions, literals, callables, protocol classes, and type variables).

Enhancement: Added error check for an attempt to instantiate a literal (`Literal[1]()`).

Bug Fix: Fixed bug in TypeVar constraint solving logic. If an "Any" or "Unknown" type is being assigned to a constrained TypeVar, it should result in "Any" or "Unknown" rather than the first constrained type.

Enhancement: Added check for multiple functions declared within the same scope that have the same name, with the final one overwriting the earlier ones. This check is suppressed for overloaded functions and property setters/deleters.

Enhancement: Improved the reportIncompatibleVariableOverride diagnostic check so it ignores symbols with private names (i.e. start with double underscores).

Bug Fix: Changed hover text to use the last declaration of a symbol rather than the first declaration to determine which type category text (e.g. "(module)" or "(class)") in the hover text.

Bug Fix: Fixed bug that caused error when invoking the definition provider on an unresolved module import.

Bug Fix: Fixed bug in logic that infers symbol types that resulted in "unbound" types to be reported incorrectly in certain rare circumstances.

Bug Fix: Fixed a crash in the "--verifytypes" feature of the CLI.

Bug Fix: Fixed bug in file watching logic so it properly handles cases where an entire folder is deleted.

Bug Fix: Suppressed "symbol is unbound" error when used in a `del` statement, since this is legal.

Enhancement: Enhanced --verifytypes command so it can now accept a module path within a package. Type analysis is limited to the specified module and its submodules.

Bug Fix: Fixed bug that caused "--verifytypes" feature to report missing return type annotations for all property getters within a class if only one of them was missing a return type annotation.

Enhancement: Added missing error logic to handle the case where a type variable is subscripted in a type expression. This isn't supported currently in the Python type system.

Enhancement: Improved signature help in case where right parenthesis is missing.

Enhancement: Added error for incorrect use of list expression for type arguments.

Enhancement: Added error for Callable that is missing a return type.

Behavior Change: Changed type analysis behavior when reportGeneralTypeIssues diagnostic rule is disabled and an incompatible type is assigned to a variable. Previously, the assigned type was retained in this case, but now the declared type is assumed (as it is when reportGeneralTypeIssues is enabled).

Enhancement: Added support for completion suggestions within subscript for typed dict attribute names.

Behavior Change: Change string literals to use "constant" type when displayed in completion suggestion lists.

Behavior Change: Changed logic for detecting overrides of Final member variables by subclasses. Symbols with double underscores are now exempt from this check, since they are considered private and are name-mangled.

Bug Fix: Fixed bug in logic that detects overrides of final methods. The logic was not handling the case where a private (single underscore) method was marked final.

Enhancement: Updated typeshed stubs to latest.

Bug Fix: Fixed regression in code that handles context managers that suppress exceptions.

Bug Fix: Fixed bug that resulted in infinite recursion (and an internal error) when NewType was used with a protocol class.

Bug Fix: Fixed reportIncompatibleMethodOverride diagnostic check so it doesn't ignore incompatible protected methods (those whose names start with a single underscore).

Enhancement: Added support for "reveal_locals()" call to reveal all of the symbols within the current scope.

Bug Fix: Fixed internal error resulting from an assignment expression located within a list comprehension scope which is contained within a class scope.

Enhancement: Augmented type completeness JSON output to include alternate public names of exported symbols. For example, if a symbol "foo" is declared in module "a.b.c" and is also re-exported from "a", then the main name of the symbol is "a.b.c.foo", but it has an alternate name of "a.foo".

Enhancement: Improved "partially unknown type" error messages within type completeness report.

Bug Fix: Fixed false negative for "reportUnknownParameterType" diagnostic rule when all function parameters were unannotated.

Bug Fix: Fixed a couple of issues with TypeGuard. Previously, `TypeGuard` was implemented as an alias to `bool` which meant that `bool` was assignable to `TypeGuard` in all circumstances. Now it is special-cased to be assignable only in return statements.

Bug Fix: Fixed bug that caused definition provider to not fully resolve a submodule symbol in certain cases.

Enhancement: Added support for aliases of imported module "sys" when evaluating "sys.platform" and "sys.version".

Behavior Change: Suppressed "Covariant type variable cannot be used in parameter type" diagnostic in the case of an "__init__" method to match mypy behavior.

Bug Fix: Fixed regression that broke type inference for packages with no "py.typed" file and no stubs when "useLibraryCodeForTypes" was enabled.

Bug Fix: Fixed bug that caused "Type" with no type argument not to be flagged as an error.

Enhancement: Changed pythonPlatform to accept a value of "All" in which case no particular platform will be used over the others.

Bug Fix: Fixed bug that caused improper error when using "self" in a "raise ... from self" statement.

Bug Fix: Fixed bug that caused false negative when using a generic type alias with no type arguments.

Bug Fix: Added cache for logic that determines whether a context manager swallows exceptions (and hence acts like a try/except statement). This cache not only improves performance of code flow walks but also prevents infinite recursion in rare cases.

Behavior Change: Improved handling of unannotated decorator functions. If the decorator returns a function that accepts only *args and **kwargs (which is common), the type checker now assumes that the decorated function or method's signature is unmodified by the decorator. This preserves the original signature and docstring.

Bug Fix: Fixed bug that caused types within a "finally" clause to be evaluated incorrectly in situations where the "try" and all "except" and "else" clauses returned, raised, or broke.

Enhancement: Changed error messages that refer to "named" parameters and arguments to "keyword", which is more standard for Python.

Bug Fix: Fixed bug in declaration provider where the declaration of a member wasn't properly resolved when the LHS of the member access was a call to a function that returns a `Type[X]`.

Bug Fix: Fixed bug that manifest as a problem with enums but was actually a problem in handling the circular dependency between "type" and "object" classes (since "type" is an object and "object" is a type).

Bug Fix: Fixed bug that caused incorrect type evaluation when a class was assigned to a generic protocol that was satisfied by the class's metaclass if the class also derived from a base class that also satisfied the same protocol.

Enhancement: Added code to test for missing annotation in `Annotated`.

Bug Fix: Fixed false negative where a union type was assigned to a constrained type variable. An error should be generated in this situation.

Enhancement: Added additional validation for TypeVar scoping. If an outer class defines the scope for a type var, functions and variables within an inner class cannot use a TypeVar of the same name.

Bug Fix: Improved handling of "py.typed" for namespace packages and packages with submodules.

Enhancement: Added support for `__index__` magic method when used with `__getitem__` or `__setitem__` magic methods.

Enhancement: Added support for matching modules against protocols as specified by PEP 544.

Bug Fix: Fix for missing docs in completion list due to only checking the setter for docs because its definition comes after the getter.

Enhancement: Improved error messages for expected TypeDicts. (Contribution from Sam Abey.)

Bug Fix: Fixed bug where an *args or **kwargs parameter could be specified by name in a function call.

Behavior Change: Changed behavior of kwargs parameter that has a generic (TypeVar) type annotation. Literals are now stripped in this case before assigning to the TypeVar.

Enhancement: Improved mechanism for overloaded `__init__` method that uses `self` parameter annotation to specify the result of a constructor. The new mechanism supports generic type arguments within the `self` annotation.

Bug Fix: Fixed bug that caused sporadic errors when modifying the builtins.pyi stub file.

Bug Fix: Fixed bug with overlapping overload detection. It was reporting an incorrect overlap when a different TypeVar (bound vs unbound) was used in two overloads.

Bug Fix: Fixed another false positive error related to overlapping overload methods with a TypeVar in a parameter annotation.

Bug Fix: Fixed bug that caused internal stack overflow when attempting to assign a class to a protocol that refers to itself.

Enhancement: Improved support for protocol matching for protocols that include properties. Getter, setter and deleter methods are now individually checked for presence and type compatibility, and generics are now supported.

Enhancement: Updated to latest typeshed stubs.