Bump pyright from 1.1.371 to 1.1.373 in /.github

Bumps pyright from 1.1.371 to 1.1.373.

Release notes

Published 1.1.373

Bug Fixes:

Fixed regression that results in a false positive when an Annotated type is used in a type argument within a specialized type on the LHS of a call expression, such as list[Annotated[int, ""]]().

Fixed a bug that results in incorrect type evaluation in certain edge cases involving bidirectional type inference with TypeVarTuples.

Fixed a bug that results in a false positive error when using bidirectional type inference for a call expression where the expected type is a union.

Added the distinction between "external" versus "internal" type variable scopes. This is important for generic class implementations that call their own constructors.

Fixed a bug that results in incorrect type narrowing when using TypeIs form when the return type of the type guard function is a specialized generic class.

Fixed bug that results in a false positive "overlapping overload" diagnostic when the later overload includes a callback function with a TypeVar in a parameter type.

Fixed bug that resulted in an infinite loop when evaluating a call that passes the same call as an argument. Simplified tracking of unique signatures within the code.

Fixed a bug that can cause a hang during type analysis for complex code with loops. There are rare circumstances that can cause types not to converge due to symbol dependencies and unstable overload resolution. This change adds a hard limit on the number of attempts to converge types in a loop before giving up.

Fixed a bug that results in false negatives in certain cases involving bidirectional type inference for constructor calls.

Fixed issues with the reportInconsistentConstructor. It produced false negatives in some cases and produced bad error messages in other cases.

Fixed bug that results in a crash if an explicit specialization of a class parameterized by a ParamSpec has zero type arguments. This is a syntax error, but it shouldn't cause the type evaluator to crash.

Behavior Changes:

Changed all diagnostic generated in the type evaluator to have a diagnostic rule associated with them so their severity is under user control.

Changed internal behavior to retain type alias information when applying solved type variables for a type. This doesn't change type checking behaviors, but it changes language server output (e.g. hover text) in some cases. It can also affect diagnostic messages.

Enhancements:

Added provisional support for draft PEP 736 (keyword argument shortcut syntax).

Added check for class attribute type declarations that use method-bound type variables. These should be illegal.

Improved type evaluation for tuples index expressions with negative subscripts and an entry with an indeterminate length.

Made support for "converter" parameter in dataclass_transform fields non-experimental. This functionality has been approved by the typing council.

Added support for bidirectional type inference for __extra_types__ in a closed TypedDict.

Updated typeshed stubs to the latest version.

Added support for auto-synthesized __replace__ method in dataclass and namedtuple classes, a new feature in Python 3.13.

Published 1.1.372

Bug Fixes:

Fixed bug that can result in incorrect evaluation of a traditional (pre-PEP 695) type alias the defines a union which is later used as the second argument to an isinstance or issubclass call.

Fixed bug in type narrowing logic for sequence pattern matching when a "star" entry in the pattern captures a TypeVarTuple. The resulting type should be Unknown rather than the unpacked TypeVarTuple.

(from pylance) Fixed regression that broke CLI when used with poetry or other tools that depend on the working directory.

Fixed a recent regression that results in a false positive when the fully-qualified form of typing.Request is used in an annotation expression.

Fixed a bug that results in false positive reportInconsistentConstructor errors if one or both of __init__ or __new__ are overloaded.

Fixed a bug that results in a false positive reportOverlappingOverload error in certain cases involving ParamSpec and Concatenate.

Fixed a bug that results in incorrect import resolution behaviors when a ".py" file and a directory have the same name, and the directory doesn't have a __init__.py file in it. In this case, the ".py" file should take precedence during imports.

Fixed inconsistent behavior when evaluating a binary expression with an or or and operator when the LHS evaluates to a literal int, str, bytes or bool type.

Fixed bug that results in a false positive error under certain circumstances when a generator function with no type annotation contains a return value.

Fixed bug that results in some circumstances in incorrect specialization of type[T] when T evaluates to Any.

Fixed false positive error when using an overloaded __init_subclass__ method under certain circumstances.

Enhancements:

Added support for negative type narrowing (in the fall-through case) for a mapping pattern consisting of a single dictionary expand entry. This should match all mapping types, eliminating them in the fall-through case.

Added support for class declarations within an enum class body -- both with and without @member and @nonmember decorators.

Added "literal math" support for bitwise operators (left shift, right shift, logical or, logical and, logical xor, and invert).

Improved the handling of bidirectional type inference for call expressions when the expected type comprises a union.

Added "literal math" support for exponentiation operator.

Improved performance of type analyzer an average of 12% by refactoring internal data structures and making key objects "monomorphic". This allows the V8 Javascript engine (used in node) to JIT more optimal code.

Behavior Changes:

... (truncated)

Commits

258e275 Published 1.1.373
d6372d4 Published 1.1.372
See full diff in compare view

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.

Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot show ignore conditions` will show all of the ignore conditions of the specified dependency - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)

microsoft / Qcodes

Bump pyright from 1.1.371 to 1.1.373 in /.github #6276

Published 1.1.373

Published 1.1.372

Codecov Report