Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merge 1.1.379 #644

Merged
merged 20 commits into from
Sep 4, 2024
Merged

Merge 1.1.379 #644

merged 20 commits into from
Sep 4, 2024

Conversation

DetachHead
Copy link
Owner

No description provided.

dependabot bot and others added 17 commits August 27, 2024 20:55
Bumps [webpack](https://github.com/webpack/webpack) from 5.90.1 to 5.94.0.
- [Release notes](https://github.com/webpack/webpack/releases)
- [Commits](webpack/webpack@v5.90.1...v5.94.0)

---
updated-dependencies:
- dependency-name: webpack
  dependency-type: direct:development
...

Signed-off-by: dependabot[bot] <support@github.com>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
…than "type annotation" since they apply to some cases that don't involve annotations.
…ide branch in preparation for new functionality. (#8872)
… errors when modifying code in your editor and using pyright as a language server. (#8873)
…recursive type alias to a tuple or list. This addresses #8879.
* Update azure-pipelines-release.yml for Azure Pipelines

* Update azure-pipelines-release.yml for Azure Pipelines

* add back trigger
…… (#8883)

* Fixed a bug that results in confusing hover information for an attrs field that uses a converter. This addresses #8881.

* Restored previous behavior for modules.
# Conflicts:
#	packages/pyright-internal/package.json
#	packages/pyright-internal/src/analyzer/typeEvaluatorTypes.ts
#	packages/pyright-internal/src/localization/package.nls.ru.json
#	packages/pyright-internal/src/tests/typeEvaluator4.test.ts
#	packages/pyright/package-lock.json
#	packages/pyright/package.json
#	packages/vscode-pyright/package-lock.json
#	packages/vscode-pyright/package.json
…rerelease version of typescript

This reverts commit 6394a4f.

This comment has been minimized.

Copy link
Contributor

github-actions bot commented Sep 4, 2024

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

porcupine (https://github.com/Akuli/porcupine)
-   /tmp/mypy_primer/projects/porcupine/porcupine/plugins/langserver.py:272:45 - error: Type of "Id" is unknown (reportUnknownMemberType)
-   /tmp/mypy_primer/projects/porcupine/porcupine/plugins/langserver.py:273:39 - error: Type of "Id" is unknown (reportUnknownMemberType)
-   /tmp/mypy_primer/projects/porcupine/porcupine/plugins/langserver.py:274:36 - error: Type of "Id" is unknown (reportUnknownMemberType)
- 2076 errors, 0 warnings, 0 notes
+ 2073 errors, 0 warnings, 0 notes

pyinstrument (https://github.com/joerick/pyinstrument)
+ /tmp/mypy_primer/projects/pyinstrument/pyinstrument/frame_ops.py
+   /tmp/mypy_primer/projects/pyinstrument/pyinstrument/frame_ops.py:70:45 - error: "children" is not defined (reportUndefinedVariable)
+   /tmp/mypy_primer/projects/pyinstrument/pyinstrument/frame_ops.py:70:57 - error: "self_time" is not defined (reportUndefinedVariable)
+   /tmp/mypy_primer/projects/pyinstrument/pyinstrument/frame_ops.py:70:70 - error: "nothing" is not defined (reportUndefinedVariable)
+   /tmp/mypy_primer/projects/pyinstrument/pyinstrument/profiler.py:290:27 - error: "seconds" is not defined (reportUndefinedVariable)
+   /tmp/mypy_primer/projects/pyinstrument/pyinstrument/profiler.py:290:38 - error: "percent_of_total" is not defined (reportUndefinedVariable)
+   /tmp/mypy_primer/projects/pyinstrument/pyinstrument/profiler.py:330:27 - error: "seconds" is not defined (reportUndefinedVariable)
+   /tmp/mypy_primer/projects/pyinstrument/pyinstrument/profiler.py:330:38 - error: "percent_of_total" is not defined (reportUndefinedVariable)
+   /tmp/mypy_primer/projects/pyinstrument/pyinstrument/stack_sampler.py:315:24 - error: "in_context" is not defined (reportUndefinedVariable)
+   /tmp/mypy_primer/projects/pyinstrument/pyinstrument/stack_sampler.py:315:38 - error: "out_of_context_awaited" is not defined (reportUndefinedVariable)
+   /tmp/mypy_primer/projects/pyinstrument/pyinstrument/stack_sampler.py:315:64 - error: "out_of_context_unknown" is not defined (reportUndefinedVariable)
+   /tmp/mypy_primer/projects/pyinstrument/pyinstrument/renderers/console.py:35:27 - error: "seconds" is not defined (reportUndefinedVariable)
+   /tmp/mypy_primer/projects/pyinstrument/pyinstrument/renderers/console.py:35:38 - error: "percent_of_total" is not defined (reportUndefinedVariable)
- 1208 errors, 0 warnings, 0 notes
+ 1220 errors, 0 warnings, 0 notes

anyio (https://github.com/agronholm/anyio)
-   /tmp/mypy_primer/projects/anyio/src/anyio/_core/_fileio.py:655:10 - error: Cannot access attribute "register" for class "type[PathLike[AnyStr_co@PathLike]]"
+   /tmp/mypy_primer/projects/anyio/src/anyio/_core/_fileio.py:655:10 - error: Cannot access attribute "register" for class "type[PathLike[AnyStr_co@PathLike]] & TypeForm[PathLike[Unknown]]"

pytest-robotframework (https://github.com/detachhead/pytest-robotframework)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/_internal/robot/listeners_and_suite_visitors.py:506:28 - error: Type of "TestCase" is unknown (reportUnknownMemberType)
- 2258 errors, 0 warnings, 0 notes
+ 2257 errors, 0 warnings, 0 notes

graphql-core (https://github.com/graphql-python/graphql-core)
-   /tmp/mypy_primer/projects/graphql-core/src/graphql/language/visitor.py:331:32 - error: Type "((...) -> VisitorAction) | None" is not assignable to declared type "(node: Node, *args: Any) -> VisitorAction"
+   /tmp/mypy_primer/projects/graphql-core/src/graphql/language/visitor.py:331:32 - error: Type "((...) -> VisitorAction & TypeForm[VisitorAction]) | None" is not assignable to declared type "(node: Node, *args: Any) -> VisitorAction & TypeForm[VisitorAction]"
-     Type "((...) -> VisitorAction) | None" is not assignable to type "(node: Node, *args: Any) -> VisitorAction"
+     Type "((...) -> VisitorAction & TypeForm[VisitorAction]) | None" is not assignable to type "(node: Node, *args: Any) -> VisitorAction & TypeForm[VisitorAction]"
-       Type "None" is not assignable to type "(node: Node, *args: Any) -> VisitorAction" (reportAssignmentType)
+       Type "None" is not assignable to type "(node: Node, *args: Any) -> VisitorAction & TypeForm[VisitorAction]" (reportAssignmentType)
-   /tmp/mypy_primer/projects/graphql-core/src/graphql/language/visitor.py:371:33 - error: Type "None" is not assignable to declared type "(node: Node, *args: Any) -> VisitorAction"
+   /tmp/mypy_primer/projects/graphql-core/src/graphql/language/visitor.py:371:33 - error: Type "None" is not assignable to declared type "(node: Node, *args: Any) -> VisitorAction & TypeForm[VisitorAction]"
-     Type "None" is not assignable to type "(node: Node, *args: Any) -> VisitorAction" (reportAssignmentType)
+     Type "None" is not assignable to type "(node: Node, *args: Any) -> VisitorAction & TypeForm[VisitorAction]" (reportAssignmentType)
-   /tmp/mypy_primer/projects/graphql-core/src/graphql/utilities/print_schema.py:329:22 - error: Argument of type "ConstValueNode | None" cannot be assigned to parameter "ast" of type "Node" in function "print_ast"
+   /tmp/mypy_primer/projects/graphql-core/src/graphql/utilities/print_schema.py:329:22 - error: Argument of type "ConstValueNode & TypeForm[ConstValueNode] | None" cannot be assigned to parameter "ast" of type "Node" in function "print_ast"
-     Type "ConstValueNode | None" is not assignable to type "Node"
+     Type "ConstValueNode & TypeForm[ConstValueNode] | None" is not assignable to type "Node"

bandersnatch (https://github.com/pypa/bandersnatch)
+   /tmp/mypy_primer/projects/bandersnatch/src/bandersnatch/tests/plugins/test_storage_plugins.py:856:9 - error: Type of "test_dir" is unknown (reportUnknownVariableType)
+   /tmp/mypy_primer/projects/bandersnatch/src/bandersnatch/tests/plugins/test_storage_plugins.py:857:9 - error: Type of "sub_dir" is unknown (reportUnknownVariableType)
+   /tmp/mypy_primer/projects/bandersnatch/src/bandersnatch/tests/plugins/test_storage_plugins.py:858:9 - error: Type of "sub_file" is unknown (reportUnknownVariableType)
+   /tmp/mypy_primer/projects/bandersnatch/src/bandersnatch/tests/plugins/test_storage_plugins.py:859:9 - error: Type of "sub_link" is unknown (reportUnknownVariableType)
- 2646 errors, 0 warnings, 0 notes
+ 2650 errors, 0 warnings, 0 notes

artigraph (https://github.com/artigraph/artigraph)
-     Type of "field_annotations" is "Generator[tuple[Unknown, type[Annotated] | Unknown], None, None]" (reportUnknownVariableType)
+     Type of "field_annotations" is "Generator[tuple[Unknown, Annotated | Unknown], None, None]" (reportUnknownVariableType)
-     Type of "annotation" is "type[Annotated] | Unknown" (reportUnknownVariableType)
+     Type of "annotation" is "Annotated | Unknown" (reportUnknownVariableType)
-   /tmp/mypy_primer/projects/artigraph/tests/arti/producers/test_producer.py:388:38 - error: Expected type arguments for generic class "Annotated" (reportMissingTypeArgument)
-   /tmp/mypy_primer/projects/artigraph/tests/arti/producers/test_producer.py:671:9 - error: Return type is Any (reportAny)
+   /tmp/mypy_primer/projects/artigraph/tests/arti/producers/test_producer.py:671:9 - error: Return type is unknown (reportUnknownParameterType)
-   /tmp/mypy_primer/projects/artigraph/tests/arti/producers/test_producer.py:671:17 - error: Type of parameter "numbers" is Any (reportAny)
+   /tmp/mypy_primer/projects/artigraph/tests/arti/producers/test_producer.py:671:17 - error: Type of parameter "numbers" is unknown (reportUnknownParameterType)
+   /tmp/mypy_primer/projects/artigraph/tests/arti/producers/test_producer.py:671:26 - error: Variable not allowed in type expression (reportInvalidTypeForm)
+   /tmp/mypy_primer/projects/artigraph/tests/arti/producers/test_producer.py:671:41 - error: Variable not allowed in type expression (reportInvalidTypeForm)
+   /tmp/mypy_primer/projects/artigraph/tests/arti/producers/test_producer.py:672:16 - error: Return type, "list[Unknown]", is partially unknown (reportUnknownVariableType)
-   /tmp/mypy_primer/projects/artigraph/tests/arti/producers/test_producer.py:672:27 - error: Type of "n" is Any (reportAny)
+   /tmp/mypy_primer/projects/artigraph/tests/arti/producers/test_producer.py:672:27 - error: Type of "n" is unknown (reportUnknownVariableType)
- 3549 errors, 0 warnings, 0 notes
+ 3551 errors, 0 warnings, 0 notes

SinbadCogs (https://github.com/mikeshardmind/SinbadCogs)
-   /tmp/mypy_primer/projects/SinbadCogs/embedmaker/time_utils.py:53:48 - error: Argument of type "dict[str | None, tzinfo]" cannot be assigned to parameter "tzinfos" of type "_TzInfo | None" in function "parse"
+   /tmp/mypy_primer/projects/SinbadCogs/embedmaker/time_utils.py:53:48 - error: Argument of type "dict[str | None, tzinfo]" cannot be assigned to parameter "tzinfos" of type "_TzInfo & TypeForm[_TzInfo] | None" in function "parse"
-     Type "dict[str | None, tzinfo]" is not assignable to type "_TzInfo | None"
+     Type "dict[str | None, tzinfo]" is not assignable to type "_TzInfo & TypeForm[_TzInfo] | None"
-   /tmp/mypy_primer/projects/SinbadCogs/scheduler/message.py:96:32 - error: Type of "Attachment" is unknown (reportUnknownMemberType)
-   /tmp/mypy_primer/projects/SinbadCogs/scheduler/message.py:104:35 - error: Type of "User" is unknown (reportUnknownMemberType)
-   /tmp/mypy_primer/projects/SinbadCogs/scheduler/message.py:104:49 - error: Type of "Member" is unknown (reportUnknownMemberType)
-   /tmp/mypy_primer/projects/SinbadCogs/scheduler/message.py:107:37 - error: Type of "TextChannel" is unknown (reportUnknownMemberType)
-   /tmp/mypy_primer/projects/SinbadCogs/scheduler/message.py:116:34 - error: Type of "Role" is unknown (reportUnknownMemberType)
-   /tmp/mypy_primer/projects/SinbadCogs/scheduler/time_utils.py:53:48 - error: Argument of type "dict[str | None, tzinfo]" cannot be assigned to parameter "tzinfos" of type "_TzInfo | None" in function "parse"
+   /tmp/mypy_primer/projects/SinbadCogs/scheduler/time_utils.py:53:48 - error: Argument of type "dict[str | None, tzinfo]" cannot be assigned to parameter "tzinfos" of type "_TzInfo & TypeForm[_TzInfo] | None" in function "parse"
-     Type "dict[str | None, tzinfo]" is not assignable to type "_TzInfo | None"
+     Type "dict[str | None, tzinfo]" is not assignable to type "_TzInfo & TypeForm[_TzInfo] | None"
- 6800 errors, 0 warnings, 0 notes
+ 6795 errors, 0 warnings, 0 notes

pycryptodome (https://github.com/Legrandin/pycryptodome)
-     Type of "release" is "Unknown | Any" (reportUnknownVariableType)
+     Type of "release" is "(Unknown | Any) & TypeForm[release]" (reportUnknownVariableType)
-   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/PublicKey/ECC.pyi:51:31 - error: Argument type is Any
-     Argument corresponds to parameter "fields" in function "__init__" (reportAny)
-   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/SelfTest/Cipher/test_SIV.py:436:55 - error: Argument of type "bytes | list[bytes] | None" cannot be assigned to parameter "nonce" of type "Buffer | None" in function "new" (reportArgumentType)
+   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/SelfTest/Cipher/test_SIV.py:436:55 - error: Argument of type "bytes | list[bytes] | None" cannot be assigned to parameter "nonce" of type "Buffer & TypeForm[Buffer] | None" in function "new" (reportArgumentType)
-   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/SelfTest/Cipher/test_SIV.py:444:55 - error: Argument of type "bytes | list[bytes] | None" cannot be assigned to parameter "nonce" of type "Buffer | None" in function "new" (reportArgumentType)
+   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/SelfTest/Cipher/test_SIV.py:444:55 - error: Argument of type "bytes | list[bytes] | None" cannot be assigned to parameter "nonce" of type "Buffer & TypeForm[Buffer] | None" in function "new" (reportArgumentType)
-   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/SelfTest/Cipher/test_pkcs1_oaep.py:342:49 - error: Argument of type "Module("Crypto.Hash.MD2") | Module("Crypto.Hash.MD5") | Module("Crypto.Hash.SHA1") | Module("Crypto.Hash.SHA256") | Module("Crypto.Hash.RIPEMD160")" cannot be assigned to parameter "hashAlgo" of type "HashLike | None" in function "new" (reportArgumentType)
+   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/SelfTest/Cipher/test_pkcs1_oaep.py:342:49 - error: Argument of type "Module("Crypto.Hash.MD2") | Module("Crypto.Hash.MD5") | Module("Crypto.Hash.SHA1") | Module("Crypto.Hash.SHA256") | Module("Crypto.Hash.RIPEMD160")" cannot be assigned to parameter "hashAlgo" of type "HashLike & TypeForm[HashLike] | None" in function "new" (reportArgumentType)
-         Type "(data: Buffer | None = ...) -> SHA1Hash" is not assignable to type "(data: bytes | None) -> Hash"
+         Type "(data: Buffer & TypeForm[Buffer] | None = ...) -> SHA1Hash" is not assignable to type "(data: bytes | None) -> Hash"
-         Type "(data: Buffer | None = ...) -> SHA224Hash" is not assignable to type "(data: bytes | None) -> Hash"
+         Type "(data: Buffer & TypeForm[Buffer] | None = ...) -> SHA224Hash" is not assignable to type "(data: bytes | None) -> Hash"
-         Type "(data: Buffer | None = ...) -> SHA384Hash" is not assignable to type "(data: bytes | None) -> Hash"
+         Type "(data: Buffer & TypeForm[Buffer] | None = ...) -> SHA384Hash" is not assignable to type "(data: bytes | None) -> Hash"
-         Type "(data: Buffer | None = ..., truncate: str | None = ...) -> SHA512Hash" is not assignable to type "(data: bytes | None) -> Hash"
+         Type "(data: Buffer & TypeForm[Buffer] | None = ..., truncate: str | None = ...) -> SHA512Hash" is not assignable to type "(data: bytes | None) -> Hash"
-   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/SelfTest/Math/test_modexp.py:71:29 - error: Cannot access attribute "monty_pow" for class "type[Any]"
+   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/SelfTest/Math/test_modexp.py:71:29 - error: Cannot access attribute "monty_pow" for class "type[Any] & TypeForm[_raw_montgomery]"
-   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/SelfTest/Math/test_modmult.py:66:29 - error: Cannot access attribute "monty_multiply" for class "type[Any]"
+   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/SelfTest/Math/test_modmult.py:66:29 - error: Cannot access attribute "monty_multiply" for class "type[Any] & TypeForm[_raw_montgomery]"
- 21768 errors, 0 warnings, 0 notes
+ 21767 errors, 0 warnings, 0 notes

mypy (https://github.com/python/mypy)
+   /tmp/mypy_primer/projects/mypy/mypy/modulefinder.py:686:9 - error: Type of "auto" is unknown (reportUnknownVariableType)
-     Type "_Address | None" is not assignable to type "Never"
+     Type "_Address & TypeForm[_Address] | None" is not assignable to type "Never"
-   /tmp/mypy_primer/projects/mypy/mypy/typeshed/stdlib/tempfile.pyi:130:21 - error: Type "Overload[(mode: OpenTextMode, buffering: int = -1, encoding: str | None = None, newline: str | None = None, suffix: AnyStr@NamedTemporaryFile | None = None, prefix: AnyStr@NamedTemporaryFile | None = None, dir: GenericPath[AnyStr@NamedTemporaryFile] | None = None, delete: bool = True, *, errors: str | None = None, delete_on_close: bool = True) -> _TemporaryFileWrapper[str], (mode: OpenBinaryMode = "w+b", buffering: int = -1, encoding: str | None = None, newline: str | None = None, suffix: AnyStr@NamedTemporaryFile | None = None, prefix: AnyStr@NamedTemporaryFile | None = None, dir: GenericPath[AnyStr@NamedTemporaryFile] | None = None, delete: bool = True, *, errors: str | None = None, delete_on_close: bool = True) -> _TemporaryFileWrapper[bytes], (mode: str = "w+b", buffering: int = -1, encoding: str | None = None, newline: str | None = None, suffix: AnyStr@NamedTemporaryFile | None = None, prefix: AnyStr@NamedTemporaryFile | None = None, dir: GenericPath[AnyStr@NamedTemporaryFile] | None = None, delete: bool = True, *, errors: str | None = None, delete_on_close: bool = True) -> _TemporaryFileWrapper[Any]]" is not assignable to declared type "Overload[(mode: OpenTextMode, buffering: int = -1, encoding: str | None = None, newline: str | None = None, suffix: AnyStr@TemporaryFile | None = None, prefix: AnyStr@TemporaryFile | None = None, dir: GenericPath[AnyStr@TemporaryFile] | None = None, *, errors: str | None = None) -> TextIOWrapper[_WrappedBuffer], (mode: OpenBinaryMode, buffering: Literal[0], encoding: str | None = None, newline: str | None = None, suffix: AnyStr@TemporaryFile | None = None, prefix: AnyStr@TemporaryFile | None = None, dir: GenericPath[AnyStr@TemporaryFile] | None = None, *, errors: str | None = None) -> FileIO, (*, buffering: Literal[0], encoding: str | None = None, newline: str | None = None, suffix: AnyStr@TemporaryFile | None = None, prefix: AnyStr@TemporaryFile | None = None, dir: GenericPath[AnyStr@TemporaryFile] | None = None, errors: str | None = None) -> FileIO, (mode: OpenBinaryModeWriting, buffering: Literal[-1, 1] = -1, encoding: str | None = None, newline: str | None = None, suffix: AnyStr@TemporaryFile | None = None, prefix: AnyStr@TemporaryFile | None = None, dir: GenericPath[AnyStr@TemporaryFile] | None = None, *, errors: str | None = None) -> BufferedWriter, (mode: OpenBinaryModeReading, buffering: Literal[-1, 1] = -1, encoding: str | None = None, newline: str | None = None, suffix: AnyStr@TemporaryFile | None = None, prefix: AnyStr@TemporaryFile | None = None, dir: GenericPath[AnyStr@TemporaryFile] | None = None, *, errors: str | None = None) -> BufferedReader, (mode: OpenBinaryModeUpdating = "w+b", buffering: Literal[-1, 1] = -1, encoding: str | None = None, newline: str | None = None, suffix: AnyStr@TemporaryFile | None = None, prefix: AnyStr@TemporaryFile | None = None, dir: GenericPath[AnyStr@TemporaryFile] | None = None, *, errors: str | None = None) -> BufferedRandom, (mode: str = "w+b", buffering: int = -1, encoding: str | None = None, newline: str | None = None, suffix: AnyStr@TemporaryFile | None = None, prefix: AnyStr@TemporaryFile | None = None, dir: GenericPath[AnyStr@TemporaryFile] | None = None, *, errors: str | None = None) -> IO[Any]]"
+   /tmp/mypy_primer/projects/mypy/mypy/typeshed/stdlib/tempfile.pyi:130:21 - error: Type "Overload[(mode: OpenTextMode, buffering: int = -1, encoding: str | None = None, newline: str | None = None, suffix: AnyStr@NamedTemporaryFile | None = None, prefix: AnyStr@NamedTemporaryFile | None = None, dir: GenericPath[AnyStr@NamedTemporaryFile] & TypeForm[GenericPath[AnyStr@NamedTemporaryFile]] | None = None, delete: bool = True, *, errors: str | None = None, delete_on_close: bool = True) -> _TemporaryFileWrapper[str], (mode: OpenBinaryMode = "w+b", buffering: int = -1, encoding: str | None = None, newline: str | None = None, suffix: AnyStr@NamedTemporaryFile | None = None, prefix: AnyStr@NamedTemporaryFile | None = None, dir: GenericPath[AnyStr@NamedTemporaryFile] & TypeForm[GenericPath[AnyStr@NamedTemporaryFile]] | None = None, delete: bool = True, *, errors: str | None = None, delete_on_close: bool = True) -> _TemporaryFileWrapper[bytes], (mode: str = "w+b", buffering: int = -1, encoding: str | None = None, newline: str | None = None, suffix: AnyStr@NamedTemporaryFile | None = None, prefix: AnyStr@NamedTemporaryFile | None = None, dir: GenericPath[AnyStr@NamedTemporaryFile] & TypeForm[GenericPath[AnyStr@NamedTemporaryFile]] | None = None, delete: bool = True, *, errors: str | None = None, delete_on_close: bool = True) -> _TemporaryFileWrapper[Any]]" is not assignable to declared type "Overload[(mode: OpenTextMode, buffering: int = -1, encoding: str | None = None, newline: str | None = None, suffix: AnyStr@TemporaryFile | None = None, prefix: AnyStr@TemporaryFile | None = None, dir: GenericPath[AnyStr@TemporaryFile] & TypeForm[GenericPath[AnyStr@TemporaryFile]] | None = None, *, errors: str | None = None) -> TextIOWrapper[_WrappedBuffer], (mode: OpenBinaryMode, buffering: Literal[0], encoding: str | None = None, newline: str | None = None, suffix: AnyStr@TemporaryFile | None = None, prefix: AnyStr@TemporaryFile | None = None, dir: GenericPath[AnyStr@TemporaryFile] & TypeForm[GenericPath[AnyStr@TemporaryFile]] | None = None, *, errors: str | None = None) -> FileIO, (*, buffering: Literal[0], encoding: str | None = None, newline: str | None = None, suffix: AnyStr@TemporaryFile | None = None, prefix: AnyStr@TemporaryFile | None = None, dir: GenericPath[AnyStr@TemporaryFile] & TypeForm[GenericPath[AnyStr@TemporaryFile]] | None = None, errors: str | None = None) -> FileIO, (mode: OpenBinaryModeWriting, buffering: Literal[-1, 1] = -1, encoding: str | None = None, newline: str | None = None, suffix: AnyStr@TemporaryFile | None = None, prefix: AnyStr@TemporaryFile | None = None, dir: GenericPath[AnyStr@TemporaryFile] & TypeForm[GenericPath[AnyStr@TemporaryFile]] | None = None, *, errors: str | None = None) -> BufferedWriter, (mode: OpenBinaryModeReading, buffering: Literal[-1, 1] = -1, encoding: str | None = None, newline: str | None = None, suffix: AnyStr@TemporaryFile | None = None, prefix: AnyStr@TemporaryFile | None = None, dir: GenericPath[AnyStr@TemporaryFile] & TypeForm[GenericPath[AnyStr@TemporaryFile]] | None = None, *, errors: str | None = None) -> BufferedReader, (mode: OpenBinaryModeUpdating = "w+b", buffering: Literal[-1, 1] = -1, encoding: str | None = None, newline: str | None = None, suffix: AnyStr@TemporaryFile | None = None, prefix: AnyStr@TemporaryFile | None = None, dir: GenericPath[AnyStr@TemporaryFile] & TypeForm[GenericPath[AnyStr@TemporaryFile]] | None = None, *, errors: str | None = None) -> BufferedRandom, (mode: str = "w+b", buffering: int = -1, encoding: str | None = None, newline: str | None = None, suffix: AnyStr@TemporaryFile | None = None, prefix: AnyStr@TemporaryFile | None = None, dir: GenericPath[AnyStr@TemporaryFile] & TypeForm[GenericPath[AnyStr@TemporaryFile]] | None = None, *, errors: str | None = None) -> IO[Any]]"
-       No overloaded function matches type "(mode: OpenTextMode, buffering: int = -1, encoding: str | None = None, newline: str | None = None, suffix: AnyStr@TemporaryFile | None = None, prefix: AnyStr@TemporaryFile | None = None, dir: GenericPath[AnyStr@TemporaryFile] | None = None, *, errors: str | None = None) -> TextIOWrapper[_WrappedBuffer]" (reportAssignmentType)
+       No overloaded function matches type "(mode: OpenTextMode, buffering: int = -1, encoding: str | None = None, newline: str | None = None, suffix: AnyStr@TemporaryFile | None = None, prefix: AnyStr@TemporaryFile | None = None, dir: GenericPath[AnyStr@TemporaryFile] & TypeForm[GenericPath[AnyStr@TemporaryFile]] | None = None, *, errors: str | None = None) -> TextIOWrapper[_WrappedBuffer]" (reportAssignmentType)
- 16193 errors, 0 warnings, 0 notes
+ 16194 errors, 0 warnings, 0 notes

sympy (https://github.com/sympy/sympy)
-   /tmp/mypy_primer/projects/sympy/sympy/assumptions/predicates/sets.py:275:12 - error: Type "Literal['complex']" is not assignable to declared type "property"
+   /tmp/mypy_primer/projects/sympy/sympy/assumptions/predicates/sets.py:275:12 - error: Type "Literal['complex'] & TypeForm[complex]" is not assignable to declared type "property"
-     Type of "__eq__" is "(self: tuple[Unknown], value: object, /) -> bool" (reportUnknownMemberType)
+     Type of "__eq__" is "(self: tuple[Unknown, ...], value: object, /) -> bool" (reportUnknownMemberType)
-   /tmp/mypy_primer/projects/sympy/sympy/core/evalf.py:348:28 - error: Operator "-" not supported for types "int | Any" and "TMP_RES | None"
+   /tmp/mypy_primer/projects/sympy/sympy/core/evalf.py:348:28 - error: Operator "-" not supported for types "int | Any" and "TMP_RES & TypeForm[TMP_RES] | None"
-   /tmp/mypy_primer/projects/sympy/sympy/core/evalf.py:350:28 - error: Operator "-" not supported for types "int | Any" and "TMP_RES | None"
+   /tmp/mypy_primer/projects/sympy/sympy/core/evalf.py:350:28 - error: Operator "-" not supported for types "int | Any" and "TMP_RES & TypeForm[TMP_RES] | None"
-   /tmp/mypy_primer/projects/sympy/sympy/core/evalf.py:465:59 - error: Argument type is Any
-     Argument corresponds to parameter "nexpr" in function "calc_part" (reportAny)
-   /tmp/mypy_primer/projects/sympy/sympy/core/evalf.py:467:59 - error: Argument type is Any
-     Argument corresponds to parameter "nexpr" in function "calc_part" (reportAny)
-     Argument type is "Unknown | Any" (reportUnknownArgumentType)
+     Argument type is "Unknown | Any & TypeForm[TMP_RES]" (reportUnknownArgumentType)
-     Return type mismatch: base method returns type "tuple[Literal[2], Literal[0], str]", override returns type "tuple[Literal[1], Literal[0], Literal['Number']]"
+     Return type mismatch: base method returns type "tuple[Literal[2], Literal[0], str]", override returns type "tuple[Literal[1], Literal[0], Literal['Number'] & TypeForm[Number]]"
-       "tuple[Literal[1], Literal[0], Literal['Number']]" is not assignable to "tuple[Literal[2], Literal[0], str]"
+       "tuple[Literal[1], Literal[0], Literal['Number'] & TypeForm[Number]]" is not assignable to "tuple[Literal[2], Literal[0], str]"
-     Return type mismatch: base method returns type "tuple[tuple[Literal[2], Literal[0], str], tuple[int, tuple[str]], Unknown, Unknown]", override returns type "tuple[tuple[Literal[1], Literal[0], Literal['Number']], tuple[int, tuple[()]], tuple[()], Self@Number]"
+     Return type mismatch: base method returns type "tuple[tuple[Literal[2], Literal[0], str], tuple[int, tuple[str]], Unknown, Unknown]", override returns type "tuple[tuple[Literal[1], Literal[0], Literal['Number'] & TypeForm[Number]], tuple[int, tuple[()]], tuple[()], Self@Number]"
-       "tuple[tuple[Literal[1], Literal[0], Literal['Number']], tuple[int, tuple[()]], tuple[()], Self@Number]" is not assignable to "tuple[tuple[Literal[2], Literal[0], str], tuple[int, tuple[str]], Unknown, Unknown]"
+       "tuple[tuple[Literal[1], Literal[0], Literal['Number'] & TypeForm[Number]], tuple[int, tuple[()]], tuple[()], Self@Number]" is not assignable to "tuple[tuple[Literal[2], Literal[0], str], tuple[int, tuple[str]], Unknown, Unknown]"
-           "tuple[Literal[1], Literal[0], Literal['Number']]" is not assignable to "tuple[Literal[2], Literal[0], str]"
+           "tuple[Literal[1], Literal[0], Literal['Number'] & TypeForm[Number]]" is not assignable to "tuple[Literal[2], Literal[0], str]"
-   /tmp/mypy_primer/projects/sympy/sympy/core/relational.py:379:16 - error: Expression will always evaluate to False since the types "type[Self@Relational]" and "type[Equality] | type[Unequality]" have no overlap (reportUnnecessaryContains)
+   /tmp/mypy_primer/projects/sympy/sympy/core/relational.py:379:16 - error: Expression will always evaluate to False since the types "type[Self@Relational]" and "type[Equality] & TypeForm[Eq] | type[Unequality] & TypeForm[Ne]" have no overlap (reportUnnecessaryContains)
-   /tmp/mypy_primer/projects/sympy/sympy/external/tests/test_numpy.py:63:16 - error: Operator "/" not supported for types "Symbol" and "Symbol" (reportOperatorIssue)
-       Override type "Tuple[Expr, ...]" is not the same as base type "FuzzyBool | tuple[Expr, ...]" (reportIncompatibleVariableOverride)
+       Override type "Tuple[Expr, ...]" is not the same as base type "FuzzyBool & TypeForm[FuzzyBool] | tuple[Expr, ...]" (reportIncompatibleVariableOverride)
-   /tmp/mypy_primer/projects/sympy/sympy/integrals/heurisch.py:501:11 - error: Type of "as_independent" is unknown (reportUnknownMemberType)
-   /tmp/mypy_primer/projects/sympy/sympy/integrals/heurisch.py:501:45 - error: Type of "a" is partially unknown
-     Type of "a" is "tuple[Unknown, Dummy]" (reportUnknownVariableType)
-   /tmp/mypy_primer/projects/sympy/sympy/integrals/heurisch.py:501:54 - error: Argument type is partially unknown
-     Argument corresponds to parameter "iter1" in function "__new__"
-     Argument type is "set[Unknown] | Unknown" (reportUnknownArgumentType)
-   /tmp/mypy_primer/projects/sympy/sympy/integrals/heurisch.py:569:17 - error: Type of "c_split" is partially unknown
-     Type of "c_split" is "tuple[Unknown, Unknown]" (reportUnknownVariableType)
-   /tmp/mypy_primer/projects/sympy/sympy/integrals/risch.py:544:34 - error: Argument of type "Literal['exp']" cannot be assigned to parameter "object" of type "None" in function "append"
+   /tmp/mypy_primer/projects/sympy/sympy/integrals/risch.py:544:34 - error: Argument of type "Literal['exp'] & TypeForm[exp]" cannot be assigned to parameter "object" of type "None" in function "append"
-   /tmp/mypy_primer/projects/sympy/sympy/integrals/risch.py:600:34 - error: Argument of type "Literal['log']" cannot be assigned to parameter "object" of type "None" in function "append"
+   /tmp/mypy_primer/projects/sympy/sympy/integrals/risch.py:600:34 - error: Argument of type "Literal['log'] & TypeForm[log]" cannot be assigned to parameter "object" of type "None" in function "append"
-   /tmp/mypy_primer/projects/sympy/sympy/interactive/session.py:295:21 - error: Result of call expression is of type "(filename: StrOrBytesPath | None = None, /) -> None" and is not used; assign to variable "_" if this is intentional (reportUnusedCallResult)
+   /tmp/mypy_primer/projects/sympy/sympy/interactive/session.py:295:21 - error: Result of call expression is of type "(filename: StrOrBytesPath & TypeForm[StrOrBytesPath] | None = None, /) -> None" and is not used; assign to variable "_" if this is intentional (reportUnusedCallResult)
-   /tmp/mypy_primer/projects/sympy/sympy/matrices/expressions/tests/test_blockmatrix.py:192:27 - error: Argument type is Any
-     Argument corresponds to parameter "n" in function "__new__" (reportAny)
-   /tmp/mypy_primer/projects/sympy/sympy/matrices/expressions/tests/test_blockmatrix.py:192:30 - error: Argument type is Any
-     Argument corresponds to parameter "m" in function "__new__" (reportAny)
-   /tmp/mypy_primer/projects/sympy/sympy/matrices/expressions/tests/test_blockmatrix.py:203:20 - error: Argument type is Any

... (truncated 2272 lines) ...```

@DetachHead DetachHead merged commit 6b83eed into main Sep 4, 2024
19 checks passed
@DetachHead DetachHead deleted the merge-1.1.379 branch September 4, 2024 11:18
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants