Pyright

New Feature: Added config switch for reportUnknownLambdaType.

Enhancement: Implemented parameter type inference for lambdas (uses bidirectional type inference where possible).

Enhancement: Extended bidirectional type inference for types that are nested within dictionaries and tuples.

Enhancement: Implemented two-pass argument for parameters that require type variable matching. This allows for better type checking of arguments and provides better compliance with PEP 484 standard.

Enhancement: Improved type completion within lambda expressions.

Bug Fix: Fixed bug that caused type checker to mistakenly analyze third-party source files that are imported by third-party stub files. The analyzer now stops when it encounters a third-party source file, even if it's included by a stub file.

Bug Fix: Fixed bug that caused some unioned types to be dropped because the deduping logic was mistakenly detecting duplicates.

Bug Fix: Fixed handling of augmented expressions that are defined by the special "i" forms of operator magic methods.

Bug Fix: Fixed handling of tuple expressions that contain unpack operations.

Bug Fix: Fixed regression introduced in previous release relating to yield statements with no expression.

New Feature: Added support for Python 3.8 ability to use unpack operators within return or yield statements.

New Feature: Added support for Python 3.8 f-string expressions that end in "=".

Bug Fix: Reduced size of pyright extension by 70%+ by deleting large "LSIF" files that have started to be included in some of the dependent modules.

Bug Fix: Fixed analysis of the second (optional) parameter of assert statements.

Bug Fix: Fixed issue that caused Callable type not to be assignable to generic Type[_T] parameter.

Bug Fix: Fixed bug where unpack operation was not allowed in right-hand side of simple assignments.

New Feature: Added support for " type: import" with a config switch to disable it ("enableTypeIgnoreComments").

Enhancement: Added support for the implicit "__class__" symbol that is added to all methods.

Bug Fix: Fixed bug in type checker's handling of assignments to indexed expressions. It was not properly validating that the assigned type was appropriate.

Bug Fix: Fixed path parsing bugs that affect Windows platform.

Bug Fix: Fixed bug in handling of enums when using index operator.

Bug Fix: Fixed recent regression (interaction between "expected type" logic for list/set/dict literals and type var matching) that caused the type checker to miss some errors.

Bug Fix: Added support for comparison fallbacks (e.g. if < isn't supported, try its complement >).

Bug Fix: Improved PEP 484 compliance with respect to handling of int, float and complex types.

Enhancement: Improved type completion in cases where an index (subscript) construct is used to the left of a member access construct.

New Feature: Added support for PEP 589 (TypedDict).

Enhancement: Updated all typestub files to the latest from the typeshed repo.

Bug Fix: Fixed issue that caused public member variables with annotated Literal types to not accept a literal assigned value.

Bug FIx: Fixed several bugs in type checker's logic that caused some type violations not to be reported.

Bug Fix: Changed Tuple (with no type arguments) to default to Tuple[...] rather than Tuple[].

Bug Fix: Fixed issue with Literal type arguments. String literals were being parsed as forward-declared types, and some strings generated tokenizer and parser errors.

Bug Fix: Fixed type checker bug where functions and classes were flagged as not being assignable to 'object'.