Sourced from pyright's releases.

Published 1.1.339

Bug Fixes:

• Fixed a bug that resulted in a false positive error under certain circumstances involving inferred variance, decorators and generic type aliases.
• Fixed a bug that resulted in a false positive when Self was used in a value expression outside of a class body.
• Fixed bug that resulted in a false positive error when overriding a TypedDict field when the overridden type was Any or vice versa.
• Fixed bug that resulted in a false negative when overriding a TypedDict field with an incompatible Required or NotRequired attribute.
• Fixed recent regression that resulted in a false negative when type or type[Any] was used as a type annotation for a field in a dataclass.
• Fixed a bug that results in a false positive when anext is passed a value of type AsyncIterator.
• Fixed recent regression that results in false positive error where type or type[Any] is not considered type compatible with Callable.
• Fixed bug that affected the case where a TypedDict class derived from two incompatible classes using multiple inheritance. The error was reported in the wrong location.
• Fixed bug that results in incorrect type evaluation when a raise statement is used within a context manager that swallows exceptions.
• Fixed bug that led to incorrect type evaluation with unary operator when used with a type alias defined with forward references.
• Fixed bug that resulted in a crash within the function return type checking logic.
• Fixed bug that resulted in incorrect type evaluation when del statement is applied to a class member implemented with a descriptor.
• Fixed regression that resulted in a false negative for the reportUnknownMemberType check when the expression is a call argument and the member is a function with a partially-unknown signature.
• Fixed a bug that resulted in incorrect type evaluation in certain cases involving generic protocols and bound TypeVars.
• Fixed a bug in the code flow engine that resulted in a false negative for a variable whose type is narrowed within an inner loop.
• Fixed bug that led to improper type narrowing for class patterns when Callable is used.
• Fixed bug that resulted in incorrect narrowed type evaluation in certain circumstances involving certain code flow graph structures.

Enhancements:

• Added support in dataclass_transform for custom field specifiers that have default arguments for their init or kw_only parameters.
• Implemented check for inconsistent use of @staticmethod and @classmethod in overloads.
• Added support for accessing members of a TypeAliasType object.
• Added an error check for a PEP 695 type statement within a function body. Type alias definitions are not allowed within this scope.
• Added support for *args: *Ts parameter that captures a callable with an indeterminate number of positional parameters because some of them have default arguments.
• (Contribution from @​jbarrachinab) Improved a few error messages in the Spanish localization.
• Enhanced support for TypeVarTuple capture of a callable to support literal arguments.
• Added a few optimizations that help improve perf somewhat when large unions are involved.
• Added support for doc strings when using the PEP 695 type statement.

Behavior Changes:

• Added a new typeCheckingMode called "standard". It's a subset of "strict" but a superset of "basic". It is the new default mode, and it should cover all of the required checks for conformance with the Python typing standard.
• Changed behavior of check for unimplemented methods in a class that explicitly derives from a protocol. If the class also explicitly derives from abc.ABC, it is exempted from this check. This is useful for mixin classes.
• Changed behavior of reportUnknownMemberType (and other checks in the reportUnknown... family) to not report a partially-unknown type if it refers to an unspecialized class.
• Moved checks for Required/NotRequired and ReadOnly overrides from reportGeneralTypeIssue to reportIncompatibleVariableOverride for consistency. Added checks for Required/NotRequired and Readonly incompatibilities in the multiple inheritance case.
• Changed behavior of two-argument form of super when it is used outside of an attribute access expression. It now employs a heuristic whereby it evaluates to the next base class of the bound type.
• Changed the type printer logic to avoid emitting truncated Literal string and bytes values when it is asked to enforce Python syntax. This mode is used for inlay hints and the stub generator (for inferred return type comments).

• 3f8fc66 Published 1.1.339
• See full diff in compare view

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 <dependency name> major version will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)
• @dependabot ignore <dependency name> minor version will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)
• @dependabot ignore <dependency name> will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)
• @dependabot unignore <dependency name> will remove all of the ignore conditions of the specified dependency
• @dependabot unignore <dependency name> <ignore condition> will remove the ignore condition of the specified dependency and ignore conditions