build(deps-dev): bump pyright from 1.1.400 to 1.1.401

[dependabot]

Bumps pyright from 1.1.400 to 1.1.401.

Release notes

Sourced from pyright's releases.

Published 1.1.401

Bug Fixes:

• Fixed a bug in the type narrowing logic for the S in D type guard pattern (where S is a string literal and D is a TypedDict). If the TypedDict is not closed, the absence of the key within the TypedDict definition cannot eliminate the type during narrowing.
• Fixed a bug that leads to a false negative when accessing a key on a TypedDict that is defined with extra_items=Never.
• Fixed bug that results in incorrect variance inference when a property access method uses a method-local type variable to annotate the self parameter.
• Fixed bug that results in a false positive error under certain circumstances where the second argument for a super call is a union.
• Fixed bug that results in a false negative when deriving from a stdlib protocol class and not implementing one or more abstract methods.
• Fixed bug that results in incorrect type narrowing behavior when the second argument to an isinstance call includes a union (specifically with the | operator) within a tuple expression.
• Fixed a bug that results in a spurious error when __class__() is assigned to Self.
• Added missing check for unquoted self references when calling TypeAliasType constructor manually (as opposed to using the PEP 695 type syntax).
• Fixed a bug that results in incorrect expansion of the bytes promotion type if the value is a bytes literal.
• Fixed bug in type narrowing logic for class patterns in a match statement. Negative type narrowing was incorrect when the subject is a literal type and the class is the corresponding non-literal class.

Enhancements:

• Improved handling of __slots__ members to correctly model the case where a descriptor object is stored in a __slots__ variable.
• Modified --verifytypes output to expand type aliases in its error messages to help diagnose "partially unknown" conditions.
• Enhanced x is ... type narrowing logic to narrow Any | EllipsisType to EllipsisType to match x is None narrowing logic.
• Updated typeshed stubs to the latest version.

Behavior Changes:

• Switched internal usage of builtins.function, typing.AwaitableGenerator, and typing._TypedDict to types.FunctionType, _typeshed._type_checker_internals.AwaitableGenerator, and _typeshed._type_checker_internals.TypedDictFallback, respectively.

Commits

• ae64f08 Published 1.1.401
• 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)