Bump pyright from 1.1.385 to 1.1.393 in /.github

[dependabot]

Bumps pyright from 1.1.385 to 1.1.393.

Release notes

Sourced from pyright's releases.

Published 1.1.393

Bug Fixes:

• Changed the fallback type from Unbound to Unknown for the case where pyright determines that a symbol requires code flow analysis but the execution scope exceeds the cyclomatic complexity threshold.
• Fixed a bug that results in a false positive "recursive type definition" error under certain circumstances when the number of declarations for a symbol exceeds the internal threshold of 16.
• Fixed a bug that results in incorrect handling of a "bare" ClassVar annotation either with or without an assignment.
• [From pylance] The default python version was not being picked up from the environment.
• Fixed bug that results in false negative when a parameter is used within a type expression and the parameter's type is a TypeVar or Self.
• Fixed bug that results in a false negative when two import statements shadow the same symbol and an attribute is accessed between the two import statements.
• Fixed bug that results in a crash (due to infinite recursion) if an enum class uses a reference to an enum member in an annotation for that same enum member.
• Fixed a bug that results in incorrect type evaluation when passing a function with a callable parameter that uses Concatenate plus ParamSpec to a function that accepts a callable with just a ParamSpec.
• Added missing check for illegal use of Final within a TypedDict or NamedTuple definition.
• Tweaked the algorithm for computing the complexity of a code flow graph to accommodate slightly larger graphs before giving up.

Enhancements:

• Updated typeshed stubs to the latest version.
• Added @override enforcement for an overloaded method that has no implementation.
• Added code to conform with the new checks mandated in the typing spec for @final and @override applied to an overload.
• Extended type narrowing for the X is L and X is not L type guard pattern. Previously, narrowing was performed only when L was an enum or bool literal. Narrowing is also now applied for other literal types but only in the positive (if) direction.
• Modified the overload call evaluation logic to conform with the new proposed type specification rules regarding *args parameters.
• Added support for argument type expansion of bool, enums, and tuples of fixed length when evaluating overloads. This behavior is mandated by the new draft typing spec update.

Published 1.1.392

Bug Fixes:

• Fixed bug that results in incorrect evaluation when passing a callable with a "*args" parameter to a callable with a Concatenate and ParamSpec.
• Fixed bug that results in the extraPaths configuration option within an execution extending rather than overriding the extraPaths provided in the top-level config.
• Fixed bug in dictionary expression type inference that results in the incorrect type when a dictionary expansion is used and the resulting expansion type is unknown.
• Improved handling of __getitem__, __setitem__ and __delitem__ magic method modeling to handle descriptor objects.
• Eliminated type evaluation order dependency that results from return type inference that involves recursion.
• Fixed bug that results in an incorrect "overlapping overload" error message in certain cases involving parameters annotated with Self.
• Fixed bug that results in a spurious error when an assignment expression (walrus operator) is used as an argument to a constructor call when the constructor has both a __new__ and __init__ with differing bidirectional type inference contexts.
• Fixed bug that results in a spurious "incompatible method override" error when two subclasses with an overloaded method are combined using multiple inheritance.
• Fixed bug that results in an "incompatible method override" false negative when overriding a method that uses class-scoped type parameters with a method that uses method-scoped type parameters.

Behavior Changes:

• Changed error messages to refer to lowercase list, dict and type rather than their deprecated uppercase counterparts now that Python 3.8 is EOL'ed.
• Improved type narrowing for issubclass in the negative ("else") case when the subject type is type or Any.

Enhancements:

• Added missing syntax error check for positional argument that follows an unpacked keyword argument in a call expression. Also added a check for an unpack operator used within the first argument of a cast call.
• Changed code that computes unescaped literal string type to convert CRLF to LF within multi-line triple-quoted strings so the behavior is consistent with runtime.
• Improved error reporting for "async with" statement. Added check that return result of __aexit__ is awaitable and improved error messages for the case where __enter__, etc. are present but have incorrect signatures.
• Added support for bidirectional type inference for assignment statements that are assigning to an index expression that is subscripted by a slice.

Published 1.1.391

Bug Fixes:

• Fixed a bug that results in a crash under certain circumstances when Self is errantly specialized.
• Fixed bug that leads to incorrect evaluations when a ClassVar and Final qualifier are both used on the same dataclass attribute.
• Fixed bug that leads to a hang when returning a tuple from a lambda argument expression in certain circumstances.
• Fixed bug that results in incorrect evaluation of a generic dataclass entry when the entry is defined by a generic subclass.
• Fixed bug that leads to a false positive error when --verifytypes is used and a subclass overrides an attribute that is generic in the base class.

... (truncated)

Commits

• 3763156 Published 1.1.393
• 2b126fa Published 1.1.392
• 36a58cd pull-pylance-with-pyright-1.1.391-20250108-044808 (#9673)
• c9af81d Published 1.1.391
• 2f28cd3 Published 1.1.390
• db2c9b0 Published 1.1.389
• 0e5eb7a Published 1.1.388
• 5006323 Published 1.1.387
• c03e064 Published 1.1.386
• 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 <dependency name> 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)