Update dependency pyright to ^1.1.392

[renovate]

This PR contains the following updates:

Package	Change	Age	Adoption	Passing	Confidence
pyright (source)	^1.1.388 -> ^1.1.392

---

Release Notes

Microsoft/pyright (pyright)

v1.1.392: Published 1.1.392

Compare Source

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.

v1.1.391: Published 1.1.391

Compare Source

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.
• Fixed bug that results in the command-line version of pyright not handling long file lists provided via stdin.
• Fixed bug that results in spurious type evaluation error when an operator overload method like __add__ is implemented with a descriptor object.
• Fixed bug that results in confusing error messages when using --verifytypes while targeting a submodule within a package and that submodule is a single-file module.
• Fixed recent regression in isinstance type narrowing logic that affects the case where the filter type is a metaclass.
• Fixed bug that results in order-dependent type errors under certain circumstances involving converter functions in a dataclass.

Enhancements:

• Improved error message for incorrect exception type in an except clause.
• Added exemption to the reportUnnecessaryComparison rule for simple wildcard patterns in a case clause.

v1.1.390: Published 1.1.390

Compare Source

Bug Fixes:

• Fixed recent regression that results in incorrect narrowed type when using the x in y pattern where y is a container type whose element type is Unknown or Any.
• Fixed bug that causes a false positive overlapping overload error when the overload accepts a Callable[..., T] form.
• Fixed a bug that results in a hang under certain circumstances when using a recursive type alias.
• Fixed a bug that leads to a false positive when a function is decorated and has no explicit return type annotation and the body references the decorated function in a loop.
• Fixed a bug that leads to incorrect type evaluation when __getitem__ is set to a callable object.
• Fixed bug that results in confusing error message when there is a partially-unknown metaclass type detected by the --verifytypes command.

Enhancements:

• Updated typeshed stubs to the latest version.
• Added check for \u and \N escapes within bytes literals, which are illegal.
• Added support for a "bare" Final annotation in a dataclass entry that has a default value assigned to it.
• Improved dataclass converters to support generic types.
• Added check for importing a Final variable from another module and then attempting to overwrite it.
• Added check for an attempt to assign to a module-local variable if it is shadowing a Final variable declared by the builtins module or some other chained file.
• Added support for evaluating the slice class type arguments for slice expressions.
• Added check for invalid use of ClassVar qualifier within a NamedTuple or TypedDict attribute annotation.

Behavior Changes:

• Changed inference logic for exception groups to more closely match the runtime. If a non-base exception is targeted, the inferred type is now ExceptionGroup rather than BaseExceptionGroup.

v1.1.389: Published 1.1.389

Compare Source

Bug Fixes:

• Fixed bug that results in a false negative if a | union operator creates a union of generic types. These types should be specialized with default type arguments.
• Fixed bug that results in false negative when raising a value of type None.
• Fixed bug that results in an incorrect type evaluation when a match statement uses a pattern with a target expression that overwrites the subject expression.
• Fixed bug that results in a missing reportUnknownArgumentType error if the argument is an expression involving an __init__ parameter in an unannotated (pseudo-generic) class.
• Fixed bugs that resulted in false positive errors when using an expression of the form type(A) as a base class or a metaclass in a class definition.
• Fixed bug that leads to false positive when a method is overridden by a polymorphic method.
• Fixed bug that affects pyproject.toml files with an emoji character by switching to a different toml parser.
• Fixed a bug that results in a false negative when a class is used in a type annotation for a method parameter and both the class and the method are generic and use PEP 695 syntax.
• Fixed a bug that results in a false positive "--verifytypes" error when using an explicit TypeAliasType call to create a public symbol in a "py.typed" library.
• Fixed bug that results in the incorrect detection of an asymmetric descriptor if the descriptor class is generic.

Enhancements:

• [From Pylance]: Improved signature help to skip keyword-only params with invalid names.
• Added checks for except* clause to report invalid usage that is flagged as a syntax error at runtime.
• Added check for the illegal use of an await keyword in a lambda.
• Added missing checks for illegal use of await and async within list, set and dictionary comprehensions within a non-async function.
• Improved a confusing error message that results when a class is assigned to an incompatible class.
• Added narrowing support for a TypedDict value, which can be assumed never to be falsy if it has at least one required entry.
• Improved the "x is y" and "type(x) is y" type guards to better handle the case where x is a TypeVar.
• Updated typeshed stubs to the latest version.

---

Configuration

📅 Schedule: Branch creation - At any time (no schedule defined), Automerge - At any time (no schedule defined).

🚦 Automerge: Enabled.

♻ Rebasing: Whenever PR is behind base branch, or you tick the rebase/retry checkbox.

🔕 Ignore: Close this PR and you won't be reminded about this update again.

---

• If you want to rebase/retry this PR, check this box

---

This PR was generated by Mend Renovate. View the repository job log.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 90.30%. Comparing base (3ea0030) to head (22f8478).
Report is 2 commits behind head on master.

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #2661      +/-   ##
==========================================
- Coverage   90.31%   90.30%   -0.01%     
==========================================
  Files         256      256              
  Lines       15820    15820              
==========================================
- Hits        14288    14287       -1     
- Misses       1532     1533       +1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.