Merge 1.1.405 #1453

DetachHead · 2025-09-03T10:06:58Z

No description provided.

* Switch to Node 22 and make publish to npm wait * Update prettier

Co-authored-by: Azure Piplines <41898282+github-actions[bot]@users.noreply.github.com> Co-authored-by: Rich Chiodo <[email protected]>

… some projects. This attempts to address #10832. (#10841)

…negation. This addresses #10834. (#10842)

… methods (like `__eq__`) on a `Sentinel` instance. This addresses #10773. (#10844)

…… (#10846) * Fixed a bug that results in spurious errors if a class decorator is applied to `builtins.tuple`. This addresses #10836. * Fixed regression caught by mypy_primer.

…… (#10855) * Improved performance of import resolution when there are large numbers of import resolution paths. * Fixed regression caught by mypy_primer. * Fixed regression that shows up in tests. * Fixed regression * Fixed another regression found by mypy_primer.

…mance on some projects. This attempts to address #10832. (#10841)" This reverts commit fe7aaf2.

…d in `TypedDict` that subclasses from a non-open `TypedDict` base class. This addresses #10859. (#10860)

…0858. (#10861)

Bumps [tmp](https://github.com/raszi/node-tmp) from 0.2.3 to 0.2.5. - [Changelog](https://github.com/raszi/node-tmp/blob/master/CHANGELOG.md) - [Commits](raszi/node-tmp@v0.2.3...v0.2.5) --- updated-dependencies: - dependency-name: tmp dependency-version: 0.2.5 dependency-type: indirect ... Signed-off-by: dependabot[bot] <[email protected]> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> Co-authored-by: Eric Traut <[email protected]>

…cumstances where a module's transitive import graph is very large and may not fit within the available heap space. (#10862)

…orming protocol matching. This allows protocols with overloaded methods to contribute independent constraint sets. This addresses #9835. (#9864)" (#10863) This reverts commit 131f56d. This addresses #10849

…ic (order-dependent) type evaluation under certain circumstances involving recursive type aliases. This addresses #10850. (#10865)

… overrides a method with a `**kwargs` in the parent and the type is incompatible. This addresses #10815. (#10866)

…line feed occurs at end of file. This addresses #10814. (#10867)

… TypedDict functional class definition if the types are forward declared. This addresses #10612. (#10869)

…o be created during type evaluation. This is an attempt to address #10832. (#10872)

…<Enclosing class]`. This addresses #10685. (#10874)

…'t think this makes things clearer, but it is technically more correct. Addresses #10601.

…le" error on keyword argument names. This addresses #10811. (#10876)

# Conflicts: # docs/usage/import-resolution.md # lerna.json # packages/pyright-internal/package-lock.json # packages/pyright-internal/src/analyzer/declaration.ts # packages/pyright-internal/src/analyzer/typeEvaluator.ts # packages/pyright/package-lock.json # packages/pyright/package.json # packages/vscode-pyright/package-lock.json # packages/vscode-pyright/package.json

github-actions · 2025-09-03T11:38:37Z

Diff from mypy_primer, showing the effect of this PR on open source code:

scrapy (https://github.com/scrapy/scrapy)
-   .../projects/scrapy/scrapy/linkextractors/lxmlhtml.py:132:41 - warning: Argument type is unknown
-     Argument corresponds to parameter "url" in function "urljoin" (reportUnknownArgumentType)
- 2550 errors, 22193 warnings, 0 notes
+ 2550 errors, 22192 warnings, 0 notes

tornado (https://github.com/tornadoweb/tornado)
-     Type of "headers" is "dict[str, Unknown]" (reportUnknownVariableType)
+     Type of "headers" is "dict[str, str | Unknown]" (reportUnknownVariableType)
+     Type of "cookie_headers" is "(token: Unknown | None = None) -> Unknown" (reportUnknownMemberType)
+   .../projects/tornado/tornado/test/web_test.py:2851:23 - warning: Type of "cookie_headers" is partially unknown
-     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, Unknown]" (reportUnknownMemberType)
+     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, str | Unknown]" (reportUnknownMemberType)
-   .../projects/tornado/tornado/test/web_test.py:2860:9 - warning: Return type, "dict[str, Unknown]", is partially unknown (reportUnknownParameterType)
+   .../projects/tornado/tornado/test/web_test.py:2860:9 - warning: Return type, "dict[str, str | Unknown]", is partially unknown (reportUnknownParameterType)
-   .../projects/tornado/tornado/test/web_test.py:2862:13 - warning: Type of "token" is unknown (reportUnknownVariableType)
-   .../projects/tornado/tornado/test/web_test.py:2862:21 - warning: Type of "xsrf_token" is unknown (reportUnknownMemberType)
-   .../projects/tornado/tornado/test/web_test.py:2863:16 - warning: Return type, "dict[str, Unknown]", is partially unknown (reportUnknownVariableType)
+   .../projects/tornado/tornado/test/web_test.py:2863:16 - warning: Return type, "dict[str, str | Unknown]", is partially unknown (reportUnknownVariableType)
-   .../projects/tornado/tornado/test/web_test.py:2875:56 - warning: Type of "xsrf_token" is unknown (reportUnknownMemberType)
-   .../projects/tornado/tornado/test/web_test.py:2875:56 - warning: Argument type is unknown
-     Argument corresponds to parameter "_xsrf" in function "__init__" (reportUnknownArgumentType)
-     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, Unknown]" (reportUnknownMemberType)
+     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, str | Unknown]" (reportUnknownMemberType)
-     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, Unknown]" (reportUnknownMemberType)
+     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, str | Unknown]" (reportUnknownMemberType)
-   .../projects/tornado/tornado/test/web_test.py:2895:56 - warning: Type of "xsrf_token" is unknown (reportUnknownMemberType)
-   .../projects/tornado/tornado/test/web_test.py:2895:56 - warning: Argument type is unknown
-     Argument corresponds to parameter "_xsrf" in function "__init__" (reportUnknownArgumentType)
-     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, Unknown]" (reportUnknownMemberType)
+     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, str | Unknown]" (reportUnknownMemberType)
-     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, Unknown]" (reportUnknownMemberType)
+     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, str | Unknown]" (reportUnknownMemberType)
-     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, Unknown]" (reportUnknownMemberType)
+     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, str | Unknown]" (reportUnknownMemberType)
-   .../projects/tornado/tornado/test/web_test.py:2928:52 - warning: Type of "xsrf_token" is unknown (reportUnknownMemberType)
-   .../projects/tornado/tornado/test/web_test.py:2928:52 - warning: Argument type is unknown
-     Argument corresponds to parameter "_xsrf" in function "__init__" (reportUnknownArgumentType)
-     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, Unknown]" (reportUnknownMemberType)
+     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, str | Unknown]" (reportUnknownMemberType)
-   .../projects/tornado/tornado/test/web_test.py:2935:54 - warning: Type of "xsrf_token" is unknown (reportUnknownMemberType)
-   .../projects/tornado/tornado/test/web_test.py:2935:54 - warning: Argument type is unknown
-     Argument corresponds to parameter "_xsrf" in function "__init__" (reportUnknownArgumentType)
-     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, Unknown]" (reportUnknownMemberType)
+     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, str | Unknown]" (reportUnknownMemberType)
-   .../projects/tornado/tornado/test/web_test.py:2948:17 - warning: Argument type is partially unknown
-     Argument corresponds to parameter "map" in function "__init__"
-     Argument type is "dict[str, Unknown]" (reportUnknownArgumentType)
-   .../projects/tornado/tornado/test/web_test.py:2948:33 - warning: Type of "xsrf_token" is unknown (reportUnknownMemberType)
-     Argument type is "Unknown" (reportUnknownArgumentType)
-     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, Unknown]" (reportUnknownMemberType)
+     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, str | Unknown]" (reportUnknownMemberType)
-   .../projects/tornado/tornado/test/web_test.py:2965:13 - warning: Type of "token" is partially unknown
-     Type of "token" is "Unknown | str" (reportUnknownVariableType)
-   .../projects/tornado/tornado/test/web_test.py:2965:23 - warning: Type of "xsrf_token" is unknown (reportUnknownMemberType)
-   .../projects/tornado/tornado/test/web_test.py:2969:56 - warning: Argument type is partially unknown
-     Argument corresponds to parameter "_xsrf" in function "__init__"
-     Argument type is "Unknown | str" (reportUnknownArgumentType)
-     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, Unknown]" (reportUnknownMemberType)
+     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, str | Unknown]" (reportUnknownMemberType)
-   .../projects/tornado/tornado/test/web_test.py:2974:13 - warning: Type of "cookie_token" is partially unknown
-     Type of "cookie_token" is "Unknown | str" (reportUnknownVariableType)
-   .../projects/tornado/tornado/test/web_test.py:2974:27 - warning: Type of "body_token" is partially unknown
-     Type of "body_token" is "str | Unknown" (reportUnknownVariableType)
-   .../projects/tornado/tornado/test/web_test.py:2975:14 - warning: Type of "xsrf_token" is unknown (reportUnknownMemberType)
-   .../projects/tornado/tornado/test/web_test.py:2976:22 - warning: Type of "xsrf_token" is unknown (reportUnknownMemberType)
-   .../projects/tornado/tornado/test/web_test.py:2982:60 - warning: Argument type is partially unknown
-     Argument corresponds to parameter "_xsrf" in function "__init__"
-     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, Unknown]" (reportUnknownMemberType)
+     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, str | Unknown]" (reportUnknownMemberType)
-   .../projects/tornado/tornado/test/web_test.py:2988:9 - warning: Type of "token" is unknown (reportUnknownVariableType)
-   .../projects/tornado/tornado/test/web_test.py:2988:17 - warning: Type of "xsrf_token" is unknown (reportUnknownMemberType)
-   .../projects/tornado/tornado/test/web_test.py:2989:9 - warning: Type of "tokens_seen" is partially unknown
-     Type of "tokens_seen" is "set[Unknown]" (reportUnknownVariableType)
-   .../projects/tornado/tornado/test/web_test.py:2997:13 - warning: Type of "add" is partially unknown
-     Type of "add" is "(element: Unknown, /) -> None" (reportUnknownMemberType)
-   .../projects/tornado/tornado/test/web_test.py:3001:56 - warning: Type of "xsrf_token" is unknown (reportUnknownMemberType)
-   .../projects/tornado/tornado/test/web_test.py:3001:56 - warning: Argument type is unknown
-     Argument corresponds to parameter "_xsrf" in function "__init__" (reportUnknownArgumentType)
-     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, Unknown]" (reportUnknownMemberType)
+     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, str | Unknown]" (reportUnknownMemberType)
-   .../projects/tornado/tornado/test/web_test.py:3005:30 - warning: Argument type is partially unknown
-     Argument corresponds to parameter "obj" in function "len"
-     Argument type is "set[Unknown]" (reportUnknownArgumentType)
-     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, Unknown]" (reportUnknownMemberType)
+     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, str | Unknown]" (reportUnknownMemberType)
-     Type of "headers" is "dict[str, Unknown]" (reportUnknownVariableType)
+     Type of "headers" is "dict[str, str | Unknown]" (reportUnknownVariableType)
+     Type of "cookie_headers" is "(token: Unknown | None = None) -> Unknown" (reportUnknownMemberType)
+   .../projects/tornado/tornado/test/web_test.py:3055:23 - warning: Type of "cookie_headers" is partially unknown
-     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, Unknown]" (reportUnknownMemberType)
+     Type of "cookie_headers" is "(token: Unknown | None = None) -> dict[str, str | Unknown]" (reportUnknownMemberType)
-   .../projects/tornado/tornado/test/web_test.py:3062:9 - warning: Return type, "dict[str, Unknown]", is partially unknown (reportUnknownParameterType)
+   .../projects/tornado/tornado/test/web_test.py:3062:9 - warning: Return type, "dict[str, str | Unknown]", is partially unknown (reportUnknownParameterType)
-   .../projects/tornado/tornado/test/web_test.py:3064:13 - warning: Type of "token" is unknown (reportUnknownVariableType)
-   .../projects/tornado/tornado/test/web_test.py:3064:21 - warning: Type of "xsrf_token" is unknown (reportUnknownMemberType)
-   .../projects/tornado/tornado/test/web_test.py:3065:16 - warning: Return type, "dict[str, Unknown]", is partially unknown (reportUnknownVariableType)

... (truncated 11 lines) ...

ibis (https://github.com/ibis-project/ibis)
+   .../projects/ibis/ibis/backends/polars/compiler.py:187:9 - warning: Type of "name" is unknown (reportUnknownVariableType)
+   .../projects/ibis/ibis/backends/polars/compiler.py:396:9 - warning: Type of "name" is unknown (reportUnknownVariableType)
+   .../projects/ibis/ibis/backends/polars/compiler.py:443:9 - warning: Type of "case" is unknown (reportUnknownVariableType)
+   .../projects/ibis/ibis/backends/polars/compiler.py:453:9 - warning: Type of "case" is unknown (reportUnknownVariableType)
-   .../projects/ibis/ibis/backends/polars/rewrites.py:100:9 - warning: Type of "update" is partially unknown
-     Type of "update" is "Overload[(m: SupportsKeysAndGetItem[Unknown, Field], /) -> None, (m: SupportsKeysAndGetItem[str, Field], /, **kwargs: Field) -> None, (m: Iterable[tuple[Unknown, Field]], /) -> None, (m: Iterable[tuple[str, Field]], /, **kwargs: Field) -> None, (**kwargs: Field) -> None]" (reportUnknownMemberType)
-   .../projects/ibis/ibis/backends/polars/rewrites.py:114:25 - error: Argument of type "list[Unknown]" cannot be assigned to parameter "left_on" of type "VarTuple[Value[Unknown, Any]]" in function "__init__"
-     "list[Unknown]" is not assignable to "tuple[Value[Unknown, Any], ...]" (reportArgumentType)
-   .../projects/ibis/ibis/backends/polars/rewrites.py:115:26 - error: Argument of type "list[Unknown]" cannot be assigned to parameter "right_on" of type "VarTuple[Value[Unknown, Any]]" in function "__init__"
-     "list[Unknown]" is not assignable to "tuple[Value[Unknown, Any], ...]" (reportArgumentType)
-   .../projects/ibis/ibis/backends/polars/rewrites.py:116:25 - error: Argument of type "list[Unknown]" cannot be assigned to parameter "left_by" of type "VarTuple[Value[Unknown, Any]]" in function "__init__"
-     "list[Unknown]" is not assignable to "tuple[Value[Unknown, Any], ...]" (reportArgumentType)
-   .../projects/ibis/ibis/backends/polars/rewrites.py:117:26 - error: Argument of type "list[Unknown]" cannot be assigned to parameter "right_by" of type "VarTuple[Value[Unknown, Any]]" in function "__init__"
-     "list[Unknown]" is not assignable to "tuple[Value[Unknown, Any], ...]" (reportArgumentType)
-   .../projects/ibis/ibis/backends/polars/rewrites.py:127:25 - error: Argument of type "list[Unknown]" cannot be assigned to parameter "left_on" of type "VarTuple[Value[Unknown, Any]]" in function "__init__"
-     "list[Unknown]" is not assignable to "tuple[Value[Unknown, Any], ...]" (reportArgumentType)
-   .../projects/ibis/ibis/backends/polars/rewrites.py:128:26 - error: Argument of type "list[Unknown]" cannot be assigned to parameter "right_on" of type "VarTuple[Value[Unknown, Any]]" in function "__init__"
-     "list[Unknown]" is not assignable to "tuple[Value[Unknown, Any], ...]" (reportArgumentType)
-   .../projects/ibis/ibis/backends/tests/sql/test_select_sql.py:619:32 - warning: Argument type is unknown
-     Argument corresponds to parameter "predicates" in function "filter" (reportUnknownArgumentType)
+   .../projects/ibis/ibis/common/patterns.py:576:5 - warning: Return type, "str | Unknown", is partially unknown (reportUnknownParameterType)
+   .../projects/ibis/ibis/common/patterns.py:579:26 - warning: Argument type is partially unknown
+     Argument corresponds to parameter "iterable" in function "join"
+     Argument type is "Generator[Unknown, None, None]" (reportUnknownArgumentType)
+   .../projects/ibis/ibis/common/patterns.py:580:9 - warning: Type of "last" is unknown (reportUnknownVariableType)
+   .../projects/ibis/ibis/common/patterns.py:581:16 - warning: Return type, "str | Unknown", is partially unknown (reportUnknownVariableType)
+   .../projects/ibis/ibis/expr/format.py:83:9 - warning: Type of "rendered" is partially unknown
+     Type of "rendered" is "dict[str, Unknown]" (reportUnknownVariableType)
-   .../projects/ibis/ibis/expr/sql.py:201:17 - warning: Code is unreachable (reportUnreachable)
+   .../projects/ibis/ibis/expr/sql.py:202:17 - warning: Code is unreachable (reportUnreachable)
-   .../projects/ibis/ibis/expr/sql.py:324:5 - warning: Code is unreachable (reportUnreachable)
-   .../projects/ibis/ibis/expr/sql.py:372:5 - warning: Code is unreachable (reportUnreachable)
-   .../projects/ibis/ibis/expr/types/_rich.py:198:13 - warning: Type of "text" is unknown (reportUnknownVariableType)
-   .../projects/ibis/ibis/expr/types/_rich.py:201:20 - warning: Argument type is unknown
-     Argument corresponds to parameter "object" in function "append" (reportUnknownArgumentType)
-   .../projects/ibis/ibis/expr/types/joins.py:269:13 - error: "equalities" is unbound (reportUnboundVariable)
- 8413 errors, 110103 warnings, 0 notes
+ 8406 errors, 110106 warnings, 0 notes

sympy (https://github.com/sympy/sympy)
-     Type of "integer_log" is "(n: Unknown, b: Unknown) -> (tuple[Unknown | int | Any, Unknown | bool | Any] | tuple[Literal[0], Literal[False]] | tuple[int | Any, Literal[False]] | tuple[Literal[0], bool] | tuple[int, bool] | tuple[Any, Any])" (reportUnknownVariableType)
+     Type of "integer_log" is "(n: Unknown, b: Unknown) -> (tuple[Unknown | int | Any, Unknown | bool | Any] | tuple[Literal[0], Literal[False]] | tuple[Unknown | int | Any, Literal[False]] | tuple[Literal[0], bool] | tuple[int, bool] | tuple[Any, Any])" (reportUnknownVariableType)
-     Type of "POSform" is "(variables: Unknown, minterms: Unknown, dontcares: Unknown | None = None) -> Unknown" (reportUnknownVariableType)
+     Type of "POSform" is "(variables: Unknown, minterms: Unknown, dontcares: Unknown | None = None) -> (BooleanFalse | Boolean)" (reportUnknownVariableType)
-     Type of "limit_seq" is "(expr: Unknown, n: Unknown | None = None, trials: int = 5) -> (Unknown | Expr | Add | Zero | None)" (reportUnknownVariableType)
+     Type of "limit_seq" is "(expr: Unknown, n: Unknown | None = None, trials: int = 5) -> (Unknown | Expr | Zero | None)" (reportUnknownVariableType)
-     Type of "primitive_root" is "(p: Unknown, smallest: bool = True) -> (int | Unknown | None)" (reportUnknownVariableType)
+     Type of "primitive_root" is "(p: Unknown, smallest: bool = True) -> (int | Any | None)" (reportUnknownVariableType)
-     Type of "product" is "(...) -> (tuple[Unknown, ...] | Unknown | Product* | Basic | Expr | Product | One | Equality | BooleanFalse | BooleanTrue | NaN)" (reportUnknownVariableType)
+     Type of "product" is "(...) -> (tuple[Unknown, ...] | Unknown | Product | Basic | Expr | One | Equality | BooleanFalse | BooleanTrue | NaN)" (reportUnknownVariableType)
-     Type of "separatevars" is "(expr: Unknown, symbols: Unknown = [], dict: bool = False, force: bool = False) -> (dict[str, Expr | Abs | Unknown] | dict[Unknown | Basic, list[Unknown]] | Unknown | None)" (reportUnknownVariableType)
+     Type of "separatevars" is "(expr: Unknown, symbols: Unknown = [], dict: bool = False, force: bool = False) -> (dict[str, Expr | Abs | Unknown] | dict[Unknown | Basic, list[Unknown]] | Expr | Abs | Unknown | None)" (reportUnknownVariableType)
-     Type of "sqrtdenest" is "(expr: Unknown, max_iter: int = 3) -> (Unknown | Expr | Any)" (reportUnknownVariableType)
+     Type of "sqrtdenest" is "(expr: Unknown, max_iter: int = 3) -> (Unknown | Expr | Any | Mul | Add | None)" (reportUnknownVariableType)
-     Type of "cse" is "(exprs: Unknown, symbols: Unknown | None = None, optimizations: Unknown | None = None, postprocess: Unknown | None = None, order: str = 'canonical', ignore: Unknown = (), list: bool = True) -> (tuple[Unknown | list[tuple[Unknown, Unknown]], str] | tuple[Unknown | list[tuple[Unknown, Unknown]], list[Unknown] | set[Unknown] | tuple[Unknown, ...]] | tuple[Unknown | list[tuple[Unknown, Unknown]], dict[Unknown, Unknown]] | tuple[Unknown | list[tuple[Unknown, Unknown]], Unknown] | tuple[list[Unknown], Unknown] | tuple[list[tuple[Unknown, Unknown]], list[Unknown]] | Unknown)" (reportUnknownVariableType)
+     Type of "cse" is "(exprs: Unknown, symbols: Unknown | None = None, optimizations: Unknown | None = None, postprocess: Unknown | None = None, order: str = 'canonical', ignore: Unknown = (), list: bool = True) -> (tuple[Unknown, str] | tuple[Unknown | list[tuple[Unknown, Unknown]], list[Unknown] | set[Unknown] | tuple[Unknown, ...]] | tuple[Unknown | list[tuple[Unknown, Unknown]], dict[Unknown, Unknown]] | tuple[Unknown | list[tuple[Unknown, Unknown]], Unknown] | tuple[list[Unknown], Unknown] | tuple[list[tuple[Unknown, Unknown]], list[Unknown]] | Unknown)" (reportUnknownVariableType)
-     Type of "exptrigsimp" is "(expr: Unknown) -> Unknown" (reportUnknownVariableType)
+     Type of "exptrigsimp" is "(expr: Unknown) -> (Unknown | Expr)" (reportUnknownVariableType)
-     Type of "rsolve" is "(f: Unknown, y: Unknown, init: Unknown | None = None) -> Unknown" (reportUnknownVariableType)
+     Type of "rsolve" is "(f: Unknown, y: Unknown, init: Unknown | None = None) -> (Unknown | Expr | Zero | None)" (reportUnknownVariableType)
-     Type of "dsolve" is "(eq: Unknown, func: Unknown | None = None, hint: str = "default", simplify: bool = True, ics: Unknown | None = None, xi: Unknown | None = None, eta: Unknown | None = None, x0: int = 0, n: int = 6, **kwargs: Unknown) -> (Unknown | list[Unknown] | list[Any] | Any | dict[Unknown, Unknown] | Equality | list[list[Unknown] | Unknown] | list[Equality | Unknown])" (reportUnknownVariableType)
+     Type of "dsolve" is "(eq: Unknown, func: Unknown | None = None, hint: str = "default", simplify: bool = True, ics: Unknown | None = None, xi: Unknown | None = None, eta: Unknown | None = None, x0: int = 0, n: int = 6, **kwargs: Unknown) -> (Unknown | list[Unknown] | list[Any] | Any | dict[Unknown, Unknown] | list[list[Unknown] | Unknown] | Equality | list[list[Unknown] | list[list[Unknown] | Unknown] | Unknown] | list[Equality | Unknown])" (reportUnknownVariableType)
-     Type of "decompogen" is "(f: Unknown, symbol: Unknown) -> (list[Expr] | list[Function | Pow] | list[Expr | Basic] | list[Function | Pow | Basic] | Unknown | list[Min | Max | Basic] | list[Unknown | Max | Min | Basic] | list[Basic] | list[Poly | Basic] | list[Min | Max] | list[Unknown | Max | Min] | list[Unknown] | list[Poly])" (reportUnknownVariableType)
+     Type of "decompogen" is "(f: Unknown, symbol: Unknown) -> (list[Expr] | list[Function | Pow] | list[Expr | Basic] | list[Function | Pow | Basic] | Unknown | list[Min | Max | Basic] | list[Basic] | list[Poly | Basic] | list[Min | Max] | list[Unknown] | list[Poly])" (reportUnknownVariableType)
-     Type of "nonlinsolve" is "(system: Unknown, *symbols: Unknown) -> (Unknown | FiniteSet | Set | Intersection | Union | Complement | ConditionSet)" (reportUnknownVariableType)
+     Type of "nonlinsolve" is "(system: Unknown, *symbols: Unknown) -> (Unknown | FiniteSet | Set | Intersection | Union | Complement | Any | ConditionSet)" (reportUnknownVariableType)
-     Type of "substitution" is "(system: Unknown, symbols: Unknown, result: Unknown = [{}], known_symbols: Unknown = [], exclude: Unknown = [], all_symbols: Unknown | None = None) -> (Unknown | Set | FiniteSet | Intersection | Union | Complement | ConditionSet)" (reportUnknownVariableType)
+     Type of "substitution" is "(system: Unknown, symbols: Unknown, result: Unknown = [{}], known_symbols: Unknown = [], exclude: Unknown = [], all_symbols: Unknown | None = None) -> (Unknown | Set | FiniteSet | Intersection | Union | Complement | Any | ConditionSet)" (reportUnknownVariableType)
-     Type of "block_collapse" is "(expr: Unknown) -> (Any | MatPow | Expr | MatMul)" (reportUnknownVariableType)
+     Type of "block_collapse" is "(expr: Unknown) -> (Any | Unknown)" (reportUnknownVariableType)
-     Type of "farthest_points" is "(*args: Unknown) -> set[tuple[Unknown, Unknown]]" (reportUnknownVariableType)
+     Type of "farthest_points" is "(*args: Unknown) -> set[tuple[Basic, Basic]]" (reportUnknownVariableType)
-     Type of "tensorproduct" is "(*args: Unknown) -> (One | NDimArray | ImmutableDenseNDimArray | Unknown | PermuteDims | Basic | Zero | ZeroArray | ArrayContraction | ArrayTensorProduct | ImmutableSparseNDimArray* | ImmutableDenseNDimArray* | ImmutableSparseNDimArray)" (reportUnknownVariableType)
+     Type of "tensorproduct" is "(*args: Unknown) -> (One | NDimArray | ImmutableDenseNDimArray | Unknown | PermuteDims | Basic | Zero | ZeroArray | ArrayTensorProduct | ArrayContraction | ImmutableSparseNDimArray* | ImmutableDenseNDimArray* | ImmutableSparseNDimArray)" (reportUnknownVariableType)
-     Type of "tensorcontraction" is "(array: Unknown, *contraction_axes: Unknown) -> (Basic | Unknown | Zero | ZeroArray | PermuteDims | ArrayContraction | Any | ImmutableDenseNDimArray)" (reportUnknownVariableType)
+     Type of "tensorcontraction" is "(array: Unknown, *contraction_axes: Unknown) -> (Basic | Unknown | Zero | ZeroArray | ArrayTensorProduct | ArrayContraction | Any | ImmutableDenseNDimArray)" (reportUnknownVariableType)
-     Type of "tensordiagonal" is "(array: Unknown, *diagonal_axes: Unknown) -> (Unknown | PermuteDims | ArrayDiagonal | Zero | ZeroArray | Any | ImmutableDenseNDimArray)" (reportUnknownVariableType)
+     Type of "tensordiagonal" is "(array: Unknown, *diagonal_axes: Unknown) -> (ArrayDiagonal | Any | ImmutableDenseNDimArray)" (reportUnknownVariableType)
-   .../projects/sympy/sympy/assumptions/satask.py:76:5 - warning: Type of "sat" is unknown (reportUnknownVariableType)
-   .../projects/sympy/sympy/assumptions/satask.py:78:5 - warning: Type of "add_from_cnf" is unknown (reportUnknownMemberType)
+   .../projects/sympy/sympy/assumptions/satask.py:78:5 - warning: Type of "add_from_cnf" is partially unknown
+     Type of "add_from_cnf" is "(cnf: Unknown) -> None" (reportUnknownMemberType)
-   .../projects/sympy/sympy/assumptions/satask.py:80:9 - warning: Type of "add_from_cnf" is unknown (reportUnknownMemberType)
+   .../projects/sympy/sympy/assumptions/satask.py:80:9 - warning: Type of "add_from_cnf" is partially unknown
+     Type of "add_from_cnf" is "(cnf: Unknown) -> None" (reportUnknownMemberType)
-   .../projects/sympy/sympy/assumptions/satask.py:82:48 - warning: Argument type is unknown
-     Argument corresponds to parameter "factbase" in function "check_satisfiability" (reportUnknownArgumentType)
-   .../projects/sympy/sympy/assumptions/satask.py:269:5 - warning: Return type is unknown (reportUnknownParameterType)
-   .../projects/sympy/sympy/assumptions/tests/test_refine.py:53:19 - warning: Argument type is unknown
-     Argument corresponds to parameter "expr" in function "refine" (reportUnknownArgumentType)
+   .../projects/sympy/sympy/calculus/finite_diff.py:373:13 - warning: Type of "derivative" is partially unknown

... (truncated 18922 lines) ...

bandersnatch (https://github.com/pypa/bandersnatch)
-   .../projects/bandersnatch/src/bandersnatch_filter_plugins/allowlist_name.py:138:46 - warning: Type of "name" is unknown (reportUnknownMemberType)
-   .../projects/bandersnatch/src/bandersnatch_filter_plugins/allowlist_name.py:139:9 - warning: Type of "specifier" is unknown (reportUnknownMemberType)
-   .../projects/bandersnatch/src/bandersnatch_filter_plugins/metadata_filter.py:106:17 - warning: Type of "node" is unknown (reportUnknownVariableType)
-   .../projects/bandersnatch/src/bandersnatch_filter_plugins/metadata_filter.py:306:17 - warning: Type of "node" is unknown (reportUnknownVariableType)
- 264 errors, 2842 warnings, 0 notes
+ 264 errors, 2838 warnings, 0 notes

werkzeug (https://github.com/pallets/werkzeug)
-   .../projects/werkzeug/src/werkzeug/formparser.py:399:61 - error: "container" is possibly unbound (reportPossiblyUnboundVariable)
+   .../projects/werkzeug/src/werkzeug/formparser.py:399:61 - error: "container" is unbound (reportUnboundVariable)
-           "Rv" is incompatible with protocol "Iterable[bytes]"
+           "Rv" is incompatible with protocol "Iterable[bytes]" (reportArgumentType)
-             "__iter__" is an incompatible type (reportArgumentType)

kornia (https://github.com/kornia/kornia)
-   .../projects/kornia/kornia/contrib/distance_transform.py:82:12 - warning: Type of "sum" is unknown (reportUnknownMemberType)
-   .../projects/kornia/kornia/contrib/models/rt_detr/architecture/rtdetr_head.py:244:13 - warning: Type of "ref_points_input" is unknown (reportUnknownVariableType)
-   .../projects/kornia/kornia/contrib/models/rt_detr/architecture/rtdetr_head.py:244:32 - warning: Type of "unsqueeze" is unknown (reportUnknownMemberType)
-   .../projects/kornia/kornia/contrib/models/rt_detr/architecture/rtdetr_head.py:245:13 - warning: Type of "query_pos_embed" is unknown (reportUnknownVariableType)
-   .../projects/kornia/kornia/contrib/models/rt_detr/architecture/rtdetr_head.py:247:13 - warning: Type of "output" is unknown (reportUnknownVariableType)
-   .../projects/kornia/kornia/contrib/models/rt_detr/architecture/rtdetr_head.py:258:13 - warning: Type of "inter_ref_bbox" is unknown (reportUnknownVariableType)
-   .../projects/kornia/kornia/contrib/models/rt_detr/architecture/rtdetr_head.py:258:84 - warning: Argument type is unknown
-     Argument corresponds to parameter "x" in function "_inverse_sigmoid" (reportUnknownArgumentType)
-   .../projects/kornia/kornia/contrib/models/rt_detr/architecture/rtdetr_head.py:272:39 - warning: Argument type is unknown
-     Argument corresponds to parameter "object" in function "append" (reportUnknownArgumentType)
-   .../projects/kornia/kornia/contrib/models/rt_detr/architecture/rtdetr_head.py:273:39 - warning: Argument type is unknown
-     Argument corresponds to parameter "object" in function "append" (reportUnknownArgumentType)
-   .../projects/kornia/kornia/contrib/models/rt_detr/architecture/rtdetr_head.py:278:13 - warning: Type of "ref_points_detach" is unknown (reportUnknownVariableType)
-   .../projects/kornia/kornia/feature/lightglue.py:474:17 - warning: Type of "state_dict" is partially unknown
-     Type of "state_dict" is "dict[Unknown, Unknown]" (reportUnknownVariableType)
-   .../projects/kornia/kornia/feature/lightglue.py:474:31 - warning: Type of "replace" is unknown (reportUnknownMemberType)
-   .../projects/kornia/kornia/feature/lightglue.py:474:58 - warning: Type of "k" is unknown (reportUnknownVariableType)
-   .../projects/kornia/kornia/feature/lightglue.py:474:61 - warning: Type of "v" is unknown (reportUnknownVariableType)
-   .../projects/kornia/kornia/feature/lightglue.py:474:66 - warning: Type of "items" is partially unknown
-     Type of "items" is "Unknown | (() -> dict_items[Unknown, Unknown])" (reportUnknownMemberType)
-   .../projects/kornia/kornia/feature/lightglue.py:476:17 - warning: Type of "state_dict" is partially unknown
-     Type of "state_dict" is "dict[Unknown, Unknown]" (reportUnknownVariableType)
-   .../projects/kornia/kornia/feature/lightglue.py:476:31 - warning: Type of "replace" is unknown (reportUnknownMemberType)
-   .../projects/kornia/kornia/feature/lightglue.py:476:58 - warning: Type of "k" is unknown (reportUnknownVariableType)
-   .../projects/kornia/kornia/feature/lightglue.py:476:61 - warning: Type of "v" is unknown (reportUnknownVariableType)
-   .../projects/kornia/kornia/feature/lightglue.py:613:17 - warning: Type of "prunemask0" is unknown (reportUnknownVariableType)
-   .../projects/kornia/kornia/feature/lightglue.py:614:17 - warning: Type of "keep0" is unknown (reportUnknownVariableType)
-   .../projects/kornia/kornia/feature/lightglue.py:615:17 - warning: Type of "ind0" is unknown (reportUnknownVariableType)
-   .../projects/kornia/kornia/feature/lightglue.py:616:17 - warning: Type of "desc0" is unknown (reportUnknownVariableType)

... (truncated 2474 lines) ...```

rchiodo and others added 28 commits August 20, 2025 09:37

Update azure-pipelines-release.yml for Azure Pipelines

ba6a729

Switch to Node 22 and make publish to npm wait (#10830)

f11dd22

* Switch to Node 22 and make publish to npm wait * Update prettier

pull-pylance-with-pyright-1.1.403-20250820-201137 (#10831)

d639324

Co-authored-by: Azure Piplines <41898282+github-actions[bot]@users.noreply.github.com> Co-authored-by: Rich Chiodo <[email protected]>

Reverted a recent change that appears to have affected performance on…

fe7aaf2

… some projects. This attempts to address #10832. (#10841)

Fixed bug that results in incorrect literal math results for bitwise …

1ce3e78

…negation. This addresses #10834. (#10842)

Fixed a bug that results in false positive errors when using object…

30068aa

… methods (like `__eq__`) on a `Sentinel` instance. This addresses #10773. (#10844)

Fixed a bug that results in spurious errors if a class decorator is a…

cd980e2

…… (#10846) * Fixed a bug that results in spurious errors if a class decorator is applied to `builtins.tuple`. This addresses #10836. * Fixed regression caught by mypy_primer.

Document editable installs with uv (#10854)

b45deb0

Revert "Reverted a recent change that appears to have affected perfor…

eccd633

…mance on some projects. This attempts to address #10832. (#10841)" This reverts commit fe7aaf2.

Fixed bug that results in false negative when a closed=False is use…

464bc01

…d in `TypedDict` that subclasses from a non-open `TypedDict` base class. This addresses #10859. (#10860)

Added support for match_args dataclass parameter. This addresses #1…

769a124

…0858. (#10861)

Fixed bug that contributes to out-of-memory crashes under certain cir…

aff9b4f

…cumstances where a module's transitive import graph is very large and may not fit within the available heap space. (#10862)

Revert "Added support for tracking multiple constraint sets when perf…

d97565a

…orming protocol matching. This allows protocols with overloaded methods to contribute independent constraint sets. This addresses #9835. (#9864)" (#10863) This reverts commit 131f56d. This addresses #10849

Fixed regression introduced in 1.1.343 that results in nondeterminist…

c407ded

…ic (order-dependent) type evaluation under certain circumstances involving recursive type aliases. This addresses #10850. (#10865)

Fixed false negative when a keyword parameter in a child class method…

f3ab90b

… overrides a method with a `**kwargs` in the parent and the type is incompatible. This addresses #10815. (#10866)

Fixed bug that resulted in false negative when backslash followed by …

29bb1b0

…line feed occurs at end of file. This addresses #10814. (#10867)

Fixed bug that causes a false negative when using unquoted types in a…

93c98d7

… TypedDict functional class definition if the types are forward declared. This addresses #10612. (#10869)

Added optimization that reduces the number of Uri objects that need t…

099954d

…o be created during type evaluation. This is an attempt to address #10832. (#10872)

Changed the evaluated type of __class__ from type[Self] to `type[…

ce16aa1

…<Enclosing class]`. This addresses #10685. (#10874)

Updated error message for NewType used in isinstance check. I don…

539aabd

…'t think this makes things clearer, but it is technically more correct. Addresses #10601.

Fixed bug that results in false positive "reportPossiblyUnboundVariab…

bb13689

…le" error on keyword argument names. This addresses #10811. (#10876)

Published 1.1.405.

7ee3058

update npm lockfile

67cecbe

fix type errors from merge

135cd91

fix type errors caused by different version of @types/node to upstream

6ff39f1

DetachHead merged commit 6ff39f1 into main Sep 3, 2025
18 checks passed

DetachHead deleted the merge-1.1.405 branch September 3, 2025 11:52

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

Merge 1.1.405 #1453

Merge 1.1.405 #1453

Uh oh!

DetachHead commented Sep 3, 2025

Uh oh!

github-actions bot commented Sep 3, 2025

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

6 participants

Merge 1.1.405 #1453

Merge 1.1.405 #1453

Uh oh!

Conversation

DetachHead commented Sep 3, 2025

Uh oh!

github-actions bot commented Sep 3, 2025

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

6 participants