microsoft/pyright 1.1.398

Published 1.1.398

on GitHub

Bug Fixes:

• Fixed bug that results in a spurious type error when a ParamSpec is used in conjunction with a dataclass and a contextmanager.
• Fixed recent regression that results in a false negative when calling a function with a positional-only parameter whose type is generic and has a concrete default argument value.
• Fixed regression that results in an Unknown type evaluation where previously Any was generated during bidirectional type inference.
• Fixed bug that results in incorrect overload resolution when an unpacked argument is of unknown length and potentially matches multiple overloads.
• Fixed bug that results in a variable being displayed as "not accessed" if it's used in an argument expression for a call expression whose base type is a module or None.
• Fixed bug that results in a hang under certain very specific circumstances involving a protocol method that has been decorated in such a way that it can no longer be bound to the owning protocol class.
• Fixed a bug that contributes to inconsistent type evaluation results when using the "--threads" feature.
• Fixed bug that results in incorrect "literal math" result when dividing Literal[0] by a negative literal int value.
• Fixed a bug in "literal math" for shift operators. If the RHS value is negative, the operation is invalid, so literal math shouldn't be applied.
• Fixed bug in "literal math" logic for modulo and floor divide operators that affect cases where operands have different signs.

Behavior Changes:

• Changed algorithm for applying type narrowing upon assignment when one or both of the declared type or assigned type contain "Any".
• Removed special-casing for async functions that skips check for implicit return when the return type is NoReturn.

Enhancements:

• Updated typeshed stubs to the latest version.
• Extended reportPrivateImportUsage to report the use of symbols imported from private submodules in a "py.typed" or stub library.
• Extended the reportUnnecessaryComparision check to support the patterns x is None and x is not None in cases where x is provably disjoint in type.
• Added generalized support for assignment expressions (walrus operators) for type guards.
• Extended the type narrowing logic for the x == L type guard pattern so it supports the case where x is LiteralString and L is a string literal.