Sourced from pyright's releases.

Published 1.1.344

Bug Fixes:

• Fixed bug that caused "go to definition" and semantic rename to not work for forward-declared symbols referenced in a "type" type alias definition.
• Fixed bug in parser that resulted in an incorrect syntax error when certain expression forms were used with the type statement to define a type alias.
• Fixed a bug that resulted in a false negative when attempting to access valid attributes from a type alias created via a call to the TypeAliasType constructor.
• Fixed a bug that led to an incorrect type evaluation when explicitly specializing a generic class or type alias with a ParamSpec.
• Fixed a bug that led to a false positive "not awaitable" error if the __await__ method return type was Unknown.
• Fixed a bug that results in a false negative when the TypeAliasType constructor is called with an expression that refers to a traditional TypeVar.
• Fixed a bug that leads to a false negative when validating type compatibility between two callables and the source has a position-only parameter corresponding to a non-position-only parameter in the dest.
• Fixed bug in code flow analysis that resulted in an incorrect type evaluation when a "NoReturn" call is made within a code block protected by an exception-suppressing context manager.

Behavior Changes:

• Added LSP exemption for __post_init__ method.
• Improved overload overlap logic to detect partial overlaps when parameter types include unions that intersect.

Enhancements:

• Improved logic that determines whether the expression used for a type statement or a call to TypeAliasType is a valid type expression.
• Added additional checks for invalid NewType calls.
• Improved detection of invalid type alias expressions for implicit (traditional) type aliases.
• Improved error reporting for with statement when __enter__ or __aenter__ is present but cannot be bound.

Published 1.1.343

Bug Fixes:

• Fixed bug that resulted in crash when using language server APIs in certain circumstances.
• Fixed bug that resulted in incorrect type evaluation of a variable within a loop under certain conditions.
• Fixed a bug in the function type assignment logic that leads to a false positive under certain circumstances involving a ParamSpec in an overload with a callback that includes a positional-only parameter separator.
• Fixed a bug that leads to a false negative when Self is used within a class definition statement. PEP 637 explicitly rejects this usage of Self.
• Fixed a bug that leads to a false negative when Self is used within a metaclass. PEP 637 explicitly rejects this usage of Self.

Enhancements:

• Eliminated some unnecessary work when determining the effective type of a symbol that doesn't have a declared type. When evaluated in the context of a particular usage, it's unnecessary to evaluate any assignments within the same execution scope.
• Add error checking for illegal use of unary, binary, or ternary operators within a type annotation.
• Added detection of invalid keyword arguments in TypedDict class definition when using the normal class syntax.
• Added detection of a call to TypedDict alternative syntax form that assigns the resulting class to a variable whose name doesn't match the name specified in the TypedDict call.
• Added check for the use of a TypedDict class in an isinstance or issubclass call. These generate a runtime exception.

Published 1.1.342

Bug Fixes:

• Fixed @deprecated functionality that was broken by a recent change to the typeshed stubs (which replaced a function with a class).
• Fixed bug that results in a false positive error under certain circumstances when calling an inner function that uses a ParamSpec defined scoped to an outer function.
• Fixed a bug in the --verifytypes CLI feature that resulted in a false negative when docstrings are missing from a class or function that is defined in a private module but re-exported from a public module.
• Fixed a bug that led to a combinatoric explosion and an infinite loop in certain edge cases involving a class with an untyped constructor and methods that return recursive types.
• Fixed a bug that led to false negative errors when doing protocol matching with a method that uses Self in its signature.
• Increased internal limit of the number of overload signatures that can be captured by a ParamSpec from 64 to 1024.
• Fixed a bug that leads to infinite recursion (stack overflow) under certain circumstances.

Enhancements:

• Added narrowing support for literal patterns in a match statement that are used to discriminate between tagged unions of objects that can be discriminated based on a field with a literal type.

Published 1.1.341

... (truncated)

• 686e2f6 Published 1.1.344
• 4fa9449 Published 1.1.343
• 7d0f48a Published 1.1.342
• cfd7f8c Published 1.1.341
• 110efe8 Published 1.1.340
• 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