Merge 1.1.374 #533
Merged
Merge 1.1.374 #533
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Owner
DetachHead
commented
Jul 31, 2024
•
DetachHead
commented
- fixes merge 1.1.374 #528
- fixes pyright thinks that classes can never be iterators #512
- fixes function that takes 2 generics fails to narrow when return type is a union of those generics and it's assigned to a variabe with type annotation #521
- partially addreses equality checks should narrow tuple types #347
…peIs[T]`, `TypeGuard[T]` and `bool` when used in a return type of a callable. This addresses #8521. (#8523)
…ript (i.e. `Optional[]`). This addresses #8524.
…bject` and the first argument is a `type` instance. This addresses #8520. (#8527)
… corrupt builtins.pyi stub. This addresses #8509.
…s that displayed either the `__init__` or `__new__` signature with a mechanism that uses the recently-ratified typing spec algorithm for converting a constructor into a callable. This is prompted in part by [this discussion](https://discuss.python.org/t/copying-signature-of-init-to-a-mixin-class-method/58907/2).
…arrowing when the filter class and the type are both protocols. This addresses #8518. (#8529)
…init__` method is given an explicit `Self` annotation. This addresses #8532. (#8533)
…valuating certain nested constructor calls when used with bidirectional type inference. This addresses #8519. (#8535)
…ults to enforce type expression evaluation rules, consistent with the typing spec. (#8536)
…neric class that does not conform to type expression rules (e.g. `list[1 + 2]`) if the expression is a value expression. This addresses #8534. (#8537)
* push pylance to pyright 3 * change config change back * dont run some tests in real venv
…ther configuration options that affect type analysis.
…ble based on type information and non-type information. (#8541)
…ute. This should be considered invalid. This addresses #8543. (#8544)
…its `__iter__` method. (#8545)
…off by default when `typeCheckingMode` is "off" but otherwise on by default. When disabled, it causes pyright not to identify code blocks that are determined to be unreachable via type analysis. Code blocks that are determined to be unreachable via non-type information are still displayed as such. (#8546)
…ion when the subject is a tuple whose entries are union types. This addresses #8516, #4995, #6437, and #7472. (#8547)
…certain circumstances when yield expression includes a call to a constructor. This addresses #8552. (#8553)
…r when the overloads return `TypeIs` or `TypeGuard` and the implementation returns `bool`. This addresses #8521. (#8556)
… type narrowing. No functional change.
…used in conjunction with `TypeIs`. This addresses #8554. (#8559)
…nstance` type narrowing results in an intersection type. (#8564)
…type `T` over `type[T`]` when both are valid. (#8579)
…type is a TypeVar and the function falls through and implicitly returns a `None`. (#8581)
…uctor within a class that has unannotated `__init__` or `__new__` method parameters. (#8582)
…8590) Improved handling of type variable matching when a callee's parameter is a union of two or more "naked" type variables (like `S | T`).
…es". No functional change.
…pectively. This terminology is more reflective of their true meaning. No functional change. (#8595)
…600) This addresses #8301 and #5855.
…ances when solving type variables that involve literal values. This addresses #8133 and #8048. (#8603)
…form of `super()` outside of a class. This addresses #8604. (#8611)
…e expression form is used within a PEP 695 constrained TypeVar definition.
* Renamed TypeVarContext to ConstraintTracker in preparation for further refactoring. No functional change. * Did some code cleanup in the constraint solver module.
…sis` is discouraged
This comment has been minimized.
This comment has been minimized.
|
Diff from mypy_primer, showing the effect of this PR on open source code: graphql-core (https://github.com/graphql-python/graphql-core)
- /tmp/mypy_primer/projects/graphql-core/src/graphql/error/graphql_error.py:121:16 - error: Expression of type "(self: Exception) -> int" is incompatible with declared type "(self: Self@object) -> int"
- Type "(self: Exception) -> int" is incompatible with type "(self: Self@object) -> int"
- Parameter 1: type "Self@object" is incompatible with type "Exception"
- "object*" is incompatible with "Exception" (reportAssignmentType)
- "Awaitable[Unknown]" is incompatible with "Generator[Any, None, _T@create_task]"
+ "Awaitable[Unknown]" is incompatible with "Coroutine[Any, Any, _T@create_task]"
- "Awaitable[Unknown]" is incompatible with "Coroutine[Any, Any, _T@create_task]" (reportArgumentType)
+ "Awaitable[Unknown]" is incompatible with "Generator[Any, None, _T@create_task]" (reportArgumentType)
- /tmp/mypy_primer/projects/graphql-core/src/graphql/type/definition.py:802:17 - error: Argument of type "ThunkCollection[GraphQLInterfaceType] | None" cannot be assigned to parameter "thunk" of type "Thunk[T@resolve_thunk]" in function "resolve_thunk" (reportArgumentType)
+ /tmp/mypy_primer/projects/graphql-core/src/graphql/type/definition.py:801:60 - error: Expression of type "Collection[GraphQLInterfaceType] | None" is incompatible with declared type "Collection[GraphQLInterfaceType]"
+ Type "Collection[GraphQLInterfaceType] | None" is incompatible with type "Collection[GraphQLInterfaceType]"
+ "None" is incompatible with protocol "Collection[GraphQLInterfaceType]"
+ "__len__" is not present
+ "__iter__" is not present
+ "__contains__" is not present (reportAssignmentType)
- /tmp/mypy_primer/projects/graphql-core/src/graphql/type/definition.py:907:17 - error: Argument of type "ThunkCollection[GraphQLInterfaceType] | None" cannot be assigned to parameter "thunk" of type "Thunk[T@resolve_thunk]" in function "resolve_thunk" (reportArgumentType)
+ /tmp/mypy_primer/projects/graphql-core/src/graphql/type/definition.py:906:60 - error: Expression of type "Collection[GraphQLInterfaceType] | None" is incompatible with declared type "Collection[GraphQLInterfaceType]"
+ Type "Collection[GraphQLInterfaceType] | None" is incompatible with type "Collection[GraphQLInterfaceType]"
+ "None" is incompatible with protocol "Collection[GraphQLInterfaceType]"
+ "__len__" is not present
+ "__iter__" is not present
+ "__contains__" is not present (reportAssignmentType)
- "GraphQLNamedType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLNamedType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- "GraphQLNamedType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLNamedType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- "GraphQLNamedType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLNamedType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- "GraphQLNamedType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLNamedType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- "GraphQLNamedType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLNamedType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- "GraphQLNamedType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLNamedType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- "GraphQLNamedType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLNamedType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- "GraphQLNamedType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLNamedType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- "GraphQLNamedType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLNamedType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- "GraphQLNamedType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLNamedType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- "GraphQLNamedType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLNamedType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- "GraphQLNamedType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLNamedType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- "GraphQLNamedType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLNamedType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- "GraphQLNamedType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLNamedType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- "GraphQLNamedType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLNamedType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- "GraphQLType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- "GraphQLNamedType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLNamedType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- "GraphQLNamedType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLNamedType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- "GraphQLNamedType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLNamedType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- "GraphQLNamedType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLNamedType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- "GraphQLNamedType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLNamedType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- "GraphQLNamedType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLNamedType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- "GraphQLNamedType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLNamedType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- "GraphQLNamedType" is incompatible with "GraphQLInputObjectType" (reportArgumentType)
+ "GraphQLNamedType" is incompatible with "GraphQLInputObjectType"
+ ... (reportArgumentType)
- 1840 errors, 0 warnings, 0 notes
+ 1839 errors, 0 warnings, 0 notes
anyio (https://github.com/agronholm/anyio)
- /tmp/mypy_primer/projects/anyio/src/anyio/lowlevel.py:139:29 - error: Argument of type "Self@RunVar[T@RunVar]" cannot be assigned to parameter "var" of type "RunVar[T@RunvarToken]" in function "__init__"
- "RunVar[T@RunVar]*" is incompatible with "RunVar[_NoValueSet | T@RunVar]"
- Type parameter "T@RunVar" is invariant, but "T@RunVar" is not the same as "_NoValueSet | T@RunVar" (reportArgumentType)
- /tmp/mypy_primer/projects/anyio/src/anyio/lowlevel.py:141:16 - error: Expression of type "RunvarToken[_NoValueSet | T@RunVar]" is incompatible with return type "RunvarToken[T@RunVar]"
- "RunvarToken[_NoValueSet | T@RunVar]" is incompatible with "RunvarToken[T@RunVar]"
- Type parameter "T@RunvarToken" is invariant, but "_NoValueSet | T@RunVar" is not the same as "T@RunVar" (reportReturnType)
- 1555 errors, 0 warnings, 0 notes
+ 1553 errors, 0 warnings, 0 notes
pycryptodome (https://github.com/Legrandin/pycryptodome)
+ /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/Math/_IntegerNative.py:324:35 - error: Argument of type "IntegerBase | int" cannot be assigned to parameter "x" of type "int" in function "GCD"
+ Type "IntegerBase | int" is incompatible with type "int"
+ "IntegerBase" is incompatible with "int" (reportArgumentType)
+ /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/Math/_IntegerNative.py:324:39 - error: Argument type is partially unknown
+ Argument corresponds to parameter "x" in function "abs"
+ Argument type is "Unknown | IntegerBase | int | Any" (reportUnknownArgumentType)
- /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/Math/_IntegerNative.py:324:39 - error: Argument of type "Unknown | IntegerBase | int | Any" cannot be assigned to parameter "x" of type "SupportsAbs[_T@abs]" in function "abs"
- Type "Unknown | IntegerBase | int | Any" is incompatible with type "SupportsAbs[int]"
- "IntegerBase" is incompatible with protocol "SupportsAbs[int]"
- "__abs__" is an incompatible type
- Type "() -> IntegerBase" is incompatible with type "() -> _T_co@SupportsAbs"
- Function return type "IntegerBase" is incompatible with type "_T_co@SupportsAbs" (reportArgumentType)
- Operator "//" not supported for types "int" and "IntegerBase" when expected type is "SupportsAbs[IntegerBase]" (reportOperatorIssue)
+ Operator "//" not supported for types "int" and "IntegerBase" when expected type is "SupportsAbs[IntegerBase | int]" (reportOperatorIssue)
+ /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/Math/_IntegerNative.py:330:35 - error: Argument type is partially unknown
+ Argument corresponds to parameter "x" in function "abs"
+ Argument type is "Unknown | IntegerBase | Any | int" (reportUnknownArgumentType)
- /tmp/mypy_primer/projects/pycryptodome/lib/Crypto/Math/_IntegerNative.py:330:35 - error: Argument of type "Unknown | IntegerBase | Any | int" cannot be assigned to parameter "x" of type "SupportsAbs[_T@abs]" in function "abs"
- Type "Unknown | IntegerBase | Any | int" is incompatible with type "SupportsAbs[IntegerBase]"
- "int" is incompatible with protocol "SupportsAbs[IntegerBase]"
- "__abs__" is an incompatible type
- Type "() -> int" is incompatible with type "() -> _T_co@SupportsAbs"
- Function return type "int" is incompatible with type "_T_co@SupportsAbs" (reportArgumentType)
- 21475 errors, 0 warnings, 0 notes
+ 21476 errors, 0 warnings, 0 notes
mypy (https://github.com/python/mypy)
+ /tmp/mypy_primer/projects/mypy/mypy/constant_fold.py:184:17 - error: The method "__invert__" in class "bool" is deprecated
+ Will throw an error in Python 3.14. Use `not` for logical negation of bools instead. (reportDeprecated)
- /tmp/mypy_primer/projects/mypy/mypy/util.py:379:39 - error: Type of "y" is Any (reportAny)
- /tmp/mypy_primer/projects/mypy/mypy/typeshed/stdlib/builtins.pyi:103:31 - error: Property setter value type is not assignable to the getter return type
- Type "type[object]" is incompatible with type "type[Self@object]" (reportPropertyTypeMismatch)
- /tmp/mypy_primer/projects/mypy/mypy/typeshed/stdlib/shelve.pyi:25:9 - error: Method "get" overrides class "Mapping" in an incompatible manner
- Override does not handle all overloads of base method (reportIncompatibleMethodOverride)
- Parameter 3 type mismatch: base parameter is type "None", override parameter is type "_VT@WeakValueDictionary"
- Parameter 3 mismatch: base parameter has default argument value, override parameter does not
+ Parameter 3 mismatch: base parameter has default argument value, override parameter does not (reportIncompatibleMethodOverride)
- Type "None" is incompatible with type "_VT@WeakValueDictionary" (reportIncompatibleMethodOverride)
- Return type mismatch: base method returns type "dict[_T@Counter, int]", override returns type "Counter[_T@Counter | _S@__or__]"
- "dict[_T@Counter, int]" is incompatible with "Counter[_S@__or__]"
+ "dict[_T@Counter, int]" is incompatible with "Counter[_S@__or__]" (reportIncompatibleMethodOverride)
- "Counter[_T@Counter | _S@__or__]" is incompatible with "dict[_T@Counter, int]"
- Type parameter "_KT@dict" is invariant, but "_T@Counter | _S@__or__" is not the same as "_T@Counter" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/mypy/mypy/typeshed/stdlib/multiprocessing/context.pyi:83:9 - error: Overload 1 for "Value" overlaps overload 3 and returns an incompatible type (reportOverlappingOverload)
- Type "None" is incompatible with type "AnyStr@_Environ" (reportIncompatibleMethodOverride)
+ Type "None" is incompatible with constrained type variable "AnyStr" (reportIncompatibleMethodOverride)
- /tmp/mypy_primer/projects/mypy/mypy/typeshed/stdlib/unittest/mock.pyi:275:9 - error: Method "__call__" overrides class "_patch" in an incompatible manner
- Override does not handle all overloads of base method (reportIncompatibleMethodOverride)
- /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/ir.py:252:45 - error: Expression of type "EllipsisType" cannot be assigned to parameter of type "_V@dict"
- Type "EllipsisType" is incompatible with type "_V@dict" (reportArgumentType)
- /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:48:17 - error: Expected class but received "int" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:48:17 - error: "__getitem__" method not defined on type "int" (reportIndexIssue)
- /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:54:13 - error: Expected class but received "int" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:54:13 - error: Argument to class must be a base class (reportGeneralTypeIssues)
- /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:59:16 - error: Expected class but received "int" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:59:16 - error: "__getitem__" method not defined on type "int" (reportIndexIssue)
- /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:64:32 - error: Expected class but received "int" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:64:32 - error: Argument to class must be a base class (reportGeneralTypeIssues)
- /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:68:30 - error: Expected class but received "int" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:68:30 - error: "__getitem__" method not defined on type "int" (reportIndexIssue)
- /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:81:40 - error: Expected class but received "int" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:81:40 - error: "__getitem__" method not defined on type "int" (reportIndexIssue)
- /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:98:17 - error: Expected class but received "int" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:98:17 - error: "__getitem__" method not defined on type "int" (reportIndexIssue)
- /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:102:60 - error: Expected class but received "int" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:102:60 - error: "__getitem__" method not defined on type "int" (reportIndexIssue)
- /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:105:31 - error: Expected class but received "int" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:105:31 - error: "__getitem__" method not defined on type "int" (reportIndexIssue)
- /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:116:21 - error: Expected class but received "int" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:116:21 - error: "__getitem__" method not defined on type "int" (reportIndexIssue)
- /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:121:39 - error: Expected class but received "int" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:121:39 - error: Argument to class must be a base class (reportGeneralTypeIssues)
- /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:130:28 - error: Expected class but received "int" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:130:28 - error: "__getitem__" method not defined on type "int" (reportIndexIssue)
- /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:145:19 - error: Expected class but received "int" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:145:19 - error: Argument to class must be a base class (reportGeneralTypeIssues)
- /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:148:21 - error: Expected class but received "int" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:148:21 - error: Argument to class must be a base class (reportGeneralTypeIssues)
- /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:154:22 - error: Expected class but received "int" (reportGeneralTypeIssues)
+ /tmp/mypy_primer/projects/mypy/mypyc/test-data/fixtures/typing-full.pyi:154:22 - error: "__getitem__" method not defined on type "int" (reportIndexIssue)
- 15817 errors, 0 warnings, 0 notes
+ 15814 errors, 0 warnings, 0 notes
SinbadCogs (https://github.com/mikeshardmind/SinbadCogs)
- /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[bytes, bytes]" 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 | None" in function "parse"
- Type "dict[bytes, bytes]" is incompatible with type "_TzInfo | None"
+ Type "dict[str | None, tzinfo]" is incompatible with type "_TzInfo | None"
- "dict[bytes, bytes]" is incompatible with "Mapping[str, _TzData]"
+ "dict[str | None, tzinfo]" is incompatible with "Mapping[str, _TzData]"
- Type parameter "_KT@Mapping" is invariant, but "bytes" is not the same as "str"
+ Type parameter "_KT@Mapping" is invariant, but "str | None" 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]"
- "tuple[str | None, tzinfo]" is incompatible with "list[bytes]" (reportArgumentType)
+ "dict[str | None, tzinfo]" is incompatible with "None" (reportArgumentType)
- /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[bytes, bytes]" 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 | None" in function "parse"
- Type "dict[bytes, bytes]" is incompatible with type "_TzInfo | None"
+ Type "dict[str | None, tzinfo]" is incompatible with type "_TzInfo | None"
- "dict[bytes, bytes]" is incompatible with "Mapping[str, _TzData]"
+ "dict[str | None, tzinfo]" is incompatible with "Mapping[str, _TzData]"
- Type parameter "_KT@Mapping" is invariant, but "bytes" is not the same as "str"
+ Type parameter "_KT@Mapping" is invariant, but "str | None" 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]"
- "tuple[str | None, tzinfo]" is incompatible with "list[bytes]" (reportArgumentType)
+ "dict[str | None, tzinfo]" is incompatible with "None" (reportArgumentType)
- 6747 errors, 0 warnings, 0 notes
+ 6743 errors, 0 warnings, 0 notes
poetry (https://github.com/python-poetry/poetry)
- /tmp/mypy_primer/projects/poetry/src/poetry/repositories/installed_repository.py:277:83 - error: Argument type is partially unknown
- Argument corresponds to parameter "failobj" in function "get_all"
- Argument type is "list[Unknown]" (reportUnknownArgumentType)
- 21071 errors, 0 warnings, 0 notes
+ 21070 errors, 0 warnings, 0 notes
artigraph (https://github.com/artigraph/artigraph)
- /tmp/mypy_primer/projects/artigraph/src/arti/internal/mappings.py:170:9 - error: Method "__getitem__" overrides class "Mapping" in an incompatible manner
- Return type mismatch: base method returns type "TypedNode[V@TypedBox]", override returns type "TypedNode[V@TypedBox]" (reportIncompatibleMethodOverride)
+ /tmp/mypy_primer/projects/artigraph/src/arti/internal/type_hints.py:84:16 - error: Return type, "TypeGuard[Unknown]", is partially unknown (reportUnknownVariableType)
- /tmp/mypy_primer/projects/artigraph/src/arti/types/python.py:216:23 - error: Expected class but received "tuple[Any, ...]" (reportGeneralTypeIssues)
- /tmp/mypy_primer/projects/artigraph/tests/arti/graphs/test_graph.py:123:23 - error: Type of "storage" is unknown (reportUnknownMemberType)
- 3485 errors, 0 warnings, 0 notes
+ 3483 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 | And)" (reportUnknownVariableType)
+ Type of "to_cnf" is "(expr: Unknown, simplify: bool = False, force: bool = False) -> (Unknown | BooleanFunction | Or | LatticeOp*)" (reportUnknownVariableType)
- Type of "to_dnf" is "(expr: Unknown, simplify: bool = False, force: bool = False) -> (Unknown | BooleanFunction | And | Or)" (reportUnknownVariableType)
+ Type of "to_dnf" is "(expr: Unknown, simplify: bool = False, force: bool = False) -> (Unknown | BooleanFunction | And | LatticeOp*)" (reportUnknownVariableType)
- Type of "POSform" is "(variables: Unknown, minterms: Unknown, dontcares: Unknown | None = None) -> (BooleanFalse | Unknown | And)" (reportUnknownVariableType)
+ Type of "POSform" is "(variables: Unknown, minterms: Unknown, dontcares: Unknown | None = None) -> (BooleanFalse | Unknown | LatticeOp*)" (reportUnknownVariableType)
- Type of "SOPform" is "(variables: Unknown, minterms: Unknown, dontcares: Unknown | None = None) -> (BooleanFalse | Unknown | Or)" (reportUnknownVariableType)
+ Type of "SOPform" is "(variables: Unknown, minterms: Unknown, dontcares: Unknown | None = None) -> (BooleanFalse | Unknown | LatticeOp*)" (reportUnknownVariableType)
- Type of "reduce_inequalities" is "(inequalities: Unknown, symbols: Unknown = []) -> (Unknown | And)" (reportUnknownVariableType)
+ Type of "reduce_inequalities" is "(inequalities: Unknown, symbols: Unknown = []) -> (Unknown | LatticeOp*)" (reportUnknownVariableType)
- Type of "reduce_abs_inequalities" is "(exprs: Unknown, gen: Unknown) -> (Unknown | And)" (reportUnknownVariableType)
+ Type of "reduce_abs_inequalities" is "(exprs: Unknown, gen: Unknown) -> (Unknown | LatticeOp*)" (reportUnknownVariableType)
- Type of "kronecker_product" is "(*matrices: Unknown) -> (Unknown | Any | _NotImplementedType | GenericIdentity | Order | object | Identity)" (reportUnknownVariableType)
+ Type of "kronecker_product" is "(*matrices: Unknown) -> (Unknown | Any | _NotImplementedType | GenericIdentity* | Order | object | Identity)" (reportUnknownVariableType)
- Type of "laplace_transform" is "(f: Unknown, t: Unknown, s: Unknown, legacy_matrix: bool = True, **hints: Unknown) -> (Unknown | tuple[MatrixBase, Unknown | Max, Unknown | And] | MatrixBase | tuple[Unknown, Unknown, Unknown])" (reportUnknownVariableType)
+ Type of "laplace_transform" is "(f: Unknown, t: Unknown, s: Unknown, legacy_matrix: bool = True, **hints: Unknown) -> (Unknown | tuple[MatrixBase, Unknown | Max, Unknown | LatticeOp*] | MatrixBase | tuple[Unknown, Unknown, Unknown])" (reportUnknownVariableType)
- Type of "__new__" is "(cls: type[Self@UndefinedPredicate*], *args: Unknown) -> Self@UndefinedPredicate*" (reportUnknownMemberType)
+ Type of "__new__" is "(cls: type[UndefinedPredicate]*, *args: Unknown) -> UndefinedPredicate*" (reportUnknownMemberType)
- /tmp/mypy_primer/projects/sympy/sympy/assumptions/cnf.py:383:9 - error: Return type, "Unknown | And", is partially unknown (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/sympy/sympy/assumptions/cnf.py:383:9 - error: Return type, "Unknown | LatticeOp*", is partially unknown (reportUnknownParameterType)
- /tmp/mypy_primer/projects/sympy/sympy/assumptions/cnf.py:391:16 - error: Return type, "Unknown | And", is partially unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/sympy/sympy/assumptions/cnf.py:391:16 - error: Return type, "Unknown | LatticeOp*", is partially unknown (reportUnknownVariableType)
- Type of "to_cnf" is "(expr: Unknown, simplify: bool = False, force: bool = False) -> (Unknown | BooleanFunction | Or | And)" (reportUnknownVariableType)
+ Type of "to_cnf" is "(expr: Unknown, simplify: bool = False, force: bool = False) -> (Unknown | BooleanFunction | Or | LatticeOp*)" (reportUnknownVariableType)
- /tmp/mypy_primer/projects/sympy/sympy/assumptions/facts.py:39:5 - error: Return type, "Unknown | And", is partially unknown (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/sympy/sympy/assumptions/facts.py:39:5 - error: Return type, "Unknown | LatticeOp*", is partially unknown (reportUnknownParameterType)
- Type of "fact" is "Unknown | And" (reportUnknownVariableType)
+ Type of "fact" is "Unknown | LatticeOp*" (reportUnknownVariableType)
- /tmp/mypy_primer/projects/sympy/sympy/assumptions/facts.py:62:12 - error: Return type, "Unknown | And", is partially unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/sympy/sympy/assumptions/facts.py:62:12 - error: Return type, "Unknown | LatticeOp*", is partially unknown (reportUnknownVariableType)
- /tmp/mypy_primer/projects/sympy/sympy/assumptions/facts.py:66:5 - error: Return type, "Unknown | And", is partially unknown (reportUnknownParameterType)
+ /tmp/mypy_primer/projects/sympy/sympy/assumptions/facts.py:66:5 - error: Return type, "Unknown | LatticeOp*", is partially unknown (reportUnknownParameterType)
- Type of "fact" is "Unknown | And" (reportUnknownVariableType)
+ Type of "fact" is "Unknown | LatticeOp*" (reportUnknownVariableType)
- /tmp/mypy_primer/projects/sympy/sympy/assumptions/facts.py:121:12 - error: Return type, "Unknown | And", is partially unknown (reportUnknownVariableType)
+ /tmp/mypy_primer/projects/sympy/sympy/assumptions/facts.py:121:12 - error: Return type, "Unknown | LatticeOp*", is partially unknown (reportUnknownVariableType)
- /tmp/mypy_primer/projects/sympy/sympy/assumptions/facts.py:125:5 - error: Return type, "Unknown | And", is partially unknown (reportUnknownParameterType)
... (truncated 3261 lines) ...``` |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.