Merge 1.1.373 #518

DetachHead · 2024-07-24T06:17:37Z

No description provided.

… type is used in a type argument within a specialized type on the LHS of a call expression, such as `list[Annotated[int, ""]]()`. This addresses #8454. (#8455)

…nostic rule associated with them so their severity is under user control. This addresses #8453. (#8456)

…ional-flags" option in mypy_primer is broken.

… cases involving bidirectional type inference with TypeVarTuples. (#8461)

…tional type inference for a call expression where the expected type is a union. This addresses #8449 and #8463. (#8468)

…t syntax). This addresses #8470.

…nference for call expressions. (#8472)

…nch. (#8474)

…ing solved type variables for a type. (#8476)

…nd type variables. These should be illegal. This addresses #8479. (#8480)

…ble scopes. This is important for generic class implementations that call their own constructors. (#8482) This is a significant change with high potential for regressions. It addresses #8165, #7988, #7507, #7369.

…Is` form when the return type of the type guard function is a specialized generic class. This addresses #8460. (#8483)

…gnostic when the later overload includes a callback function with a TypeVar in a parameter type. This addresses #8465. (#8484)

…ubscripts and an entry with an indeterminate length. This addresses #8485. (#8486)

…at passes the same call as an argument. Simplified tracking of unique signatures within the code. This addresses #8047. (#8488)

…de with loops. There are rare circumstances that can cause types not to converge due to symbol dependencies and unstable overload resolution. This change adds a hard limit on the number of attempts to converge types in a loop before giving up. It addresses #8279. (#8491)

…ing.

…(#8495)

…non-experimental. This functionality has been approved by the typing council.

…lse negatives in some cases and produced bad error messages in other cases. This addresses #8501 and #8500. (#8502)

…in a closed TypedDict. This addresses #8503. (#8507)

…class parameterized by a ParamSpec has zero type arguments. This is a syntax error, but it shouldn't cause the type evaluator to crash.

… nominal classes rather than protocols. This assumption holds today, but it might not in the future, and the pattern matching logic shouldn't rely on it. (#8510)

…… (#8514) * Added support for auto-synthesized `__replace__` method in dataclass and namedtuple classes, a new feature in Python 3.13. This addresses #8300. * Fixed broken test on Linux due to file system case sensitivity.

# Conflicts: # packages/pyright-internal/src/analyzer/typeEvaluator.ts # packages/pyright-internal/src/analyzer/typeEvaluatorTypes.ts # packages/pyright/package-lock.json # packages/pyright/package.json # packages/vscode-pyright/package.json

…this was fixed upstream

…ecause a function that used to infer a type predicate was updated and now no longer does

…ged in upstream

github-actions · 2024-07-24T07:25:03Z

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

nionutils (https://github.com/nion-software/nionutils)
+   /tmp/mypy_primer/projects/nionutils/nion/utils/ListModel.py:954:57 - error: Argument type is partially unknown
+     Argument corresponds to parameter "iterable" in function "__init__"
+     Argument type is "enumerate[Unknown]" (reportUnknownArgumentType)
-   /tmp/mypy_primer/projects/nionutils/nion/utils/StructuredModel.py:104:16 - error: Return type is Any (reportAny)
-   /tmp/mypy_primer/projects/nionutils/nion/utils/StructuredModel.py:106:16 - error: Return type is Any (reportAny)
- 1444 errors, 0 warnings, 0 notes
+ 1443 errors, 0 warnings, 0 notes

pytest-robotframework (https://github.com/detachhead/pytest-robotframework)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:218:22 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:218:22 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:238:33 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:238:33 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:238:52 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:238:52 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:327:37 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:327:37 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:330:37 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:330:37 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:330:56 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:330:56 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:332:37 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:332:37 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:332:56 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:332:56 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:344:37 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:344:37 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:344:72 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:344:72 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:357:22 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:357:22 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:419:37 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:419:37 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:419:72 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:419:72 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:456:18 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:456:18 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:457:15 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:457:15 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:464:26 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:464:26 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:468:26 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:468:26 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:468:45 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:468:45 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:472:18 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:472:18 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:478:35 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:478:35 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:598:30 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:598:30 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:598:49 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/__init__.py:598:49 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/_internal/utils.py:18:46 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/_internal/utils.py:18:46 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/_internal/utils.py:18:53 - error: Last type argument for "Concatenate" must be a ParamSpec or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/_internal/utils.py:18:53 - error: Last type argument for "Concatenate" must be a ParamSpec or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/_internal/utils.py:18:71 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/_internal/utils.py:18:71 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/_internal/utils.py:36:53 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/_internal/utils.py:36:53 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/_internal/utils.py:36:60 - error: Last type argument for "Concatenate" must be a ParamSpec or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/_internal/utils.py:36:60 - error: Last type argument for "Concatenate" must be a ParamSpec or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/_internal/utils.py:36:80 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/_internal/utils.py:36:80 - error: Expected parameter type list or "..." (reportInvalidTypeForm)
-   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/_internal/utils.py:40:36 - error: Expected parameter type list or "..." (reportGeneralTypeIssues)
+   /tmp/mypy_primer/projects/pytest-robotframework/pytest_robotframework/_internal/utils.py:40:36 - error: Expected parameter type list or "..." (reportInvalidTypeForm)

... (truncated 14 lines) ...

anyio (https://github.com/agronholm/anyio)
-     Signature of __init__ is "(deadline: float = math.inf, shield: bool = False)"
+     Signature of __init__ is "(deadline: float = math.inf, shield: bool = False) -> None"
-     Signature of __new__ is "(..., deadline: float = math.inf, shield: bool = False)" (reportInconsistentConstructor)
+     Signature of __new__ is "(*, deadline: float = math.inf, shield: bool = False) -> CancelScope" (reportInconsistentConstructor)
-   /tmp/mypy_primer/projects/anyio/src/anyio/_backends/_asyncio.py:760:28 - error: Argument type is partially unknown
-     Argument corresponds to parameter "coro" in function "create_task"
-     Argument type is "CoroutineType[Unknown, Unknown, Any]" (reportUnknownArgumentType)
-   /tmp/mypy_primer/projects/anyio/src/anyio/_backends/_trio.py:171:38 - error: Type of "exc" is partially unknown
-     Type of "exc" is "BaseExceptionGroup[Unknown]" (reportUnknownVariableType)
-   /tmp/mypy_primer/projects/anyio/src/anyio/_backends/_trio.py:172:23 - error: Type of "split" is partially unknown
-     Type of "split" is "Overload[(condition: type[_ExceptionT@split] | tuple[type[_ExceptionT@split], ...], /) -> tuple[ExceptionGroup[_ExceptionT@split] | None, BaseExceptionGroup[Unknown] | None], (condition: type[_BaseExceptionT@split] | tuple[type[_BaseExceptionT@split], ...], /) -> tuple[BaseExceptionGroup[_BaseExceptionT@split] | None, BaseExceptionGroup[Unknown] | None], (condition: (Unknown | BaseExceptionGroup[Unknown]) -> bool, /) -> tuple[BaseExceptionGroup[Unknown] | None, BaseExceptionGroup[Unknown] | None]]" (reportUnknownMemberType)
-   /tmp/mypy_primer/projects/anyio/src/anyio/streams/file.py:43:60 - error: Return type of lambda is Any (reportAny)
- 1559 errors, 0 warnings, 0 notes
+ 1555 errors, 0 warnings, 0 notes

graphql-core (https://github.com/graphql-python/graphql-core)
-   /tmp/mypy_primer/projects/graphql-core/src/graphql/execution/execute.py:1847:32 - error: Return type is Any (reportAny)
-   /tmp/mypy_primer/projects/graphql-core/src/graphql/language/visitor.py:237:13 - error: Type of "idx" is Any (reportAny)
-   /tmp/mypy_primer/projects/graphql-core/src/graphql/language/visitor.py:237:19 - error: Type of "idx" is Any (reportAny)
-   /tmp/mypy_primer/projects/graphql-core/src/graphql/language/visitor.py:238:20 - error: Type of "keys" is Any (reportAny)
-   /tmp/mypy_primer/projects/graphql-core/src/graphql/language/visitor.py:239:21 - error: Type of "edits" is Any (reportAny)
-   /tmp/mypy_primer/projects/graphql-core/src/graphql/language/visitor.py:240:13 - error: Type of "in_array" is Any (reportAny)
-   /tmp/mypy_primer/projects/graphql-core/src/graphql/language/visitor.py:240:24 - error: Type of "in_array" is Any (reportAny)
-   /tmp/mypy_primer/projects/graphql-core/src/graphql/language/visitor.py:241:21 - error: Type of "prev" is Any (reportAny)
-   /tmp/mypy_primer/projects/graphql-core/src/graphql/language/visitor.py:245:24 - error: "__getitem__" method not defined on type "Node" (reportIndexIssue)
-   /tmp/mypy_primer/projects/graphql-core/src/graphql/language/visitor.py:245:24 - error: "__getitem__" method not defined on type "<subclass of VisitorActionEnum and Node>" (reportIndexIssue)
+   /tmp/mypy_primer/projects/graphql-core/src/graphql/language/visitor.py:248:32 - error: Argument type is Any
+     Argument corresponds to parameter "o" in function "getattr" (reportAny)
-   /tmp/mypy_primer/projects/graphql-core/src/graphql/language/visitor.py:273:21 - error: Result of call expression is of type "Any | None" and is not used; assign to variable "_" if this is intentional (reportUnusedCallResult)
+   /tmp/mypy_primer/projects/graphql-core/src/graphql/language/visitor.py:273:21 - error: Result of call expression is of type "Unknown | None" and is not used; assign to variable "_" if this is intentional (reportUnusedCallResult)
-   /tmp/mypy_primer/projects/graphql-core/src/graphql/language/visitor.py:284:13 - error: Result of call expression is of type "Any | None" and is not used; assign to variable "_" if this is intentional (reportUnusedCallResult)
+   /tmp/mypy_primer/projects/graphql-core/src/graphql/language/visitor.py:284:13 - error: Result of call expression is of type "Unknown | None" and is not used; assign to variable "_" if this is intentional (reportUnusedCallResult)
-   /tmp/mypy_primer/projects/graphql-core/src/graphql/language/visitor.py:292:20 - error: Expression of type "tuple[Unknown, ...] | Node | <subclass of VisitorActionEnum and Node> | Any | tuple[str, ...]" is incompatible with declared type "tuple[Node, ...]"
+   /tmp/mypy_primer/projects/graphql-core/src/graphql/language/visitor.py:292:20 - error: Expression of type "tuple[Unknown, ...] | Node | Any | tuple[str, ...]" is incompatible with declared type "tuple[Node, ...]"
-     Type "tuple[Unknown, ...] | Node | <subclass of VisitorActionEnum and Node> | Any | tuple[str, ...]" is incompatible with type "tuple[Node, ...]"
+     Type "tuple[Unknown, ...] | Node | Any | tuple[str, ...]" is incompatible with type "tuple[Node, ...]"
-   /tmp/mypy_primer/projects/graphql-core/src/graphql/language/visitor.py:303:16 - error: Return type is Any (reportAny)
+   /tmp/mypy_primer/projects/graphql-core/src/graphql/utilities/lexicographic_sort_schema.py:53:35 - error: Argument of type "GraphQLList[Unknown] | GraphQLNonNull[Unknown] | GraphQLNamedType" cannot be assigned to parameter "type_" of type "GNT_co@GraphQLNonNull" in function "__init__"
+     Type "GraphQLList[Unknown] | GraphQLNonNull[Unknown] | GraphQLNamedType" is incompatible with type "GraphQLNullableType" (reportArgumentType)
- 1849 errors, 0 warnings, 0 notes
+ 1840 errors, 0 warnings, 0 notes

SinbadCogs (https://github.com/mikeshardmind/SinbadCogs)
-   /tmp/mypy_primer/projects/SinbadCogs/channelredirect/converters.py:29:24 - error: Argument type is unknown
-     Argument corresponds to parameter "com" in function "__new__" (reportUnknownArgumentType)
-   /tmp/mypy_primer/projects/SinbadCogs/channelredirect/converters.py:42:35 - error: Argument type is unknown
-     Argument corresponds to parameter "obj" in function "__new__" (reportUnknownArgumentType)
-   /tmp/mypy_primer/projects/SinbadCogs/channelredirect/converters.py:45:31 - error: Argument type is unknown
-     Argument corresponds to parameter "obj" in function "__new__" (reportUnknownArgumentType)
-     Argument type is "tuple[Any, SimpleQueue[Unknown], (...) -> Unknown, tuple[Unknown, ...]]" (reportUnknownArgumentType)
+     Argument type is "tuple[ReferenceType[Self@NoAtExitExecutor], SimpleQueue[Unknown], (...) -> Unknown, tuple[Unknown, ...]]" (reportUnknownArgumentType)
+   /tmp/mypy_primer/projects/SinbadCogs/embedmaker/time_utils.py:53:48 - error: No overloads for "__init__" match the provided arguments (reportCallIssue)
-   /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[bytes, bytes]" cannot be assigned to parameter "tzinfos" of type "_TzInfo | None" in function "parse"
-     Type "dict[str | None, tzinfo]" is incompatible with type "_TzInfo | None"
+     Type "dict[bytes, bytes]" is incompatible with type "_TzInfo | None"
-       "dict[str | None, tzinfo]" is incompatible with "Mapping[str, _TzData]"
+       "dict[bytes, bytes]" is incompatible with "Mapping[str, _TzData]"
-         Type parameter "_KT@Mapping" is invariant, but "str | None" is not the same as "str"
+         Type parameter "_KT@Mapping" is invariant, but "bytes" is not the same as "str"
-       Type "dict[str | None, tzinfo]" is incompatible with type "(str, int) -> _TzData"
+         Type parameter "_VT_co@Mapping" is covariant, but "bytes" is not a subtype of "_TzData"
+           Type "bytes" is incompatible with type "_TzData"
+             "bytes" is incompatible with "tzinfo"
+             "bytes" is incompatible with "int"
+             "bytes" is incompatible with "str"
+     ... (reportArgumentType)
+   /tmp/mypy_primer/projects/SinbadCogs/embedmaker/time_utils.py:53:53 - error: Argument of type "Generator[tuple[str | None, tzinfo], Any, None]" cannot be assigned to parameter "iterable" of type "Iterable[list[bytes]]" in function "__init__"
+     "Generator[tuple[str | None, tzinfo], Any, None]" is incompatible with "Iterable[list[bytes]]"
+       Type parameter "_T_co@Iterable" is covariant, but "tuple[str | None, tzinfo]" is not a subtype of "list[bytes]"
-       "dict[str | None, tzinfo]" is incompatible with "None" (reportArgumentType)
+         "tuple[str | None, tzinfo]" is incompatible with "list[bytes]" (reportArgumentType)
-   /tmp/mypy_primer/projects/SinbadCogs/modnotes/converters.py:36:24 - error: Argument type is unknown
-     Argument corresponds to parameter "member" in function "__new__" (reportUnknownArgumentType)
-   /tmp/mypy_primer/projects/SinbadCogs/modnotes/converters.py:36:27 - error: Argument type is unknown
-     Argument corresponds to parameter "id" in function "__new__" (reportUnknownArgumentType)
-   /tmp/mypy_primer/projects/SinbadCogs/quotetools/quotetools.py:48:20 - error: Argument type is unknown
-     Argument corresponds to parameter "matched_channel" in function "__new__" (reportUnknownArgumentType)
-   /tmp/mypy_primer/projects/SinbadCogs/rolemanagement/converters.py:331:20 - error: Argument type is Any
-     Argument corresponds to parameter "self_role" in function "__new__" (reportAny)
-   /tmp/mypy_primer/projects/SinbadCogs/rolemanagement/converters.py:331:36 - error: Argument type is Any
-     Argument corresponds to parameter "self_removable" in function "__new__" (reportAny)
-   /tmp/mypy_primer/projects/SinbadCogs/rolemanagement/converters.py:331:52 - error: Argument type is Any
-     Argument corresponds to parameter "sticky" in function "__new__" (reportAny)
+   /tmp/mypy_primer/projects/SinbadCogs/scheduler/message.py:105:13 - error: Argument type is partially unknown
+     Argument corresponds to parameter "iterable" in function "__init__"
+     Argument type is "filter[Unknown]" (reportUnknownArgumentType)
+   /tmp/mypy_primer/projects/SinbadCogs/scheduler/message.py:108:13 - error: Argument type is partially unknown
+     Argument corresponds to parameter "iterable" in function "__init__"
+     Argument type is "filter[Unknown]" (reportUnknownArgumentType)
+   /tmp/mypy_primer/projects/SinbadCogs/scheduler/message.py:117:13 - error: Argument type is partially unknown
+     Argument corresponds to parameter "iterable" in function "__init__"
+     Argument type is "filter[Unknown]" (reportUnknownArgumentType)
+   /tmp/mypy_primer/projects/SinbadCogs/scheduler/time_utils.py:53:48 - error: No overloads for "__init__" match the provided arguments (reportCallIssue)
-   /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[bytes, bytes]" cannot be assigned to parameter "tzinfos" of type "_TzInfo | None" in function "parse"
-     Type "dict[str | None, tzinfo]" is incompatible with type "_TzInfo | None"
+     Type "dict[bytes, bytes]" is incompatible with type "_TzInfo | None"
-       "dict[str | None, tzinfo]" is incompatible with "Mapping[str, _TzData]"
+       "dict[bytes, bytes]" is incompatible with "Mapping[str, _TzData]"
-         Type parameter "_KT@Mapping" is invariant, but "str | None" is not the same as "str"
+         Type parameter "_KT@Mapping" is invariant, but "bytes" is not the same as "str"
-       Type "dict[str | None, tzinfo]" is incompatible with type "(str, int) -> _TzData"
+         Type parameter "_VT_co@Mapping" is covariant, but "bytes" is not a subtype of "_TzData"
+           Type "bytes" is incompatible with type "_TzData"
+             "bytes" is incompatible with "tzinfo"
+             "bytes" is incompatible with "int"
+             "bytes" is incompatible with "str"
+     ... (reportArgumentType)
+   /tmp/mypy_primer/projects/SinbadCogs/scheduler/time_utils.py:53:53 - error: Argument of type "Generator[tuple[str | None, tzinfo], Any, None]" cannot be assigned to parameter "iterable" of type "Iterable[list[bytes]]" in function "__init__"
+     "Generator[tuple[str | None, tzinfo], Any, None]" is incompatible with "Iterable[list[bytes]]"
+       Type parameter "_T_co@Iterable" is covariant, but "tuple[str | None, tzinfo]" is not a subtype of "list[bytes]"
-       "dict[str | None, tzinfo]" is incompatible with "None" (reportArgumentType)
+         "tuple[str | None, tzinfo]" is incompatible with "list[bytes]" (reportArgumentType)
- 6749 errors, 0 warnings, 0 notes
+ 6747 errors, 0 warnings, 0 notes

bandersnatch (https://github.com/pypa/bandersnatch)
+   /tmp/mypy_primer/projects/bandersnatch/src/bandersnatch_filter_plugins/allowlist_name.py:203:21 - error: Argument type is partially unknown
+     Argument corresponds to parameter "iterable" in function "__init__"
+     Argument type is "set[Unknown]" (reportUnknownArgumentType)
+   /tmp/mypy_primer/projects/bandersnatch/src/bandersnatch_filter_plugins/allowlist_name.py:285:21 - error: Argument type is partially unknown
+     Argument corresponds to parameter "iterable" in function "__init__"
+     Argument type is "set[Unknown]" (reportUnknownArgumentType)
+   /tmp/mypy_primer/projects/bandersnatch/src/bandersnatch_filter_plugins/blocklist_name.py:138:21 - error: Argument type is partially unknown
+     Argument corresponds to parameter "iterable" in function "__init__"
+     Argument type is "set[Unknown]" (reportUnknownArgumentType)
-     Type of "open" is "Unknown | Overload[(mode: Literal['r+', '+r', 'rt+', 'r+t', '+rt', 'tr+', 't+r', '+tr', 'w+', '+w', 'wt+', 'w+t', '+wt', 'tw+', 't+w', '+tw', 'a+', '+a', 'at+', 'a+t', '+at', 'ta+', 't+a', '+ta', 'x+', '+x', 'xt+', 'x+t', '+xt', 'tx+', 't+x', '+tx', 'w', 'wt', 'tw', 'a', 'at', 'ta', 'x', 'xt', 'tx', 'r', 'rt', 'tr', 'U', 'rU', 'Ur', 'rtU', 'rUt', 'Urt', 'trU', 'tUr', 'Utr'] = "r", buffering: int = -1, encoding: str | None = None, errors: str | None = None, newline: str | None = None) -> TextIOWrapper, (mode: Literal['rb+', 'r+b', '+rb', 'br+', 'b+r', '+br', 'wb+', 'w+b', '+wb', 'bw+', 'b+w', '+bw', 'ab+', 'a+b', '+ab', 'ba+', 'b+a', '+ba', 'xb+', 'x+b', '+xb', 'bx+', 'b+x', '+bx', 'rb', 'br', 'rbU', 'rUb', 'Urb', 'brU', 'bUr', 'Ubr', 'wb', 'bw', 'ab', 'ba', 'xb', 'bx'], buffering: Literal[0], encoding: None = None, errors: None = None, newline: None = None) -> FileIO, (mode: Literal['rb+', 'r+b', '+rb', 'br+', 'b+r', '+br', 'wb+', 'w+b', '+wb', 'bw+', 'b+w', '+bw', 'ab+', 'a+b', '+ab', 'ba+', 'b+a', '+ba', 'xb+', 'x+b', '+xb', 'bx+', 'b+x', '+bx'], buffering: Literal[-1, 1] = -1, encoding: None = None, errors: None = None, newline: None = None) -> BufferedRandom, (mode: Literal['wb', 'bw', 'ab', 'ba', 'xb', 'bx'], buffering: Literal[-1, 1] = -1, encoding: None = None, errors: None = None, newline: None = None) -> BufferedWriter, (mode: Literal['rb', 'br', 'rbU', 'rUb', 'Urb', 'brU', 'bUr', 'Ubr'], buffering: Literal[-1, 1] = -1, encoding: None = None, errors: None = None, newline: None = None) -> BufferedReader, (mode: Literal['rb+', 'r+b', '+rb', 'br+', 'b+r', '+br', 'wb+', 'w+b', '+wb', 'bw+', 'b+w', '+bw', 'ab+', 'a+b', '+ab', 'ba+', 'b+a', '+ba', 'xb+', 'x+b', '+xb', 'bx+', 'b+x', '+bx', 'rb', 'br', 'rbU', 'rUb', 'Urb', 'brU', 'bUr', 'Ubr', 'wb', 'bw', 'ab', 'ba', 'xb', 'bx'], buffering: int = -1, encoding: None = None, errors: None = None, newline: None = None) -> BinaryIO, (mode: str, buffering: int = -1, encoding: str | None = None, errors: str | None = None, newline: str | None = None) -> IO[Any]]" (reportUnknownMemberType)
+     Type of "open" is "Unknown | Overload[(mode: Literal['r+', '+r', 'rt+', 'r+t', '+rt', 'tr+', 't+r', '+tr', 'w+', '+w', 'wt+', 'w+t', '+wt', 'tw+', 't+w', '+tw', 'a+', '+a', 'at+', 'a+t', '+at', 'ta+', 't+a', '+ta', 'x+', '+x', 'xt+', 'x+t', '+xt', 'tx+', 't+x', '+tx', 'w', 'wt', 'tw', 'a', 'at', 'ta', 'x', 'xt', 'tx', 'r', 'rt', 'tr', 'U', 'rU', 'Ur', 'rtU', 'rUt', 'Urt', 'trU', 'tUr', 'Utr'] = "r", buffering: int = -1, encoding: str | None = None, errors: str | None = None, newline: str | None = None) -> TextIOWrapper[_WrappedBuffer], (mode: Literal['rb+', 'r+b', '+rb', 'br+', 'b+r', '+br', 'wb+', 'w+b', '+wb', 'bw+', 'b+w', '+bw', 'ab+', 'a+b', '+ab', 'ba+', 'b+a', '+ba', 'xb+', 'x+b', '+xb', 'bx+', 'b+x', '+bx', 'rb', 'br', 'rbU', 'rUb', 'Urb', 'brU', 'bUr', 'Ubr', 'wb', 'bw', 'ab', 'ba', 'xb', 'bx'], buffering: Literal[0], encoding: None = None, errors: None = None, newline: None = None) -> FileIO, (mode: Literal['rb+', 'r+b', '+rb', 'br+', 'b+r', '+br', 'wb+', 'w+b', '+wb', 'bw+', 'b+w', '+bw', 'ab+', 'a+b', '+ab', 'ba+', 'b+a', '+ba', 'xb+', 'x+b', '+xb', 'bx+', 'b+x', '+bx'], buffering: Literal[-1, 1] = -1, encoding: None = None, errors: None = None, newline: None = None) -> BufferedRandom, (mode: Literal['wb', 'bw', 'ab', 'ba', 'xb', 'bx'], buffering: Literal[-1, 1] = -1, encoding: None = None, errors: None = None, newline: None = None) -> BufferedWriter, (mode: Literal['rb', 'br', 'rbU', 'rUb', 'Urb', 'brU', 'bUr', 'Ubr'], buffering: Literal[-1, 1] = -1, encoding: None = None, errors: None = None, newline: None = None) -> BufferedReader, (mode: Literal['rb+', 'r+b', '+rb', 'br+', 'b+r', '+br', 'wb+', 'w+b', '+wb', 'bw+', 'b+w', '+bw', 'ab+', 'a+b', '+ab', 'ba+', 'b+a', '+ba', 'xb+', 'x+b', '+xb', 'bx+', 'b+x', '+bx', 'rb', 'br', 'rbU', 'rUb', 'Urb', 'brU', 'bUr', 'Ubr', 'wb', 'bw', 'ab', 'ba', 'xb', 'bx'], buffering: int = -1, encoding: None = None, errors: None = None, newline: None = None) -> BinaryIO, (mode: str, buffering: int = -1, encoding: str | None = None, errors: str | None = None, newline: str | None = None) -> IO[Any]]" (reportUnknownMemberType)

... (truncated 4202 lines) ...```

erictraut added 30 commits July 17, 2024 11:57

Fixed regression that results in a false positive when an Annotated…

60c3b16

… type is used in a type argument within a specialized type on the LHS of a call expression, such as `list[Annotated[int, ""]]()`. This addresses #8454. (#8455)

Changed all diagnostic generated in the type evaluator to have a diag…

25cfdf7

…nostic rule associated with them so their severity is under user control. This addresses #8453. (#8456)

Added "--threads" option to mypy_primer to speed up CI actions.

045753f

Another try at passing the "--threads" flag to mypy_primer.

1572f63

Another try to pass "--threads" to mypy_primer.

54b2ebc

One more try

495ce99

Reverting change for mypy_primer script. It appears that the "--addit…

c29e81d

…ional-flags" option in mypy_primer is broken.

Fixed a bug that results in incorrect type evaluation in certain edge…

c116e6a

… cases involving bidirectional type inference with TypeVarTuples. (#8461)

Fixed a bug that results in a false positive error when using bidirec…

1d9b8b5

…tional type inference for a call expression where the expected type is a union. This addresses #8449 and #8463. (#8468)

Added provisional support for draft PEP 736 (keyword argument shortcu…

42c379b

…t syntax). This addresses #8470.

Added a small optimization for the previous change to bidirectional i…

c6a449d

…nference for call expressions. (#8472)

Added some additional improvements and tests from another working bra…

f4ac69b

…nch. (#8474)

Changed internal behavior to retain type alias information when apply…

20d985f

…ing solved type variables for a type. (#8476)

Added check for class attribute type declarations that use method-bou…

90b1bfb

…nd type variables. These should be illegal. This addresses #8479. (#8480)

Fixed a bug that results in incorrect type narrowing when using `Type…

405e628

…Is` form when the return type of the type guard function is a specialized generic class. This addresses #8460. (#8483)

Fixed bug that results in a false positive "overlapping overload" dia…

7554fea

…gnostic when the later overload includes a callback function with a TypeVar in a parameter type. This addresses #8465. (#8484)

Improved type evaluation for tuples index expressions with negative s…

0eeffb0

…ubscripts and an entry with an indeterminate length. This addresses #8485. (#8486)

Fixed bug that resulted in an infinite loop when evaluating a call th…

3b5aba3

…at passes the same call as an argument. Simplified tracking of unique signatures within the code. This addresses #8047. (#8488)

Removed recently-added finally because it gets in the way of debugg…

3f4235e

…ing.

Simplified check of the __init__ method by leveraging common code. …

7434085

…(#8495)

Added test case for #8494, which was already fixed by a previous commit.

bf4c521

Made support for "converter" parameter in dataclass_transform fields …

c2a1d6a

…non-experimental. This functionality has been approved by the typing council.

Shortened some internal names for readability. No functional change.

79959e7

Removed redundant assignment flag. (#8499)

e812172

Fixed issues with the reportInconsistentConstructor. It produced fa…

b9d2568

…lse negatives in some cases and produced bad error messages in other cases. This addresses #8501 and #8500. (#8502)

Added support for bidirectional type inference for __extra_types__ …

616b2a5

…in a closed TypedDict. This addresses #8503. (#8507)

Fixed bug that results in a crash if an explicit specialization of a …

ea8188f

…class parameterized by a ParamSpec has zero type arguments. This is a syntax error, but it shouldn't cause the type evaluator to crash.

Eliminated a fragile assumption that Sequence and MutableSequence are…

408b20b

… nominal classes rather than protocols. This assumption holds today, but it might not in the future, and the pattern matching logic shouldn't rely on it. (#8510)

erictraut and others added 8 commits July 22, 2024 20:57

Updated typeshed stubs to the latest version. (#8512)

39757e4

Published 1.1.373

258e275

remove section in readme about diagnostics without error codes since …

e40bd10

…this was fixed upstream

fix fail moments from merge

8218439

revert an assertNever that i added when bumping typescript to 5.5 b…

e4b07cb

…ecause a function that used to infer a type predicate was updated and now no longer does

fix subscript AbstractContextManager test since its error code chan…

50f7994

…ged in upstream

DetachHead merged commit 50f7994 into main Jul 24, 2024
19 checks passed

DetachHead deleted the merge-1.1.373 branch July 24, 2024 08:13

DetachHead temporarily deployed to github-pages July 24, 2024 08:13 — with GitHub Actions Inactive

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Merge 1.1.373 #518

Merge 1.1.373 #518

DetachHead commented Jul 24, 2024

github-actions bot commented Jul 24, 2024

Merge 1.1.373 #518

Merge 1.1.373 #518

Conversation

DetachHead commented Jul 24, 2024

github-actions bot commented Jul 24, 2024