DetachHead / basedpyright

pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
http://docs.basedpyright.com/
Other
613 stars 13 forks source link

Merge 1.1.367 #408

Closed DetachHead closed 3 weeks ago

DetachHead commented 3 weeks ago

fixes #307

github-actions[bot] commented 3 weeks ago

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

pandera (https://github.com/pandera-dev/pandera)
-     Could not bind method "_pydantic_validate" because "type[ComponentSchema[TDataObject@ComponentSchema]]*" is not assignable to parameter "cls"
+     Could not bind method "_pydantic_validate" because "type[Self@ComponentSchema[TDataObject@ComponentSchema]]" is not assignable to parameter "cls"
-     Could not bind method "_pydantic_validate" because "type[ColumnSchema]*" is not assignable to parameter "cls"
+     Could not bind method "_pydantic_validate" because "type[Self@ColumnSchema]" is not assignable to parameter "cls"
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:105:21 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:106:25 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:114:21 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:115:25 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:120:25 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:121:32 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:123:25 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
- 1942 errors, 25 warnings, 0 notes
+ 1949 errors, 25 warnings, 0 notes

Tanjun (https://github.com/FasterSpeeding/Tanjun)
-     Keyword parameter "callbacks" type mismatch: base parameter is type "(_EventT@add_listener, ...) -> _CoroT[None]", override parameter is type "(_EventT@add_listener, ...) -> _CoroT[None]"
+     Keyword parameter "callbacks" type mismatch: base parameter is type "ListenerCallbackSig[_EventT@add_listener]", override parameter is type "ListenerCallbackSig[_EventT@add_listener]"
-       Type "(_EventT@add_listener, ...) -> _CoroT[None]" is incompatible with type "(_EventT@add_listener, ...) -> _CoroT[None]"
+       Type "ListenerCallbackSig[_EventT@add_listener]" is incompatible with type "ListenerCallbackSig[_EventT@add_listener]"
-     Keyword parameter "callbacks" type mismatch: base parameter is type "(_EventT@add_listener, ...) -> _CoroT[None]", override parameter is type "(_EventT@add_listener, ...) -> _CoroT[None]"
+     Keyword parameter "callbacks" type mismatch: base parameter is type "ListenerCallbackSig[_EventT@add_listener]", override parameter is type "ListenerCallbackSig[_EventT@add_listener]"
-       Type "(_EventT@add_listener, ...) -> _CoroT[None]" is incompatible with type "(_EventT@add_listener, ...) -> _CoroT[None]"
+       Type "ListenerCallbackSig[_EventT@add_listener]" is incompatible with type "ListenerCallbackSig[_EventT@add_listener]"
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:212:9 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(self: Self@AbstractOptionParser, key: str, /, converters: _MaybeIterable[ConverterSig[Any]] = (), *, default: Any = tanjun.NO_DEFAULT, greedy: bool = False, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None, multi: bool = False) -> Self@AbstractOptionParser" is incompatible with type "(self: Self@AbstractOptionParser, key: str, /, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@add_argument]], *, default: Any = tanjun.NO_DEFAULT, greedy: bool = False, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@add_argument | None = None, max_value: _SizedCmpProtoT@add_argument | None = None, multi: bool = False) -> Self@AbstractOptionParser"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:370:9 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(self: Self@AbstractOptionParser, key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[Any]] = (), default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None, multi: bool = False) -> Self@AbstractOptionParser" is incompatible with type "(self: Self@AbstractOptionParser, key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@add_option]], default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@add_option | None = None, max_value: _SizedCmpProtoT@add_option | None = None, multi: bool = False) -> Self@AbstractOptionParser"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:704:5 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(key: str, /, converters: _MaybeIterable[ConverterSig[Any]] = (), *, default: Any = tanjun.NO_DEFAULT, greedy: bool = False, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None, multi: bool = False) -> ((_CommandT@with_argument) -> _CommandT@with_argument)" is incompatible with type "(key: str, /, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@with_argument]], *, default: Any = tanjun.NO_DEFAULT, greedy: bool = False, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@with_argument | None = None, max_value: _SizedCmpProtoT@with_argument | None = None, multi: bool = False) -> ((_CommandT@with_argument) -> _CommandT@with_argument)"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:874:5 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(key: str, /, converters: _MaybeIterable[ConverterSig[Any]] = (), *, default: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None) -> ((_CommandT@with_greedy_argument) -> _CommandT@with_greedy_argument)" is incompatible with type "(key: str, /, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@with_greedy_argument]], *, default: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@with_greedy_argument | None = None, max_value: _SizedCmpProtoT@with_greedy_argument | None = None) -> ((_CommandT@with_greedy_argument) -> _CommandT@with_greedy_argument)"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:1038:5 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(key: str, /, converters: _MaybeIterable[ConverterSig[Any]] = (), *, default: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None) -> ((_CommandT@with_multi_argument) -> _CommandT@with_multi_argument)" is incompatible with type "(key: str, /, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@with_multi_argument]], *, default: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@with_multi_argument | None = None, max_value: _SizedCmpProtoT@with_multi_argument | None = None) -> ((_CommandT@with_multi_argument) -> _CommandT@with_multi_argument)"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:1220:5 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[Any]] = (), default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None, multi: bool = False) -> ((_CommandT@with_option) -> _CommandT@with_option)" is incompatible with type "(key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@with_option]], default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@with_option | None = None, max_value: _SizedCmpProtoT@with_option | None = None, multi: bool = False) -> ((_CommandT@with_option) -> _CommandT@with_option)"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:1406:5 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[Any]] = (), default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None) -> ((_CommandT@with_multi_option) -> _CommandT@with_multi_option)" is incompatible with type "(key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@with_multi_option]], default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@with_multi_option | None = None, max_value: _SizedCmpProtoT@with_multi_option | None = None) -> ((_CommandT@with_multi_option) -> _CommandT@with_multi_option)"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:2017:9 - error: Overloaded implementation is not consistent with signature of overload 3

... (truncated 9 lines) ...

