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.380 #664

Merged
merged 36 commits into from
Sep 10, 2024
Merged

Merge 1.1.380 #664

merged 36 commits into from
Sep 10, 2024

Conversation

DetachHead
Copy link
Owner

No description provided.

erictraut and others added 30 commits September 4, 2024 08:13
…hen using a two-argument form of `super()` and the second argument is `type[Self]`. This addresses #8763. (#8889)
… when converting certain constructors (such as for the class `defaultdict`) to a callable type. This addresses #8840. (#8890)
…n specific circumstances involving higher-order functions that return generic callable types. This addresses #8852. (#8892)
* Small tweaks to configuration.md

* Update configuration.md

---------

Co-authored-by: Rich Chiodo <rchiodo@users.noreply.github.com>
…tching because writable class variables defined in a named tuple or a frozen dataclass were considered read-only. This addresses #8829. (#8896)
…within a tuple expression in the subject expression of a `match` statement. This addresses #8897. (#8899)
…order function that is passed an overloaded function. This addresses #8898. (#8900)
…e expression contains thousands of entries. This is not typically found in hand-written code, but it can appear in computer-generated code. This addresses microsoft/pylance-release#6351. (#8903)
…very specific circumstances involving a function with a TypeVar used in both a contravariant and covariant context and combined by union with other types in the contravariant context. This addresses #8864. (#8906)
… used in an argument expression for a call and the operand is a TypedDict. It now takes into account the fact that a (non-closed) TypedDict can contain additional keys with `object` values. This new behavior is consistent with mypy. This addresses #8894. (#8908)
…erands. (#8915)

Removed redundant logic for checking exception type in `raise x from y` statements.
Changed behavior of raise evaluation logic to allow type of exception to be `Never`. This addresses #8911.
…sed with an implicit `__getitem__` call even though this type is not documented or declared in typeshed. This addresses #8916.
…ses instantiated from such metaclasses are now treated as abstract. This addresses #8910. (#8923)
…d as ..." when using `--verifytypes` and the function has a decorator applied that uses a ParamSpec. This addresses #8905. (#8924)
…redundant code and fixed a number of bugs in the process. (#8928)
…ixes a number of inconsistent behaviors involving metaclasses. (#8929)
…pes module, which is a more appropriate place.
…rings `isinstance` narrowing more closely in line with `TypeIs` narrowing. (#8931)
…or `TypeIs` when the filter type (the second argument to `isinstance`) is a subclass of `type`. This addresses #8691 and #8686. (#8934)
…ainment) operator when the filter includes class objects (instances of `type`). This addresses #8866. (#8935)
….` (ellipsis) type guard pattern. This addresses #8939. (#8940)
… that use the PEP 613 `TypeAlias` qualifier.
…_` import statement, which has no meaning in stub files.
…rcumstances with partially-written code that has syntax errors.
erictraut and others added 6 commits September 10, 2024 11:38
…n it is used with a `Callable` type form. This addresses #8951. (#8952)
…peshed defines this with a `TypeIs`, we no longer require custom logic here. This addresses #8944. (#8954)
# Conflicts:
#	packages/pyright-internal/src/analyzer/typeEvaluatorTypes.ts
#	packages/pyright-internal/src/workspaceFactory.ts
#	packages/pyright/package-lock.json
#	packages/pyright/package.json
#	packages/vscode-pyright/package.json
Copy link
Contributor

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

pytest-robotframework (https://github.com/detachhead/pytest-robotframework)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:463:32 - error: Unnecessary "# pyright: ignore" rule: "reportOverlappingOverload" (reportUnnecessaryTypeIgnoreComment)
- 2257 errors, 0 warnings, 0 notes
+ 2258 errors, 0 warnings, 0 notes

anyio (https://github.com/agronholm/anyio)
+   /tmp/mypy_primer/projects/anyio/src/anyio/_backends/_asyncio.py:2011:13 - error: Unnecessary isinstance call; "Never" is always an instance of "Future[Unknown]" (reportUnnecessaryIsInstance)
-   /tmp/mypy_primer/projects/anyio/src/anyio/_core/_sockets.py:651:8 - error: Unnecessary isinstance call; "tuple[str, int, int, int] | tuple[str, int]" is always an instance of "tuple[_T_co@tuple]" (reportUnnecessaryIsInstance)
+   /tmp/mypy_primer/projects/anyio/src/anyio/_core/_sockets.py:651:8 - error: Unnecessary isinstance call; "tuple[str, int, int, int] | tuple[str, int]" is always an instance of "tuple[Unknown, ...]" (reportUnnecessaryIsInstance)
+   /tmp/mypy_primer/projects/anyio/src/anyio/streams/tls.py:305:46 - error: Unnecessary isinstance call; "Exception" is always an instance of "BaseException" (reportUnnecessaryIsInstance)
- 1745 errors, 0 warnings, 0 notes
+ 1747 errors, 0 warnings, 0 notes

nionutils (https://github.com/nion-software/nionutils)
-   /tmp/mypy_primer/projects/nionutils/nion/utils/Converter.py:252:36 - error: Argument of type "object* | None" cannot be assigned to parameter "value" of type "FT@ValuesToIndexConverter" in function "index"
-     Type "object* | None" is not assignable to type "FT@ValuesToIndexConverter" (reportArgumentType)
+   /tmp/mypy_primer/projects/nionutils/nion/utils/StructuredModel.py:229:33 - error: Argument type is partially unknown
+     Argument corresponds to parameter "name" in function "__setattr__"
+     Argument type is "str | Unknown" (reportUnknownArgumentType)

pyinstrument (https://github.com/joerick/pyinstrument)
-   /tmp/mypy_primer/projects/pyinstrument/pyinstrument/middleware.py:45:13 - error: Type of "show_pyinstrument" is Any (reportAny)
+   /tmp/mypy_primer/projects/pyinstrument/pyinstrument/low_level/pyi_timing_thread_python.py:38:5 - error: Return type, "Unknown | Literal[0]", is partially unknown (reportUnknownParameterType)
+   /tmp/mypy_primer/projects/pyinstrument/pyinstrument/low_level/pyi_timing_thread_python.py:52:13 - error: Type of "new_id" is unknown (reportUnknownVariableType)
+   /tmp/mypy_primer/projects/pyinstrument/pyinstrument/low_level/pyi_timing_thread_python.py:54:59 - error: Argument type is partially unknown
+     Argument corresponds to parameter "id" in function "__init__"
+     Argument type is "Unknown | Literal[0]" (reportUnknownArgumentType)
+   /tmp/mypy_primer/projects/pyinstrument/pyinstrument/low_level/pyi_timing_thread_python.py:59:12 - error: Return type, "Unknown | Literal[0]", is partially unknown (reportUnknownVariableType)
-   /tmp/mypy_primer/projects/pyinstrument/pyinstrument/low_level/stat_profile_python.py:33:20 - error: Unnecessary isinstance call; "ContextVar[object | None]" is always an instance of "ContextVar[_T@ContextVar]" (reportUnnecessaryIsInstance)
+   /tmp/mypy_primer/projects/pyinstrument/pyinstrument/low_level/stat_profile_python.py:33:20 - error: Unnecessary isinstance call; "ContextVar[object | None]" is always an instance of "ContextVar[Unknown]" (reportUnnecessaryIsInstance)
- 1220 errors, 0 warnings, 0 notes
+ 1223 errors, 0 warnings, 0 notes

graphql-core (https://github.com/graphql-python/graphql-core)
-   /tmp/mypy_primer/projects/graphql-core/src/graphql/pyutils/inspect.py:50:13 - error: Type of "s" is Any (reportAny)
+   /tmp/mypy_primer/projects/graphql-core/src/graphql/type/scalars.py:59:16 - error: Condition will always evaluate to True since the types "int" and "float" have no overlap (reportUnnecessaryComparison)
+   /tmp/mypy_primer/projects/graphql-core/src/graphql/type/scalars.py:83:13 - error: Condition will always evaluate to False since the types "int" and "float" have no overlap (reportUnnecessaryComparison)
+   /tmp/mypy_primer/projects/graphql-core/src/graphql/type/scalars.py:261:13 - error: Condition will always evaluate to False since the types "int" and "float" have no overlap (reportUnnecessaryComparison)
+   /tmp/mypy_primer/projects/graphql-core/src/graphql/type/scalars.py:279:13 - error: Condition will always evaluate to False since the types "int" and "float" have no overlap (reportUnnecessaryComparison)
- 1853 errors, 0 warnings, 0 notes
+ 1856 errors, 0 warnings, 0 notes

poetry (https://github.com/python-poetry/poetry)
+   /tmp/mypy_primer/projects/poetry/src/poetry/config/config.py:281:20 - error: Return type, "dict[str | Unknown, Any]", is partially unknown (reportUnknownVariableType)
+   /tmp/mypy_primer/projects/poetry/src/poetry/config/config.py:281:60 - error: Type of "k" is partially unknown
+     Type of "k" is "str | Unknown" (reportUnknownVariableType)
+   /tmp/mypy_primer/projects/poetry/src/poetry/installation/executor.py:715:16 - error: Return type is unknown (reportUnknownVariableType)
-   /tmp/mypy_primer/projects/poetry/tests/console/commands/self/test_show_plugins.py:125:42 - error: Argument of type "Any | None" cannot be assigned to parameter "key" of type "str" in function "__getitem__"
-     Type "Any | None" is not assignable to type "str"
-       "None" is not assignable to "str" (reportArgumentType)
- /tmp/mypy_primer/projects/poetry/tests/fixtures/scripts/scripts/check_argv0.py
-   /tmp/mypy_primer/projects/poetry/tests/fixtures/scripts/scripts/check_argv0.py:23:11 - error: Invalid exception class or object
-     "NoReturn" does not derive from BaseException (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/poetry/tests/utils/fixtures/setups/pyyaml/setup.py:105:20 - error: Unnecessary isinstance call; "Never" is always an instance of "Extension" (reportUnnecessaryIsInstance)
+   /tmp/mypy_primer/projects/poetry/tests/utils/fixtures/setups/requests/setup.py:11:37 - error: The class "test" is deprecated
+     The test command is disabled and references to it are deprecated. Please remove any references to `setuptools.command.test` in all supported versions of the affected package. (reportDeprecated)
+   /tmp/mypy_primer/projects/poetry/tests/utils/fixtures/setups/requests/setup.py:31:14 - error: Instance variable "test_args" is not initialized in the class body or __init__ method (reportUninitializedInstanceVariable)
+   /tmp/mypy_primer/projects/poetry/tests/utils/fixtures/setups/requests/setup.py:32:14 - error: Instance variable "test_suite" is not initialized in the class body or __init__ method (reportUninitializedInstanceVariable)
-   /tmp/mypy_primer/projects/poetry/tests/utils/fixtures/setups/requests/setup.py:31:26 - error: Cannot assign to attribute "test_args" for class "PyTest*"
-     "list[Any]" is not assignable to "NonDataProperty[Self@test, list[str]]" (reportAttributeAccessIssue)
-   /tmp/mypy_primer/projects/poetry/tests/utils/fixtures/setups/requests/setup.py:34:9 - error: Method "run_tests" is not marked as override but is overriding a method in class "test" (reportImplicitOverride)
+   /tmp/mypy_primer/projects/poetry/tests/utils/fixtures/setups/sqlalchemy/setup.py:17:37 - error: The class "test" is deprecated
+     The test command is disabled and references to it are deprecated. Please remove any references to `setuptools.command.test` in all supported versions of the affected package. (reportDeprecated)
+   /tmp/mypy_primer/projects/poetry/tests/utils/fixtures/setups/sqlalchemy/setup.py:96:14 - error: Instance variable "test_args" is not initialized in the class body or __init__ method (reportUninitializedInstanceVariable)
+   /tmp/mypy_primer/projects/poetry/tests/utils/fixtures/setups/sqlalchemy/setup.py:97:14 - error: Instance variable "test_suite" is not initialized in the class body or __init__ method (reportUninitializedInstanceVariable)
-   /tmp/mypy_primer/projects/poetry/tests/utils/fixtures/setups/sqlalchemy/setup.py:96:26 - error: Cannot assign to attribute "test_args" for class "PyTest*"
-     "list[Any]" is not assignable to "NonDataProperty[Self@test, list[str]]" (reportAttributeAccessIssue)
-   /tmp/mypy_primer/projects/poetry/tests/utils/fixtures/setups/sqlalchemy/setup.py:99:9 - error: Method "run_tests" is not marked as override but is overriding a method in class "test" (reportImplicitOverride)
- 21486 errors, 0 warnings, 0 notes
+ 21490 errors, 0 warnings, 0 notes

bandersnatch (https://github.com/pypa/bandersnatch)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
-     Type of "write" is "Overload[(s: str, /) -> int, (s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)
+     Type of "write" is "Overload[(s: Buffer, /) -> int, (s: Unknown, /) -> int]" (reportUnknownMemberType)

mypy (https://github.com/python/mypy)
-   /tmp/mypy_primer/projects/mypy/mypy/build.py:1067:12 - error: Unnecessary isinstance call; "dict[str, Any]" is always an instance of "dict[_KT@dict, _VT@dict]" (reportUnnecessaryIsInstance)
+   /tmp/mypy_primer/projects/mypy/mypy/build.py:1067:12 - error: Unnecessary isinstance call; "dict[str, Any]" is always an instance of "dict[Unknown, Unknown]" (reportUnnecessaryIsInstance)
-   /tmp/mypy_primer/projects/mypy/mypy/build.py:1283:12 - error: Unnecessary isinstance call; "dict[str, Any]" is always an instance of "dict[_KT@dict, _VT@dict]" (reportUnnecessaryIsInstance)
+   /tmp/mypy_primer/projects/mypy/mypy/build.py:1283:12 - error: Unnecessary isinstance call; "dict[str, Any]" is always an instance of "dict[Unknown, Unknown]" (reportUnnecessaryIsInstance)
+   /tmp/mypy_primer/projects/mypy/mypy/checker.py:6042:25 - error: Type of "expr" is unknown (reportUnknownVariableType)
+   /tmp/mypy_primer/projects/mypy/mypy/checkpattern.py:633:85 - error: Argument type is unknown
+     Argument corresponds to parameter "args" in function "format" (reportUnknownArgumentType)
+   /tmp/mypy_primer/projects/mypy/mypy/fastparse.py:2109:14 - error: Unnecessary isinstance call; "Never" is always an instance of "Index" (reportUnnecessaryIsInstance)
+   /tmp/mypy_primer/projects/mypy/mypy/fastparse.py:2111:14 - error: Unnecessary isinstance call; "Never" is always an instance of "Slice" (reportUnnecessaryIsInstance)
+   /tmp/mypy_primer/projects/mypy/mypy/stubtest.py:523:12 - error: Unnecessary isinstance call; "type[Any]" is always an instance of "type" (reportUnnecessaryIsInstance)
-   /tmp/mypy_primer/projects/mypy/mypy/stubtest.py:1030:56 - error: Argument type is Any
-     Argument corresponds to parameter "runtime_object" in function "__init__" (reportAny)
-   /tmp/mypy_primer/projects/mypy/mypy/stubtest.py:1032:56 - error: Argument type is Any
-     Argument corresponds to parameter "runtime_object" in function "__init__" (reportAny)
-   /tmp/mypy_primer/projects/mypy/mypy/stubtest.py:1035:71 - error: Argument type is Any
-     Argument corresponds to parameter "runtime_object" in function "__init__" (reportAny)
-   /tmp/mypy_primer/projects/mypy/mypy/stubtest.py:1038:56 - error: Argument type is Any
-     Argument corresponds to parameter "obj" in function "iscoroutinefunction" (reportAny)
-   /tmp/mypy_primer/projects/mypy/mypy/stubtest.py:1056:13 - error: Argument type is Any
-     Argument corresponds to parameter "runtime_object" in function "__init__" (reportAny)
-   /tmp/mypy_primer/projects/mypy/mypy/stubtest.py:1069:13 - error: Argument type is Any
-     Argument corresponds to parameter "runtime_object" in function "__init__" (reportAny)
-   /tmp/mypy_primer/projects/mypy/mypy/stubtest.py:1154:49 - error: Argument type is Any
-     Argument corresponds to parameter "runtime_object" in function "__init__" (reportAny)
-   /tmp/mypy_primer/projects/mypy/mypy/stubtest.py:1160:71 - error: Argument type is Any
-     Argument corresponds to parameter "runtime_object" in function "__init__" (reportAny)
-   /tmp/mypy_primer/projects/mypy/mypy/stubtest.py:1183:13 - error: Argument type is Any
-     Argument corresponds to parameter "runtime_object" in function "__init__" (reportAny)
+   /tmp/mypy_primer/projects/mypy/mypy/typeanal.py:1255:67 - error: Argument type is unknown
+     Argument corresponds to parameter "args" in function "format" (reportUnknownArgumentType)
+   /tmp/mypy_primer/projects/mypy/mypy/test/data.py:684:21 - error: Argument type is partially unknown
+     Argument corresponds to parameter "args" in function "format"
+     Argument type is "Unknown | Any" (reportUnknownArgumentType)
-   /tmp/mypy_primer/projects/mypy/mypy/typeshed/stdlib/io.pyi:95:7 - error: Base classes for class "FileIO" define method "writelines" in incompatible way
-     Parameter 2 type mismatch: base parameter is type "Iterable[str]", override parameter is type "Iterable[ReadableBuffer]"
-       "Iterable[str]" is not assignable to "Iterable[ReadableBuffer]"
-         Type parameter "_T_co@Iterable" is covariant, but "str" is not a subtype of "ReadableBuffer"
-           "str" is incompatible with protocol "Buffer"
-             "__buffer__" is not present (reportIncompatibleMethodOverride)
-   /tmp/mypy_primer/projects/mypy/mypy/typeshed/stdlib/io.pyi:110:7 - error: Base classes for class "BytesIO" define method "write" in incompatible way
-     Parameter 2 type mismatch: base parameter is type "str", override parameter is type "ReadableBuffer"
-       "str" is incompatible with protocol "Buffer"
-         "__buffer__" is not present (reportIncompatibleMethodOverride)
-   /tmp/mypy_primer/projects/mypy/mypy/typeshed/stdlib/io.pyi:110:7 - error: Base classes for class "BytesIO" define method "writelines" in incompatible way
-     Parameter 2 type mismatch: base parameter is type "Iterable[str]", override parameter is type "Iterable[ReadableBuffer]"
-       "Iterable[str]" is not assignable to "Iterable[ReadableBuffer]"
-         Type parameter "_T_co@Iterable" is covariant, but "str" is not a subtype of "ReadableBuffer"
-           "str" is incompatible with protocol "Buffer"
-             "__buffer__" is not present (reportIncompatibleMethodOverride)
-   /tmp/mypy_primer/projects/mypy/mypy/typeshed/stdlib/io.pyi:121:7 - error: Base classes for class "BufferedReader" define method "write" in incompatible way
-     Parameter 2 type mismatch: base parameter is type "str", override parameter is type "ReadableBuffer"
-       "str" is incompatible with protocol "Buffer"
-         "__buffer__" is not present (reportIncompatibleMethodOverride)
-   /tmp/mypy_primer/projects/mypy/mypy/typeshed/stdlib/io.pyi:121:7 - error: Base classes for class "BufferedReader" define method "writelines" in incompatible way
-     Parameter 2 type mismatch: base parameter is type "Iterable[str]", override parameter is type "Iterable[ReadableBuffer]"
-       "Iterable[str]" is not assignable to "Iterable[ReadableBuffer]"
-         Type parameter "_T_co@Iterable" is covariant, but "str" is not a subtype of "ReadableBuffer"
-           "str" is incompatible with protocol "Buffer"
-             "__buffer__" is not present (reportIncompatibleMethodOverride)
-   /tmp/mypy_primer/projects/mypy/mypy/typeshed/stdlib/io.pyi:126:7 - error: Base classes for class "BufferedWriter" define method "writelines" in incompatible way
-     Parameter 2 type mismatch: base parameter is type "Iterable[str]", override parameter is type "Iterable[ReadableBuffer]"
-       "Iterable[str]" is not assignable to "Iterable[ReadableBuffer]"
-         Type parameter "_T_co@Iterable" is covariant, but "str" is not a subtype of "ReadableBuffer"
-           "str" is incompatible with protocol "Buffer"
-             "__buffer__" is not present (reportIncompatibleMethodOverride)
-   /tmp/mypy_primer/projects/mypy/mypy/typeshed/stdlib/lzma.pyi:107:7 - error: Base classes for class "LZMAFile" define method "writelines" in incompatible way
-     Parameter 2 type mismatch: base parameter is type "Iterable[str]", override parameter is type "Iterable[ReadableBuffer]"
-       "Iterable[str]" is not assignable to "Iterable[ReadableBuffer]"
-         Type parameter "_T_co@Iterable" is covariant, but "str" is not a subtype of "ReadableBuffer"
-           "str" is incompatible with protocol "Buffer"
-             "__buffer__" is not present (reportIncompatibleMethodOverride)
-   /tmp/mypy_primer/projects/mypy/mypy/typeshed/stdlib/asyncio/tasks.pyi:364:15 - error: Overload 2 for "wait" will never be used because its parameters overlap overload 1 (reportOverlappingOverload)
-   /tmp/mypy_primer/projects/mypy/mypy/typeshed/stdlib/http/client.pyi:109:7 - error: Base classes for class "HTTPResponse" define method "write" in incompatible way
-     Parameter 2 type mismatch: base parameter is type "str", override parameter is type "ReadableBuffer"
-       "str" is incompatible with protocol "Buffer"
-         "__buffer__" is not present (reportIncompatibleMethodOverride)
-   /tmp/mypy_primer/projects/mypy/mypy/typeshed/stdlib/http/client.pyi:109:7 - error: Base classes for class "HTTPResponse" define method "writelines" in incompatible way
-     Parameter 2 type mismatch: base parameter is type "Iterable[str]", override parameter is type "Iterable[ReadableBuffer]"
-       "Iterable[str]" is not assignable to "Iterable[ReadableBuffer]"
-         Type parameter "_T_co@Iterable" is covariant, but "str" is not a subtype of "ReadableBuffer"
-           "str" is incompatible with protocol "Buffer"
-             "__buffer__" is not present (reportIncompatibleMethodOverride)
+   /tmp/mypy_primer/projects/mypy/mypyc/analysis/ircheck.py:104:46 - error: Argument type is unknown
+     Argument corresponds to parameter "source" in function "__init__" (reportUnknownArgumentType)
-   /tmp/mypy_primer/projects/mypy/mypyc/analysis/ircheck.py:303:14 - error: Unnecessary isinstance call; "FrozenSet[object]" is always an instance of "frozenset[_T_co@frozenset]" (reportUnnecessaryIsInstance)
+   /tmp/mypy_primer/projects/mypy/mypyc/analysis/ircheck.py:303:14 - error: Unnecessary isinstance call; "FrozenSet[object]" is always an instance of "frozenset[Unknown]" (reportUnnecessaryIsInstance)
-   /tmp/mypy_primer/projects/mypy/mypyc/codegen/literals.py:66:14 - error: Unnecessary isinstance call; "FrozenSet[object]" is always an instance of "frozenset[_T_co@frozenset]" (reportUnnecessaryIsInstance)
+   /tmp/mypy_primer/projects/mypy/mypyc/codegen/literals.py:66:14 - error: Unnecessary isinstance call; "FrozenSet[object]" is always an instance of "frozenset[Unknown]" (reportUnnecessaryIsInstance)
-   /tmp/mypy_primer/projects/mypy/mypyc/codegen/literals.py:105:12 - error: Unnecessary isinstance call; "FrozenSet[object]" is always an instance of "frozenset[_T_co@frozenset]" (reportUnnecessaryIsInstance)

... (truncated 15 lines) ...

artigraph (https://github.com/artigraph/artigraph)
-   /tmp/mypy_primer/projects/artigraph/src/arti/internal/mappings.py:105:13 - error: Code is unreachable (reportUnreachable)
- 3551 errors, 0 warnings, 0 notes
+ 3550 errors, 0 warnings, 0 notes

pycryptodome (https://github.com/Legrandin/pycryptodome)
+   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/Hash/BLAKE2b.py:86:57 - error: Argument type is unknown
+     Argument corresponds to parameter "object" in function "__new__" (reportUnknownArgumentType)
-   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/Hash/BLAKE2b.py:92:57 - error: Argument type is partially unknown
+   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/Hash/BLAKE2b.py:92:57 - error: Argument type is unknown
-     Argument corresponds to parameter "x" in function "c_size_t"
+     Argument corresponds to parameter "x" in function "c_size_t" (reportUnknownArgumentType)
-     Argument type is "Unknown" (reportUnknownArgumentType)
+   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/Hash/BLAKE2s.py:86:57 - error: Argument type is unknown
+     Argument corresponds to parameter "object" in function "__new__" (reportUnknownArgumentType)
-   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/Hash/BLAKE2s.py:92:57 - error: Argument type is partially unknown
+   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/Hash/BLAKE2s.py:92:57 - error: Argument type is unknown
-     Argument corresponds to parameter "x" in function "c_size_t"
+     Argument corresponds to parameter "x" in function "c_size_t" (reportUnknownArgumentType)
-     Argument type is "Unknown" (reportUnknownArgumentType)
-     Type of "run" is "(module: Unknown | None = None, verbosity: int = 0, stream: Unknown | None = None, tests: Unknown | None = None, config: Unknown | None = None, **kwargs: Unknown) -> TestResult" (reportUnknownMemberType)
+     Type of "run" is "(module: Unknown | None = None, verbosity: int = 0, stream: Unknown | None = None, tests: Unknown | None = None, config: Unknown | None = None, **kwargs: Unknown) -> TextTestResult[_WritelnDecorator]" (reportUnknownMemberType)
-   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/SelfTest/__main__.py:43:1 - error: Result of call expression is of type "TestResult" and is not used; assign to variable "_" if this is intentional (reportUnusedCallResult)
+   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/SelfTest/__main__.py:43:1 - error: Result of call expression is of type "TextTestResult[_WritelnDecorator]" and is not used; assign to variable "_" if this is intentional (reportUnusedCallResult)
-   /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_modexp.py:71:29 - error: Cannot access attribute "monty_pow" 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]"
+   /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/Util/number.py:301:32 - error: Argument type is partially unknown
+     Argument corresponds to parameter "obj" in function "len"
+     Argument type is "tuple[Unknown, ...]" (reportUnknownArgumentType)
+   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/Util/number.py:303:13 - error: Type of "prime" is unknown (reportUnknownVariableType)
-   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/Util/number.py:304:13 - error: Type of "offset" is Any (reportAny)
+   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/Util/number.py:304:13 - error: Type of "offset" is unknown (reportUnknownVariableType)
-   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/Util/number.py:305:33 - error: Argument type is Any
+   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/Util/number.py:305:33 - error: Argument type is unknown
-     Argument corresponds to parameter "start" in function "__new__" (reportAny)
+     Argument corresponds to parameter "start" in function "__new__" (reportUnknownArgumentType)
+   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/Util/number.py:305:72 - error: Argument type is unknown
+     Argument corresponds to parameter "step" in function "__new__" (reportUnknownArgumentType)
+   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/Util/number.py:337:13 - error: Type of "prime" is unknown (reportUnknownVariableType)
+   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/Util/number.py:392:9 - error: Type of "p" is unknown (reportUnknownVariableType)
+   /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/Util/number.py:524:1 - error: Type of "sieve_base" is partially unknown
+     Type of "sieve_base" is "tuple[Unknown, ...]" (reportUnknownVariableType)
- 22022 errors, 0 warnings, 0 notes
+ 22030 errors, 0 warnings, 0 notes

sympy (https://github.com/sympy/sympy)
-     Type of "to_cnf" is "(expr: Unknown, simplify: bool = False, force: bool = False) -> (Unknown | BooleanFunction | Or | LatticeOp*)" (reportUnknownVariableType)
+     Type of "to_cnf" is "(expr: Unknown, simplify: bool = False, force: bool = False) -> (Unknown | BooleanFunction | Or | And)" (reportUnknownVariableType)

... (truncated 3419 lines) ...```

@DetachHead DetachHead merged commit 370a431 into main Sep 10, 2024
19 checks passed
@DetachHead DetachHead deleted the merge-1.1.380 branch September 10, 2024 22:26
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