Pyright

Bug Fix: Fixed "internal error" caused by assertion in type var matching logic.

Bug FIx: Fixed detection of abstract methods that are not overridden. Previous implementation made bad assumptions about overload ordering.

Bug Fix: Fixed a bug in the case where a type alias is used as a type argument for another (user-defined generic) type alias.

Enhancement: Added support for user-defined generic type aliases.

Bug Fix: Fixed the handling of bidirectional type inference for cases involving lists with a declared entry type.

Bug Fix: Fixed a condition where the literal portion of a type was improperly removed. This affected imported type aliases in some contexts.

Revert: Reverted default value of 'reportMissingTypeStubs' setting from 'warning' to 'none'.

Bug Fix: Fixed a bug in the f-string parsing code, which didn't correctly handle the case where the "!=" token was used in an f-string expression.

Bug Fix: Updated dataclass analysis logic so it can handle circular type references in dataclass definitions.

Bug Fix: Fixed a hole in protocol type checking. The type checker wasn't properly handling protocol classes that derived from other classes.

Bug Fix: Fixed bug in import resolver. It was incorrectly returning implicit imports for "import X" or "import X as Y" statements. It failed to flag some errors and presented incorrect type completion suggestions.

Enhancement: Improved signature help suggestions for data class constructors.

Enhancement: Improved parse recovery and error messages for syntax that was previously valid in Python 2 but was made obsolete in Python 3.

Behavior Change: By default, the "reportMissingTypeStubs" setting now defaults to "warning" instead of "none". As before, it is an "error" in strict mode. Type checkers like Pyright provide significantly more value when you have type stubs available. For more details about why type stubs are important and how to locate or generate type stub files for your project, please refer to [this documentation](https://github.com/microsoft/pyright/blob/master/docs/type-stubs.md).

Bug Fix: Avoid reporting "partially unknown" error for functions that include "*" parameter.

Bug Fix: Fixed logic that converts function types to a string (for hover text, error messages, etc.). It wasn't correctly handling the 'position-only' argument separator ('/') introduced in Python 3.8.

Bug Fix: Fixed bug in binder logic that resulted in infinite recursion in the type evaluator. It occurred in the case where the target of an assignment was a tuple and the elements in the tuple depended on assignment ordering. The binder was not assigning the correct control flow nodes to the individual elements of the target tuple.

Bug Fix: Fixed bug in type evaluator relating to type var matching for function calls. The code now "locks" the type var map after the first pass. In the second pass, it verifies that the arguments are compatible with the types associated with the (now-locked) type vars.

Bug Fix: Fixed bug in type evaluator where it not properly handling properties within protocol classes.

Bug Fix: Fixed translation of a heterogenous tuple into an iterator. The resulting iterator needs to have a type argument created from a union of the heterogeneous tuple entries.

Enhancement: Added error reporting for instance and class variables within methods declared in a Protocol class. PEP 544 indicates that these should be flagged as an error.

Bug Fix: Fixed bug in type check logic that determines whether a class conforms to a Protocol. It was not properly taking into account instance variables within the class.

Bug Fix: Fixed bug in handling of "cast" function when type is specified within a string literal.

Enhancement: Added type narrowing support for built-in "callable" call.

Bug Fix: Fixed a ~5% performance regression that was introduced in 1.1.18 relating to abstract method checks.

Enhancement: Improved completion handling within decorators.

Enhancement: Added support for forward-declared types within contexts other than type annotations. This includes the 'bound' parameter and constraints within a TypeVar declaration, type arguments, the first argument to a "cast" call, and type expressions found within a "NamedTuple".

Enhancement: Implemented support for "Final" type annotation introduced in Python 3.8.

Bug Fix: Fixed bug in type comparison logic. It wasn't taking into account specialized return types for functions, so unions that contained two functions with different specialized return types were being deduped incorrectly.

Bug Fix: Fixed a bug in member access evaluation where the base type was a generic class. The logic was inappropriately specializing the class, inserting "Unknown" type arguments.

Bug Fix: Enhanced TypeVar matching logic to handle the case where the first encounter with a TypeVar is contravariant but subsequent encounters are covariant or invariant, in which case we may be able to narrow the type from the initial guess.