spack (https://github.com/spack/spack)
-   /tmp/mypy_primer/projects/spack/lib/spack/spack/audit.py:853:25 - error: Operator "+=" not supported for types "str | Unbound | Unknown" and "str"
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/audit.py:853:25 - error: Operator "+=" not supported for types "str | Unbound" and "str"
-   /tmp/mypy_primer/projects/spack/lib/spack/spack/graph.py:221:17 - error: Operator "+=" not supported for types "int | Unknown | None" and "Literal[1]"
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/graph.py:221:17 - error: Operator "+=" not supported for types "int | None" and "Literal[1]"
-   /tmp/mypy_primer/projects/spack/lib/spack/spack/cmd/verify.py:81:17 - error: Operator "+=" not supported for types "Unknown | list[Unknown]" and "Unknown | list[Unknown] | Any | None"
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/cmd/verify.py:81:17 - error: Operator "+=" not supported for types "Unknown | Any | list[Unknown]" and "Unknown | list[Unknown] | Any | None"
-     Operator "+" not supported for types "Literal['--with-njet=']" and "None" (reportOperatorIssue)
+     Operator "+" not supported for types "Literal['--with-njet=']" and "None" when expected type is "Unknown | str" (reportOperatorIssue)
-     Operator "+" not supported for types "Literal['--with-vbfnlo=']" and "None" (reportOperatorIssue)
+     Operator "+" not supported for types "Literal['--with-vbfnlo=']" and "None" when expected type is "Unknown | str" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/spack/var/spack/repos/builtin/packages/tasmanian/package.py:148:28 - error: Argument of type "Unknown | str" cannot be assigned to parameter "object" of type "Prefix" in function "append"
+     Type "Unknown | str" is incompatible with type "Prefix"
+       "str" is incompatible with "Prefix" (reportArgumentType)
- 22652 errors, 78 warnings, 0 notes
+ 22653 errors, 78 warnings, 0 notes

steam.py (https://github.com/Gobot1234/steam.py)
-   /tmp/mypy_primer/projects/steam.py/tests/unit/test_commands.py:376:31 - error: Access to generic instance variable through class is ambiguous (reportGeneralTypeIssues)
- 8501 errors, 90 warnings, 0 notes
+ 8500 errors, 90 warnings, 0 notes

dd-trace-py (https://github.com/DataDog/dd-trace-py)
-   /tmp/mypy_primer/projects/dd-trace-py/benchmarks/bm/utils.py:60:28 - error: Argument of type "None" cannot be assigned to parameter "name" of type "str" in function "" (reportArgumentType)
+   /tmp/mypy_primer/projects/dd-trace-py/benchmarks/bm/utils.py:60:28 - error: Argument of type "None" cannot be assigned to parameter "name" of type "str" in function "__init__" (reportArgumentType)
-   /tmp/mypy_primer/projects/dd-trace-py/benchmarks/encoder/utils.py:14:28 - error: Argument of type "None" cannot be assigned to parameter "name" of type "str" in function "" (reportArgumentType)
+   /tmp/mypy_primer/projects/dd-trace-py/benchmarks/encoder/utils.py:14:28 - error: Argument of type "None" cannot be assigned to parameter "name" of type "str" in function "__init__" (reportArgumentType)
-   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/contrib/futures/patch.py:27:8 - error: Argument of type "Any | ((self: ThreadPoolExecutor, fn: ((**_P@submit) -> _T@submit), /, *args: _P@submit.args, **kwargs: _P@submit.kwargs) -> Future[_T@submit])" cannot be assigned to parameter "f" of type "FunctionType" in function "wrap"
+   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/contrib/futures/patch.py:27:8 - error: Argument of type "Any | ((self: ThreadPoolExecutor, fn: ((**_P@submit) -> _T@submit), /, **_P@submit) -> Future[_T@submit])" cannot be assigned to parameter "f" of type "FunctionType" in function "wrap"
-     Type "Any | ((self: ThreadPoolExecutor, fn: ((**_P@submit) -> _T@submit), /, *args: _P@submit.args, **kwargs: _P@submit.kwargs) -> Future[_T@submit])" is incompatible with type "FunctionType"
+     Type "Any | ((self: ThreadPoolExecutor, fn: ((**_P@submit) -> _T@submit), /, **_P@submit) -> Future[_T@submit])" is incompatible with type "FunctionType"
-     Could not bind method "warn" because "TemporaryDirectory*" is not assignable to parameter "message"
+     Could not bind method "warn" because "Self@TemporaryDirectory" is not assignable to parameter "message"
-     Could not bind method "warn" because "TemporaryDirectory*" is not assignable to parameter "message"
+     Could not bind method "warn" because "Self@TemporaryDirectory" is not assignable to parameter "message"
+   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/vendor/psutil/_pslinux.py:1370:23 - error: Operator "/" not supported for types "float | Unknown" and "int | str | Unknown | object"
+     Operator "/" not supported for types "float" and "str"
+     Operator "/" not supported for types "float" and "object" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/_ast/fixtures/annotated_code.py:28:12 - error: Operator "+" not supported for types "str | Unknown" and "str | None"
+     Operator "+" not supported for types "str" and "None" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/_ast/fixtures/annotated_code.py:28:12 - error: Operator "+" not supported for types "str | Unknown" and "str | None"
+     Operator "+" not supported for types "str" and "None" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/_ast/fixtures/annotated_code37.py:27:12 - error: Operator "+" not supported for types "str | Unknown" and "str | None"
+     Operator "+" not supported for types "str" and "None" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/_ast/fixtures/annotated_code37.py:27:12 - error: Operator "+" not supported for types "str | Unknown" and "str | None"
+     Operator "+" not supported for types "str" and "None" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:57:35 - error: Cannot access attribute "decode" for class "type[str]"
+     Attribute "decode" is unknown (reportAttributeAccessIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:65:31 - error: Cannot access attribute "decode" for class "type[str]"
+     Attribute "decode" is unknown (reportAttributeAccessIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:116:35 - error: Cannot access attribute "encode" for class "type[bytes]"
+     Attribute "encode" is unknown (reportAttributeAccessIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:116:35 - error: Cannot access attribute "encode" for class "type[bytearray]"
+     Attribute "encode" is unknown (reportAttributeAccessIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:124:57 - error: Cannot access attribute "encode" for class "type[bytes]"
+     Attribute "encode" is unknown (reportAttributeAccessIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:124:57 - error: Cannot access attribute "encode" for class "type[bytearray]"
+     Attribute "encode" is unknown (reportAttributeAccessIssue)
-     Could not bind method "gen" because "type[Sym]" is not assignable to parameter "n"
+     Could not bind method "gen" because "Sym" is not assignable to parameter "n"
-       Type parameter "_T_contra@SupportsDunderLE" is contravariant, but "int" is not a supertype of "str | Unknown"
-         Type "str | Unknown" is incompatible with type "int"
+       "__le__" is an incompatible type
+         Type "(value: int, /) -> bool" is incompatible with type "(other: _T_contra@SupportsDunderLE, /) -> bool"
+           Parameter 1: type "_T_contra@SupportsDunderLE" is incompatible with type "int"
-           "str" is incompatible with "int" (reportArgumentType)
+             Type "str | Unknown" is incompatible with type "int" (reportArgumentType)
- 11340 errors, 533 warnings, 0 notes
+ 11351 errors, 533 warnings, 0 notes

hydra-zen (https://github.com/mit-ll-responsible-ai/hydra-zen)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1175:20 - error: No overloads for "builds" match the provided arguments (reportCallIssue)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1177:17 - error: Argument of type "(...) -> Unknown" cannot be assigned to parameter "pos_args" of type "T@BuildsFn" in function "builds"
+     Type "(...) -> Unknown" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1178:25 - error: Argument of type "list[str]" cannot be assigned to parameter "exclude" of type "T@BuildsFn" in function "builds"
+     Type "list[str]" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1179:26 - error: Argument of type "Just[(Any) -> Any] | list[Just[(Any) -> Any]] | None" cannot be assigned to parameter "pre_call" of type "T@BuildsFn" in function "builds"
+     Type "Just[(Any) -> Any] | list[Just[(Any) -> Any]] | None" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1180:31 - error: Argument of type "bool" cannot be assigned to parameter "unpack_kwargs" of type "T@BuildsFn" in function "builds"
+     Type "bool" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1181:34 - error: Argument of type "bool" cannot be assigned to parameter "resolve_pre_call" of type "T@BuildsFn" in function "builds"
+     Type "bool" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1182:32 - error: Argument of type "bool" cannot be assigned to parameter "run_in_context" of type "T@BuildsFn" in function "builds"
+     Type "bool" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1183:39 - error: Argument of type "((F2@__init__) -> F2@__init__) | None" cannot be assigned to parameter "instantiation_wrapper" of type "T@BuildsFn" in function "builds"
+     Type "((F2@__init__) -> F2@__init__) | None" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:3458:25 - error: Argument of type "tuple[()] | Collection[str | int] | ((str) -> bool)" cannot be assigned to parameter "zen_exclude" of type "T@BuildsFn" in function "builds"
+     Type "tuple[()] | Collection[str | int] | ((str) -> bool)" is incompatible with type "T@BuildsFn" (reportArgumentType)
- 173 errors, 15 warnings, 183 notes
+ 182 errors, 15 warnings, 183 notes

trio (https://github.com/python-trio/trio)
+   /tmp/mypy_primer/projects/trio/src/trio/_path.py:126:15 - error: "open" is marked as overload, but no implementation is provided (reportNoOverloadImplementation)
- 4121 errors, 51 warnings, 0 notes
+ 4122 errors, 51 warnings, 0 notes
github-actions[bot] commented 3 weeks ago

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

pandera (https://github.com/pandera-dev/pandera)
-     Could not bind method "_pydantic_validate" because "type[ComponentSchema[TDataObject@ComponentSchema]]*" is not assignable to parameter "cls"
+     Could not bind method "_pydantic_validate" because "type[Self@ComponentSchema[TDataObject@ComponentSchema]]" is not assignable to parameter "cls"
-     Could not bind method "_pydantic_validate" because "type[ColumnSchema]*" is not assignable to parameter "cls"
+     Could not bind method "_pydantic_validate" because "type[Self@ColumnSchema]" is not assignable to parameter "cls"
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:105:21 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:106:25 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:114:21 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:115:25 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:120:25 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:121:32 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:123:25 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
- 1942 errors, 25 warnings, 0 notes
+ 1949 errors, 25 warnings, 0 notes

Tanjun (https://github.com/FasterSpeeding/Tanjun)
-     Keyword parameter "callbacks" type mismatch: base parameter is type "(_EventT@add_listener, ...) -> _CoroT[None]", override parameter is type "(_EventT@add_listener, ...) -> _CoroT[None]"
+     Keyword parameter "callbacks" type mismatch: base parameter is type "ListenerCallbackSig[_EventT@add_listener]", override parameter is type "ListenerCallbackSig[_EventT@add_listener]"
-       Type "(_EventT@add_listener, ...) -> _CoroT[None]" is incompatible with type "(_EventT@add_listener, ...) -> _CoroT[None]"
+       Type "ListenerCallbackSig[_EventT@add_listener]" is incompatible with type "ListenerCallbackSig[_EventT@add_listener]"
-     Keyword parameter "callbacks" type mismatch: base parameter is type "(_EventT@add_listener, ...) -> _CoroT[None]", override parameter is type "(_EventT@add_listener, ...) -> _CoroT[None]"
+     Keyword parameter "callbacks" type mismatch: base parameter is type "ListenerCallbackSig[_EventT@add_listener]", override parameter is type "ListenerCallbackSig[_EventT@add_listener]"
-       Type "(_EventT@add_listener, ...) -> _CoroT[None]" is incompatible with type "(_EventT@add_listener, ...) -> _CoroT[None]"
+       Type "ListenerCallbackSig[_EventT@add_listener]" is incompatible with type "ListenerCallbackSig[_EventT@add_listener]"
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:212:9 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(self: Self@AbstractOptionParser, key: str, /, converters: _MaybeIterable[ConverterSig[Any]] = (), *, default: Any = tanjun.NO_DEFAULT, greedy: bool = False, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None, multi: bool = False) -> Self@AbstractOptionParser" is incompatible with type "(self: Self@AbstractOptionParser, key: str, /, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@add_argument]], *, default: Any = tanjun.NO_DEFAULT, greedy: bool = False, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@add_argument | None = None, max_value: _SizedCmpProtoT@add_argument | None = None, multi: bool = False) -> Self@AbstractOptionParser"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:370:9 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(self: Self@AbstractOptionParser, key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[Any]] = (), default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None, multi: bool = False) -> Self@AbstractOptionParser" is incompatible with type "(self: Self@AbstractOptionParser, key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@add_option]], default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@add_option | None = None, max_value: _SizedCmpProtoT@add_option | None = None, multi: bool = False) -> Self@AbstractOptionParser"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:704:5 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(key: str, /, converters: _MaybeIterable[ConverterSig[Any]] = (), *, default: Any = tanjun.NO_DEFAULT, greedy: bool = False, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None, multi: bool = False) -> ((_CommandT@with_argument) -> _CommandT@with_argument)" is incompatible with type "(key: str, /, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@with_argument]], *, default: Any = tanjun.NO_DEFAULT, greedy: bool = False, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@with_argument | None = None, max_value: _SizedCmpProtoT@with_argument | None = None, multi: bool = False) -> ((_CommandT@with_argument) -> _CommandT@with_argument)"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:874:5 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(key: str, /, converters: _MaybeIterable[ConverterSig[Any]] = (), *, default: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None) -> ((_CommandT@with_greedy_argument) -> _CommandT@with_greedy_argument)" is incompatible with type "(key: str, /, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@with_greedy_argument]], *, default: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@with_greedy_argument | None = None, max_value: _SizedCmpProtoT@with_greedy_argument | None = None) -> ((_CommandT@with_greedy_argument) -> _CommandT@with_greedy_argument)"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:1038:5 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(key: str, /, converters: _MaybeIterable[ConverterSig[Any]] = (), *, default: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None) -> ((_CommandT@with_multi_argument) -> _CommandT@with_multi_argument)" is incompatible with type "(key: str, /, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@with_multi_argument]], *, default: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@with_multi_argument | None = None, max_value: _SizedCmpProtoT@with_multi_argument | None = None) -> ((_CommandT@with_multi_argument) -> _CommandT@with_multi_argument)"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:1220:5 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[Any]] = (), default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None, multi: bool = False) -> ((_CommandT@with_option) -> _CommandT@with_option)" is incompatible with type "(key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@with_option]], default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@with_option | None = None, max_value: _SizedCmpProtoT@with_option | None = None, multi: bool = False) -> ((_CommandT@with_option) -> _CommandT@with_option)"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:1406:5 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[Any]] = (), default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None) -> ((_CommandT@with_multi_option) -> _CommandT@with_multi_option)" is incompatible with type "(key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@with_multi_option]], default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@with_multi_option | None = None, max_value: _SizedCmpProtoT@with_multi_option | None = None) -> ((_CommandT@with_multi_option) -> _CommandT@with_multi_option)"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:2017:9 - error: Overloaded implementation is not consistent with signature of overload 3

... (truncated 9 lines) ...

spack (https://github.com/spack/spack)
-   /tmp/mypy_primer/projects/spack/lib/spack/spack/audit.py:853:25 - error: Operator "+=" not supported for types "str | Unbound | Unknown" and "str"
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/audit.py:853:25 - error: Operator "+=" not supported for types "str | Unbound" and "str"
-   /tmp/mypy_primer/projects/spack/lib/spack/spack/graph.py:221:17 - error: Operator "+=" not supported for types "int | Unknown | None" and "Literal[1]"
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/graph.py:221:17 - error: Operator "+=" not supported for types "int | None" and "Literal[1]"
-   /tmp/mypy_primer/projects/spack/lib/spack/spack/cmd/verify.py:81:17 - error: Operator "+=" not supported for types "Unknown | list[Unknown]" and "Unknown | list[Unknown] | Any | None"
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/cmd/verify.py:81:17 - error: Operator "+=" not supported for types "Unknown | Any | list[Unknown]" and "Unknown | list[Unknown] | Any | None"
-     Operator "+" not supported for types "Literal['--with-njet=']" and "None" (reportOperatorIssue)
+     Operator "+" not supported for types "Literal['--with-njet=']" and "None" when expected type is "Unknown | str" (reportOperatorIssue)
-     Operator "+" not supported for types "Literal['--with-vbfnlo=']" and "None" (reportOperatorIssue)
+     Operator "+" not supported for types "Literal['--with-vbfnlo=']" and "None" when expected type is "Unknown | str" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/spack/var/spack/repos/builtin/packages/tasmanian/package.py:148:28 - error: Argument of type "Unknown | str" cannot be assigned to parameter "object" of type "Prefix" in function "append"
+     Type "Unknown | str" is incompatible with type "Prefix"
+       "str" is incompatible with "Prefix" (reportArgumentType)
- 22652 errors, 78 warnings, 0 notes
+ 22653 errors, 78 warnings, 0 notes

steam.py (https://github.com/Gobot1234/steam.py)
-   /tmp/mypy_primer/projects/steam.py/tests/unit/test_commands.py:376:31 - error: Access to generic instance variable through class is ambiguous (reportGeneralTypeIssues)
- 8501 errors, 90 warnings, 0 notes
+ 8500 errors, 90 warnings, 0 notes

hydra-zen (https://github.com/mit-ll-responsible-ai/hydra-zen)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1175:20 - error: No overloads for "builds" match the provided arguments (reportCallIssue)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1177:17 - error: Argument of type "(...) -> Unknown" cannot be assigned to parameter "pos_args" of type "T@BuildsFn" in function "builds"
+     Type "(...) -> Unknown" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1178:25 - error: Argument of type "list[str]" cannot be assigned to parameter "exclude" of type "T@BuildsFn" in function "builds"
+     Type "list[str]" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1179:26 - error: Argument of type "Just[(Any) -> Any] | list[Just[(Any) -> Any]] | None" cannot be assigned to parameter "pre_call" of type "T@BuildsFn" in function "builds"
+     Type "Just[(Any) -> Any] | list[Just[(Any) -> Any]] | None" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1180:31 - error: Argument of type "bool" cannot be assigned to parameter "unpack_kwargs" of type "T@BuildsFn" in function "builds"
+     Type "bool" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1181:34 - error: Argument of type "bool" cannot be assigned to parameter "resolve_pre_call" of type "T@BuildsFn" in function "builds"
+     Type "bool" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1182:32 - error: Argument of type "bool" cannot be assigned to parameter "run_in_context" of type "T@BuildsFn" in function "builds"
+     Type "bool" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1183:39 - error: Argument of type "((F2@__init__) -> F2@__init__) | None" cannot be assigned to parameter "instantiation_wrapper" of type "T@BuildsFn" in function "builds"
+     Type "((F2@__init__) -> F2@__init__) | None" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:3458:25 - error: Argument of type "tuple[()] | Collection[str | int] | ((str) -> bool)" cannot be assigned to parameter "zen_exclude" of type "T@BuildsFn" in function "builds"
+     Type "tuple[()] | Collection[str | int] | ((str) -> bool)" is incompatible with type "T@BuildsFn" (reportArgumentType)
- 173 errors, 15 warnings, 183 notes
+ 182 errors, 15 warnings, 183 notes

dd-trace-py (https://github.com/DataDog/dd-trace-py)
-   /tmp/mypy_primer/projects/dd-trace-py/benchmarks/bm/utils.py:60:28 - error: Argument of type "None" cannot be assigned to parameter "name" of type "str" in function "" (reportArgumentType)
+   /tmp/mypy_primer/projects/dd-trace-py/benchmarks/bm/utils.py:60:28 - error: Argument of type "None" cannot be assigned to parameter "name" of type "str" in function "__init__" (reportArgumentType)
-   /tmp/mypy_primer/projects/dd-trace-py/benchmarks/encoder/utils.py:14:28 - error: Argument of type "None" cannot be assigned to parameter "name" of type "str" in function "" (reportArgumentType)
+   /tmp/mypy_primer/projects/dd-trace-py/benchmarks/encoder/utils.py:14:28 - error: Argument of type "None" cannot be assigned to parameter "name" of type "str" in function "__init__" (reportArgumentType)
-   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/contrib/futures/patch.py:27:8 - error: Argument of type "Any | ((self: ThreadPoolExecutor, fn: ((**_P@submit) -> _T@submit), /, *args: _P@submit.args, **kwargs: _P@submit.kwargs) -> Future[_T@submit])" cannot be assigned to parameter "f" of type "FunctionType" in function "wrap"
+   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/contrib/futures/patch.py:27:8 - error: Argument of type "Any | ((self: ThreadPoolExecutor, fn: ((**_P@submit) -> _T@submit), /, **_P@submit) -> Future[_T@submit])" cannot be assigned to parameter "f" of type "FunctionType" in function "wrap"
-     Type "Any | ((self: ThreadPoolExecutor, fn: ((**_P@submit) -> _T@submit), /, *args: _P@submit.args, **kwargs: _P@submit.kwargs) -> Future[_T@submit])" is incompatible with type "FunctionType"
+     Type "Any | ((self: ThreadPoolExecutor, fn: ((**_P@submit) -> _T@submit), /, **_P@submit) -> Future[_T@submit])" is incompatible with type "FunctionType"
-     Could not bind method "warn" because "TemporaryDirectory*" is not assignable to parameter "message"
+     Could not bind method "warn" because "Self@TemporaryDirectory" is not assignable to parameter "message"
-     Could not bind method "warn" because "TemporaryDirectory*" is not assignable to parameter "message"
+     Could not bind method "warn" because "Self@TemporaryDirectory" is not assignable to parameter "message"
+   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/vendor/psutil/_pslinux.py:1370:23 - error: Operator "/" not supported for types "float | Unknown" and "int | str | Unknown | object"
+     Operator "/" not supported for types "float" and "str"
+     Operator "/" not supported for types "float" and "object" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/_ast/fixtures/annotated_code.py:28:12 - error: Operator "+" not supported for types "str | Unknown" and "str | None"
+     Operator "+" not supported for types "str" and "None" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/_ast/fixtures/annotated_code.py:28:12 - error: Operator "+" not supported for types "str | Unknown" and "str | None"
+     Operator "+" not supported for types "str" and "None" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/_ast/fixtures/annotated_code37.py:27:12 - error: Operator "+" not supported for types "str | Unknown" and "str | None"
+     Operator "+" not supported for types "str" and "None" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/_ast/fixtures/annotated_code37.py:27:12 - error: Operator "+" not supported for types "str | Unknown" and "str | None"
+     Operator "+" not supported for types "str" and "None" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:57:35 - error: Cannot access attribute "decode" for class "type[str]"
+     Attribute "decode" is unknown (reportAttributeAccessIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:65:31 - error: Cannot access attribute "decode" for class "type[str]"
+     Attribute "decode" is unknown (reportAttributeAccessIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:116:35 - error: Cannot access attribute "encode" for class "type[bytes]"
+     Attribute "encode" is unknown (reportAttributeAccessIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:116:35 - error: Cannot access attribute "encode" for class "type[bytearray]"
+     Attribute "encode" is unknown (reportAttributeAccessIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:124:57 - error: Cannot access attribute "encode" for class "type[bytes]"
+     Attribute "encode" is unknown (reportAttributeAccessIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:124:57 - error: Cannot access attribute "encode" for class "type[bytearray]"
+     Attribute "encode" is unknown (reportAttributeAccessIssue)
-     Could not bind method "gen" because "type[Sym]" is not assignable to parameter "n"
+     Could not bind method "gen" because "Sym" is not assignable to parameter "n"
-       Type parameter "_T_contra@SupportsDunderLE" is contravariant, but "int" is not a supertype of "str | Unknown"
-         Type "str | Unknown" is incompatible with type "int"
+       "__le__" is an incompatible type
+         Type "(value: int, /) -> bool" is incompatible with type "(other: _T_contra@SupportsDunderLE, /) -> bool"
+           Parameter 1: type "_T_contra@SupportsDunderLE" is incompatible with type "int"
-           "str" is incompatible with "int" (reportArgumentType)
+             Type "str | Unknown" is incompatible with type "int" (reportArgumentType)
- 11340 errors, 533 warnings, 0 notes
+ 11351 errors, 533 warnings, 0 notes

trio (https://github.com/python-trio/trio)
+   /tmp/mypy_primer/projects/trio/src/trio/_path.py:126:15 - error: "open" is marked as overload, but no implementation is provided (reportNoOverloadImplementation)
- 4121 errors, 51 warnings, 0 notes
+ 4122 errors, 51 warnings, 0 notes
github-actions[bot] commented 3 weeks ago

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

pandera (https://github.com/pandera-dev/pandera)
-     Could not bind method "_pydantic_validate" because "type[ComponentSchema[TDataObject@ComponentSchema]]*" is not assignable to parameter "cls"
+     Could not bind method "_pydantic_validate" because "type[Self@ComponentSchema[TDataObject@ComponentSchema]]" is not assignable to parameter "cls"
-     Could not bind method "_pydantic_validate" because "type[ColumnSchema]*" is not assignable to parameter "cls"
+     Could not bind method "_pydantic_validate" because "type[Self@ColumnSchema]" is not assignable to parameter "cls"
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:105:21 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:106:25 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:114:21 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:115:25 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:120:25 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:121:32 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:123:25 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
- 1942 errors, 25 warnings, 0 notes
+ 1949 errors, 25 warnings, 0 notes

Tanjun (https://github.com/FasterSpeeding/Tanjun)
-     Keyword parameter "callbacks" type mismatch: base parameter is type "(_EventT@add_listener, ...) -> _CoroT[None]", override parameter is type "(_EventT@add_listener, ...) -> _CoroT[None]"
+     Keyword parameter "callbacks" type mismatch: base parameter is type "ListenerCallbackSig[_EventT@add_listener]", override parameter is type "ListenerCallbackSig[_EventT@add_listener]"
-       Type "(_EventT@add_listener, ...) -> _CoroT[None]" is incompatible with type "(_EventT@add_listener, ...) -> _CoroT[None]"
+       Type "ListenerCallbackSig[_EventT@add_listener]" is incompatible with type "ListenerCallbackSig[_EventT@add_listener]"
-     Keyword parameter "callbacks" type mismatch: base parameter is type "(_EventT@add_listener, ...) -> _CoroT[None]", override parameter is type "(_EventT@add_listener, ...) -> _CoroT[None]"
+     Keyword parameter "callbacks" type mismatch: base parameter is type "ListenerCallbackSig[_EventT@add_listener]", override parameter is type "ListenerCallbackSig[_EventT@add_listener]"
-       Type "(_EventT@add_listener, ...) -> _CoroT[None]" is incompatible with type "(_EventT@add_listener, ...) -> _CoroT[None]"
+       Type "ListenerCallbackSig[_EventT@add_listener]" is incompatible with type "ListenerCallbackSig[_EventT@add_listener]"
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:212:9 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(self: Self@AbstractOptionParser, key: str, /, converters: _MaybeIterable[ConverterSig[Any]] = (), *, default: Any = tanjun.NO_DEFAULT, greedy: bool = False, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None, multi: bool = False) -> Self@AbstractOptionParser" is incompatible with type "(self: Self@AbstractOptionParser, key: str, /, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@add_argument]], *, default: Any = tanjun.NO_DEFAULT, greedy: bool = False, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@add_argument | None = None, max_value: _SizedCmpProtoT@add_argument | None = None, multi: bool = False) -> Self@AbstractOptionParser"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:370:9 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(self: Self@AbstractOptionParser, key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[Any]] = (), default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None, multi: bool = False) -> Self@AbstractOptionParser" is incompatible with type "(self: Self@AbstractOptionParser, key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@add_option]], default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@add_option | None = None, max_value: _SizedCmpProtoT@add_option | None = None, multi: bool = False) -> Self@AbstractOptionParser"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:704:5 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(key: str, /, converters: _MaybeIterable[ConverterSig[Any]] = (), *, default: Any = tanjun.NO_DEFAULT, greedy: bool = False, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None, multi: bool = False) -> ((_CommandT@with_argument) -> _CommandT@with_argument)" is incompatible with type "(key: str, /, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@with_argument]], *, default: Any = tanjun.NO_DEFAULT, greedy: bool = False, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@with_argument | None = None, max_value: _SizedCmpProtoT@with_argument | None = None, multi: bool = False) -> ((_CommandT@with_argument) -> _CommandT@with_argument)"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:874:5 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(key: str, /, converters: _MaybeIterable[ConverterSig[Any]] = (), *, default: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None) -> ((_CommandT@with_greedy_argument) -> _CommandT@with_greedy_argument)" is incompatible with type "(key: str, /, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@with_greedy_argument]], *, default: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@with_greedy_argument | None = None, max_value: _SizedCmpProtoT@with_greedy_argument | None = None) -> ((_CommandT@with_greedy_argument) -> _CommandT@with_greedy_argument)"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:1038:5 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(key: str, /, converters: _MaybeIterable[ConverterSig[Any]] = (), *, default: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None) -> ((_CommandT@with_multi_argument) -> _CommandT@with_multi_argument)" is incompatible with type "(key: str, /, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@with_multi_argument]], *, default: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@with_multi_argument | None = None, max_value: _SizedCmpProtoT@with_multi_argument | None = None) -> ((_CommandT@with_multi_argument) -> _CommandT@with_multi_argument)"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:1220:5 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[Any]] = (), default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None, multi: bool = False) -> ((_CommandT@with_option) -> _CommandT@with_option)" is incompatible with type "(key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@with_option]], default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@with_option | None = None, max_value: _SizedCmpProtoT@with_option | None = None, multi: bool = False) -> ((_CommandT@with_option) -> _CommandT@with_option)"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:1406:5 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[Any]] = (), default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None) -> ((_CommandT@with_multi_option) -> _CommandT@with_multi_option)" is incompatible with type "(key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@with_multi_option]], default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@with_multi_option | None = None, max_value: _SizedCmpProtoT@with_multi_option | None = None) -> ((_CommandT@with_multi_option) -> _CommandT@with_multi_option)"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:2017:9 - error: Overloaded implementation is not consistent with signature of overload 3

... (truncated 9 lines) ...

steam.py (https://github.com/Gobot1234/steam.py)
-   /tmp/mypy_primer/projects/steam.py/tests/unit/test_commands.py:376:31 - error: Access to generic instance variable through class is ambiguous (reportGeneralTypeIssues)
- 8501 errors, 90 warnings, 0 notes
+ 8500 errors, 90 warnings, 0 notes

spack (https://github.com/spack/spack)
-   /tmp/mypy_primer/projects/spack/lib/spack/spack/audit.py:853:25 - error: Operator "+=" not supported for types "str | Unbound | Unknown" and "str"
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/audit.py:853:25 - error: Operator "+=" not supported for types "str | Unbound" and "str"
-   /tmp/mypy_primer/projects/spack/lib/spack/spack/graph.py:221:17 - error: Operator "+=" not supported for types "int | Unknown | None" and "Literal[1]"
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/graph.py:221:17 - error: Operator "+=" not supported for types "int | None" and "Literal[1]"
-   /tmp/mypy_primer/projects/spack/lib/spack/spack/cmd/verify.py:81:17 - error: Operator "+=" not supported for types "Unknown | list[Unknown]" and "Unknown | list[Unknown] | Any | None"
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/cmd/verify.py:81:17 - error: Operator "+=" not supported for types "Unknown | Any | list[Unknown]" and "Unknown | list[Unknown] | Any | None"
-     Operator "+" not supported for types "Literal['--with-njet=']" and "None" (reportOperatorIssue)
+     Operator "+" not supported for types "Literal['--with-njet=']" and "None" when expected type is "Unknown | str" (reportOperatorIssue)
-     Operator "+" not supported for types "Literal['--with-vbfnlo=']" and "None" (reportOperatorIssue)
+     Operator "+" not supported for types "Literal['--with-vbfnlo=']" and "None" when expected type is "Unknown | str" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/spack/var/spack/repos/builtin/packages/tasmanian/package.py:148:28 - error: Argument of type "Unknown | str" cannot be assigned to parameter "object" of type "Prefix" in function "append"
+     Type "Unknown | str" is incompatible with type "Prefix"
+       "str" is incompatible with "Prefix" (reportArgumentType)
- 22658 errors, 78 warnings, 0 notes
+ 22659 errors, 78 warnings, 0 notes

hydra-zen (https://github.com/mit-ll-responsible-ai/hydra-zen)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1175:20 - error: No overloads for "builds" match the provided arguments (reportCallIssue)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1177:17 - error: Argument of type "(...) -> Unknown" cannot be assigned to parameter "pos_args" of type "T@BuildsFn" in function "builds"
+     Type "(...) -> Unknown" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1178:25 - error: Argument of type "list[str]" cannot be assigned to parameter "exclude" of type "T@BuildsFn" in function "builds"
+     Type "list[str]" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1179:26 - error: Argument of type "Just[(Any) -> Any] | list[Just[(Any) -> Any]] | None" cannot be assigned to parameter "pre_call" of type "T@BuildsFn" in function "builds"
+     Type "Just[(Any) -> Any] | list[Just[(Any) -> Any]] | None" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1180:31 - error: Argument of type "bool" cannot be assigned to parameter "unpack_kwargs" of type "T@BuildsFn" in function "builds"
+     Type "bool" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1181:34 - error: Argument of type "bool" cannot be assigned to parameter "resolve_pre_call" of type "T@BuildsFn" in function "builds"
+     Type "bool" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1182:32 - error: Argument of type "bool" cannot be assigned to parameter "run_in_context" of type "T@BuildsFn" in function "builds"
+     Type "bool" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1183:39 - error: Argument of type "((F2@__init__) -> F2@__init__) | None" cannot be assigned to parameter "instantiation_wrapper" of type "T@BuildsFn" in function "builds"
+     Type "((F2@__init__) -> F2@__init__) | None" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:3458:25 - error: Argument of type "tuple[()] | Collection[str | int] | ((str) -> bool)" cannot be assigned to parameter "zen_exclude" of type "T@BuildsFn" in function "builds"
+     Type "tuple[()] | Collection[str | int] | ((str) -> bool)" is incompatible with type "T@BuildsFn" (reportArgumentType)
- 173 errors, 15 warnings, 183 notes
+ 182 errors, 15 warnings, 183 notes

dd-trace-py (https://github.com/DataDog/dd-trace-py)
-   /tmp/mypy_primer/projects/dd-trace-py/benchmarks/bm/utils.py:60:28 - error: Argument of type "None" cannot be assigned to parameter "name" of type "str" in function "" (reportArgumentType)
+   /tmp/mypy_primer/projects/dd-trace-py/benchmarks/bm/utils.py:60:28 - error: Argument of type "None" cannot be assigned to parameter "name" of type "str" in function "__init__" (reportArgumentType)
-   /tmp/mypy_primer/projects/dd-trace-py/benchmarks/encoder/utils.py:14:28 - error: Argument of type "None" cannot be assigned to parameter "name" of type "str" in function "" (reportArgumentType)
+   /tmp/mypy_primer/projects/dd-trace-py/benchmarks/encoder/utils.py:14:28 - error: Argument of type "None" cannot be assigned to parameter "name" of type "str" in function "__init__" (reportArgumentType)
-   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/contrib/futures/patch.py:27:8 - error: Argument of type "Any | ((self: ThreadPoolExecutor, fn: ((**_P@submit) -> _T@submit), /, *args: _P@submit.args, **kwargs: _P@submit.kwargs) -> Future[_T@submit])" cannot be assigned to parameter "f" of type "FunctionType" in function "wrap"
+   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/contrib/futures/patch.py:27:8 - error: Argument of type "Any | ((self: ThreadPoolExecutor, fn: ((**_P@submit) -> _T@submit), /, **_P@submit) -> Future[_T@submit])" cannot be assigned to parameter "f" of type "FunctionType" in function "wrap"
-     Type "Any | ((self: ThreadPoolExecutor, fn: ((**_P@submit) -> _T@submit), /, *args: _P@submit.args, **kwargs: _P@submit.kwargs) -> Future[_T@submit])" is incompatible with type "FunctionType"
+     Type "Any | ((self: ThreadPoolExecutor, fn: ((**_P@submit) -> _T@submit), /, **_P@submit) -> Future[_T@submit])" is incompatible with type "FunctionType"
-     Could not bind method "warn" because "TemporaryDirectory*" is not assignable to parameter "message"
+     Could not bind method "warn" because "Self@TemporaryDirectory" is not assignable to parameter "message"
-     Could not bind method "warn" because "TemporaryDirectory*" is not assignable to parameter "message"
+     Could not bind method "warn" because "Self@TemporaryDirectory" is not assignable to parameter "message"
+   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/vendor/psutil/_pslinux.py:1370:23 - error: Operator "/" not supported for types "float | Unknown" and "int | str | Unknown | object"
+     Operator "/" not supported for types "float" and "str"
+     Operator "/" not supported for types "float" and "object" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/_ast/fixtures/annotated_code.py:28:12 - error: Operator "+" not supported for types "str | Unknown" and "str | None"
+     Operator "+" not supported for types "str" and "None" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/_ast/fixtures/annotated_code.py:28:12 - error: Operator "+" not supported for types "str | Unknown" and "str | None"
+     Operator "+" not supported for types "str" and "None" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/_ast/fixtures/annotated_code37.py:27:12 - error: Operator "+" not supported for types "str | Unknown" and "str | None"
+     Operator "+" not supported for types "str" and "None" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/_ast/fixtures/annotated_code37.py:27:12 - error: Operator "+" not supported for types "str | Unknown" and "str | None"
+     Operator "+" not supported for types "str" and "None" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:57:35 - error: Cannot access attribute "decode" for class "type[str]"
+     Attribute "decode" is unknown (reportAttributeAccessIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:65:31 - error: Cannot access attribute "decode" for class "type[str]"
+     Attribute "decode" is unknown (reportAttributeAccessIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:116:35 - error: Cannot access attribute "encode" for class "type[bytes]"
+     Attribute "encode" is unknown (reportAttributeAccessIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:116:35 - error: Cannot access attribute "encode" for class "type[bytearray]"
+     Attribute "encode" is unknown (reportAttributeAccessIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:124:57 - error: Cannot access attribute "encode" for class "type[bytes]"
+     Attribute "encode" is unknown (reportAttributeAccessIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:124:57 - error: Cannot access attribute "encode" for class "type[bytearray]"
+     Attribute "encode" is unknown (reportAttributeAccessIssue)
-     Could not bind method "gen" because "type[Sym]" is not assignable to parameter "n"
+     Could not bind method "gen" because "Sym" is not assignable to parameter "n"
-       Type parameter "_T_contra@SupportsDunderLE" is contravariant, but "int" is not a supertype of "str | Unknown"
-         Type "str | Unknown" is incompatible with type "int"
+       "__le__" is an incompatible type
+         Type "(value: int, /) -> bool" is incompatible with type "(other: _T_contra@SupportsDunderLE, /) -> bool"
+           Parameter 1: type "_T_contra@SupportsDunderLE" is incompatible with type "int"
-           "str" is incompatible with "int" (reportArgumentType)
+             Type "str | Unknown" is incompatible with type "int" (reportArgumentType)
- 11412 errors, 546 warnings, 0 notes
+ 11423 errors, 546 warnings, 0 notes

trio (https://github.com/python-trio/trio)
+   /tmp/mypy_primer/projects/trio/src/trio/_path.py:126:15 - error: "open" is marked as overload, but no implementation is provided (reportNoOverloadImplementation)
- 4121 errors, 51 warnings, 0 notes
+ 4122 errors, 51 warnings, 0 notes
github-actions[bot] commented 3 weeks ago

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

Tanjun (https://github.com/FasterSpeeding/Tanjun)
-     Keyword parameter "callbacks" type mismatch: base parameter is type "(_EventT@add_listener, ...) -> _CoroT[None]", override parameter is type "(_EventT@add_listener, ...) -> _CoroT[None]"
+     Keyword parameter "callbacks" type mismatch: base parameter is type "ListenerCallbackSig[_EventT@add_listener]", override parameter is type "ListenerCallbackSig[_EventT@add_listener]"
-       Type "(_EventT@add_listener, ...) -> _CoroT[None]" is incompatible with type "(_EventT@add_listener, ...) -> _CoroT[None]"
+       Type "ListenerCallbackSig[_EventT@add_listener]" is incompatible with type "ListenerCallbackSig[_EventT@add_listener]"
-     Keyword parameter "callbacks" type mismatch: base parameter is type "(_EventT@add_listener, ...) -> _CoroT[None]", override parameter is type "(_EventT@add_listener, ...) -> _CoroT[None]"
+     Keyword parameter "callbacks" type mismatch: base parameter is type "ListenerCallbackSig[_EventT@add_listener]", override parameter is type "ListenerCallbackSig[_EventT@add_listener]"
-       Type "(_EventT@add_listener, ...) -> _CoroT[None]" is incompatible with type "(_EventT@add_listener, ...) -> _CoroT[None]"
+       Type "ListenerCallbackSig[_EventT@add_listener]" is incompatible with type "ListenerCallbackSig[_EventT@add_listener]"
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:212:9 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(self: Self@AbstractOptionParser, key: str, /, converters: _MaybeIterable[ConverterSig[Any]] = (), *, default: Any = tanjun.NO_DEFAULT, greedy: bool = False, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None, multi: bool = False) -> Self@AbstractOptionParser" is incompatible with type "(self: Self@AbstractOptionParser, key: str, /, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@add_argument]], *, default: Any = tanjun.NO_DEFAULT, greedy: bool = False, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@add_argument | None = None, max_value: _SizedCmpProtoT@add_argument | None = None, multi: bool = False) -> Self@AbstractOptionParser"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:370:9 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(self: Self@AbstractOptionParser, key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[Any]] = (), default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None, multi: bool = False) -> Self@AbstractOptionParser" is incompatible with type "(self: Self@AbstractOptionParser, key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@add_option]], default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@add_option | None = None, max_value: _SizedCmpProtoT@add_option | None = None, multi: bool = False) -> Self@AbstractOptionParser"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:704:5 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(key: str, /, converters: _MaybeIterable[ConverterSig[Any]] = (), *, default: Any = tanjun.NO_DEFAULT, greedy: bool = False, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None, multi: bool = False) -> ((_CommandT@with_argument) -> _CommandT@with_argument)" is incompatible with type "(key: str, /, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@with_argument]], *, default: Any = tanjun.NO_DEFAULT, greedy: bool = False, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@with_argument | None = None, max_value: _SizedCmpProtoT@with_argument | None = None, multi: bool = False) -> ((_CommandT@with_argument) -> _CommandT@with_argument)"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:874:5 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(key: str, /, converters: _MaybeIterable[ConverterSig[Any]] = (), *, default: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None) -> ((_CommandT@with_greedy_argument) -> _CommandT@with_greedy_argument)" is incompatible with type "(key: str, /, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@with_greedy_argument]], *, default: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@with_greedy_argument | None = None, max_value: _SizedCmpProtoT@with_greedy_argument | None = None) -> ((_CommandT@with_greedy_argument) -> _CommandT@with_greedy_argument)"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:1038:5 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(key: str, /, converters: _MaybeIterable[ConverterSig[Any]] = (), *, default: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None) -> ((_CommandT@with_multi_argument) -> _CommandT@with_multi_argument)" is incompatible with type "(key: str, /, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@with_multi_argument]], *, default: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@with_multi_argument | None = None, max_value: _SizedCmpProtoT@with_multi_argument | None = None) -> ((_CommandT@with_multi_argument) -> _CommandT@with_multi_argument)"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:1220:5 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[Any]] = (), default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None, multi: bool = False) -> ((_CommandT@with_option) -> _CommandT@with_option)" is incompatible with type "(key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@with_option]], default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@with_option | None = None, max_value: _SizedCmpProtoT@with_option | None = None, multi: bool = False) -> ((_CommandT@with_option) -> _CommandT@with_option)"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:1406:5 - error: Overloaded implementation is not consistent with signature of overload 3
+     Type "(key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[Any]] = (), default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _CmpProto[Any] | None = None, max_value: _CmpProto[Any] | None = None) -> ((_CommandT@with_multi_option) -> _CommandT@with_multi_option)" is incompatible with type "(key: str, name: str, /, *names: str, converters: _MaybeIterable[ConverterSig[_SizedCmpProtoT@with_multi_option]], default: Any, empty_value: Any = tanjun.NO_DEFAULT, min_length: int | None = None, max_length: int | None = None, min_value: _SizedCmpProtoT@with_multi_option | None = None, max_value: _SizedCmpProtoT@with_multi_option | None = None) -> ((_CommandT@with_multi_option) -> _CommandT@with_multi_option)"
+       Keyword parameter "min_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None"
+       Keyword parameter "max_value" of type "Any | None" is incompatible with type "_CmpProto[Any] | None" (reportInconsistentOverload)
+   /tmp/mypy_primer/projects/Tanjun/tanjun/parsing.py:2017:9 - error: Overloaded implementation is not consistent with signature of overload 3

... (truncated 9 lines) ...

steam.py (https://github.com/Gobot1234/steam.py)
-   /tmp/mypy_primer/projects/steam.py/tests/unit/test_commands.py:376:31 - error: Access to generic instance variable through class is ambiguous (reportGeneralTypeIssues)
- 8501 errors, 90 warnings, 0 notes
+ 8500 errors, 90 warnings, 0 notes

pandera (https://github.com/pandera-dev/pandera)
-     Could not bind method "_pydantic_validate" because "type[ComponentSchema[TDataObject@ComponentSchema]]*" is not assignable to parameter "cls"
+     Could not bind method "_pydantic_validate" because "type[Self@ComponentSchema[TDataObject@ComponentSchema]]" is not assignable to parameter "cls"
-     Could not bind method "_pydantic_validate" because "type[ColumnSchema]*" is not assignable to parameter "cls"
+     Could not bind method "_pydantic_validate" because "type[Self@ColumnSchema]" is not assignable to parameter "cls"
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:105:21 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:106:25 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:114:21 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:115:25 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:120:25 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:121:32 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
+   /tmp/mypy_primer/projects/pandera/pandera/backends/pandas/components.py:123:25 - error: Object of type "None" is not subscriptable (reportOptionalSubscript)
- 1942 errors, 25 warnings, 0 notes
+ 1949 errors, 25 warnings, 0 notes

spack (https://github.com/spack/spack)
-   /tmp/mypy_primer/projects/spack/lib/spack/spack/audit.py:853:25 - error: Operator "+=" not supported for types "str | Unbound | Unknown" and "str"
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/audit.py:853:25 - error: Operator "+=" not supported for types "str | Unbound" and "str"
-   /tmp/mypy_primer/projects/spack/lib/spack/spack/graph.py:221:17 - error: Operator "+=" not supported for types "int | Unknown | None" and "Literal[1]"
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/graph.py:221:17 - error: Operator "+=" not supported for types "int | None" and "Literal[1]"
-   /tmp/mypy_primer/projects/spack/lib/spack/spack/cmd/verify.py:81:17 - error: Operator "+=" not supported for types "Unknown | list[Unknown]" and "Unknown | list[Unknown] | Any | None"
+   /tmp/mypy_primer/projects/spack/lib/spack/spack/cmd/verify.py:81:17 - error: Operator "+=" not supported for types "Unknown | Any | list[Unknown]" and "Unknown | list[Unknown] | Any | None"
-     Operator "+" not supported for types "Literal['--with-njet=']" and "None" (reportOperatorIssue)
+     Operator "+" not supported for types "Literal['--with-njet=']" and "None" when expected type is "Unknown | str" (reportOperatorIssue)
-     Operator "+" not supported for types "Literal['--with-vbfnlo=']" and "None" (reportOperatorIssue)
+     Operator "+" not supported for types "Literal['--with-vbfnlo=']" and "None" when expected type is "Unknown | str" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/spack/var/spack/repos/builtin/packages/tasmanian/package.py:148:28 - error: Argument of type "Unknown | str" cannot be assigned to parameter "object" of type "Prefix" in function "append"
+     Type "Unknown | str" is incompatible with type "Prefix"
+       "str" is incompatible with "Prefix" (reportArgumentType)
- 22658 errors, 78 warnings, 0 notes
+ 22659 errors, 78 warnings, 0 notes

hydra-zen (https://github.com/mit-ll-responsible-ai/hydra-zen)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1175:20 - error: No overloads for "builds" match the provided arguments (reportCallIssue)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1177:17 - error: Argument of type "(...) -> Unknown" cannot be assigned to parameter "pos_args" of type "T@BuildsFn" in function "builds"
+     Type "(...) -> Unknown" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1178:25 - error: Argument of type "list[str]" cannot be assigned to parameter "exclude" of type "T@BuildsFn" in function "builds"
+     Type "list[str]" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1179:26 - error: Argument of type "Just[(Any) -> Any] | list[Just[(Any) -> Any]] | None" cannot be assigned to parameter "pre_call" of type "T@BuildsFn" in function "builds"
+     Type "Just[(Any) -> Any] | list[Just[(Any) -> Any]] | None" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1180:31 - error: Argument of type "bool" cannot be assigned to parameter "unpack_kwargs" of type "T@BuildsFn" in function "builds"
+     Type "bool" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1181:34 - error: Argument of type "bool" cannot be assigned to parameter "resolve_pre_call" of type "T@BuildsFn" in function "builds"
+     Type "bool" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1182:32 - error: Argument of type "bool" cannot be assigned to parameter "run_in_context" of type "T@BuildsFn" in function "builds"
+     Type "bool" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:1183:39 - error: Argument of type "((F2@__init__) -> F2@__init__) | None" cannot be assigned to parameter "instantiation_wrapper" of type "T@BuildsFn" in function "builds"
+     Type "((F2@__init__) -> F2@__init__) | None" is incompatible with type "T@BuildsFn" (reportArgumentType)
+   /tmp/mypy_primer/projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:3458:25 - error: Argument of type "tuple[()] | Collection[str | int] | ((str) -> bool)" cannot be assigned to parameter "zen_exclude" of type "T@BuildsFn" in function "builds"
+     Type "tuple[()] | Collection[str | int] | ((str) -> bool)" is incompatible with type "T@BuildsFn" (reportArgumentType)
- 173 errors, 15 warnings, 183 notes
+ 182 errors, 15 warnings, 183 notes

trio (https://github.com/python-trio/trio)
+   /tmp/mypy_primer/projects/trio/src/trio/_path.py:126:15 - error: "open" is marked as overload, but no implementation is provided (reportNoOverloadImplementation)
- 4121 errors, 51 warnings, 0 notes
+ 4122 errors, 51 warnings, 0 notes

dd-trace-py (https://github.com/DataDog/dd-trace-py)
-   /tmp/mypy_primer/projects/dd-trace-py/benchmarks/bm/utils.py:60:28 - error: Argument of type "None" cannot be assigned to parameter "name" of type "str" in function "" (reportArgumentType)
+   /tmp/mypy_primer/projects/dd-trace-py/benchmarks/bm/utils.py:60:28 - error: Argument of type "None" cannot be assigned to parameter "name" of type "str" in function "__init__" (reportArgumentType)
-   /tmp/mypy_primer/projects/dd-trace-py/benchmarks/encoder/utils.py:14:28 - error: Argument of type "None" cannot be assigned to parameter "name" of type "str" in function "" (reportArgumentType)
+   /tmp/mypy_primer/projects/dd-trace-py/benchmarks/encoder/utils.py:14:28 - error: Argument of type "None" cannot be assigned to parameter "name" of type "str" in function "__init__" (reportArgumentType)
-   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/contrib/futures/patch.py:27:8 - error: Argument of type "Any | ((self: ThreadPoolExecutor, fn: ((**_P@submit) -> _T@submit), /, *args: _P@submit.args, **kwargs: _P@submit.kwargs) -> Future[_T@submit])" cannot be assigned to parameter "f" of type "FunctionType" in function "wrap"
+   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/contrib/futures/patch.py:27:8 - error: Argument of type "Any | ((self: ThreadPoolExecutor, fn: ((**_P@submit) -> _T@submit), /, **_P@submit) -> Future[_T@submit])" cannot be assigned to parameter "f" of type "FunctionType" in function "wrap"
-     Type "Any | ((self: ThreadPoolExecutor, fn: ((**_P@submit) -> _T@submit), /, *args: _P@submit.args, **kwargs: _P@submit.kwargs) -> Future[_T@submit])" is incompatible with type "FunctionType"
+     Type "Any | ((self: ThreadPoolExecutor, fn: ((**_P@submit) -> _T@submit), /, **_P@submit) -> Future[_T@submit])" is incompatible with type "FunctionType"
-     Could not bind method "warn" because "TemporaryDirectory*" is not assignable to parameter "message"
+     Could not bind method "warn" because "Self@TemporaryDirectory" is not assignable to parameter "message"
-     Could not bind method "warn" because "TemporaryDirectory*" is not assignable to parameter "message"
+     Could not bind method "warn" because "Self@TemporaryDirectory" is not assignable to parameter "message"
+   /tmp/mypy_primer/projects/dd-trace-py/ddtrace/vendor/psutil/_pslinux.py:1370:23 - error: Operator "/" not supported for types "float | Unknown" and "int | str | Unknown | object"
+     Operator "/" not supported for types "float" and "str"
+     Operator "/" not supported for types "float" and "object" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/_ast/fixtures/annotated_code.py:28:12 - error: Operator "+" not supported for types "str | Unknown" and "str | None"
+     Operator "+" not supported for types "str" and "None" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/_ast/fixtures/annotated_code.py:28:12 - error: Operator "+" not supported for types "str | Unknown" and "str | None"
+     Operator "+" not supported for types "str" and "None" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/_ast/fixtures/annotated_code37.py:27:12 - error: Operator "+" not supported for types "str | Unknown" and "str | None"
+     Operator "+" not supported for types "str" and "None" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/_ast/fixtures/annotated_code37.py:27:12 - error: Operator "+" not supported for types "str | Unknown" and "str | None"
+     Operator "+" not supported for types "str" and "None" (reportOperatorIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:57:35 - error: Cannot access attribute "decode" for class "type[str]"
+     Attribute "decode" is unknown (reportAttributeAccessIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:65:31 - error: Cannot access attribute "decode" for class "type[str]"
+     Attribute "decode" is unknown (reportAttributeAccessIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:116:35 - error: Cannot access attribute "encode" for class "type[bytes]"
+     Attribute "encode" is unknown (reportAttributeAccessIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:116:35 - error: Cannot access attribute "encode" for class "type[bytearray]"
+     Attribute "encode" is unknown (reportAttributeAccessIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:124:57 - error: Cannot access attribute "encode" for class "type[bytes]"
+     Attribute "encode" is unknown (reportAttributeAccessIssue)
+   /tmp/mypy_primer/projects/dd-trace-py/tests/appsec/iast/aspects/test_encode_decode_aspect.py:124:57 - error: Cannot access attribute "encode" for class "type[bytearray]"
+     Attribute "encode" is unknown (reportAttributeAccessIssue)
-     Could not bind method "gen" because "type[Sym]" is not assignable to parameter "n"
+     Could not bind method "gen" because "Sym" is not assignable to parameter "n"
-       Type parameter "_T_contra@SupportsDunderLE" is contravariant, but "int" is not a supertype of "str | Unknown"
-         Type "str | Unknown" is incompatible with type "int"
+       "__le__" is an incompatible type
+         Type "(value: int, /) -> bool" is incompatible with type "(other: _T_contra@SupportsDunderLE, /) -> bool"
+           Parameter 1: type "_T_contra@SupportsDunderLE" is incompatible with type "int"
-           "str" is incompatible with "int" (reportArgumentType)
+             Type "str | Unknown" is incompatible with type "int" (reportArgumentType)
- 11412 errors, 546 warnings, 0 notes
+ 11423 errors, 546 warnings, 0 notes