-
Notifications
You must be signed in to change notification settings - Fork 1.4k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Further simplification of the logic involved in type var solving. #8600
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Diff from mypy_primer, showing the effect of this PR on open source code: anyio (https://github.com/agronholm/anyio)
- /tmp/mypy_primer/projects/anyio/src/anyio/_backends/_asyncio.py:906:31 - error: Argument of type "tuple[(func: (*PosArgsT@_call_func) -> (Awaitable[T_Retval@_call_func] | T_Retval@_call_func), args: tuple[*PosArgsT@_call_func], kwargs: dict[str, Any], future: Future[T_Retval@_call_func]) -> Coroutine[Any, Any, None], (*PosArgsT@_spawn_task_from_thread) -> (Awaitable[T_Retval@_spawn_task_from_thread] | T_Retval@_spawn_task_from_thread), tuple[*PosArgsT@_spawn_task_from_thread], dict[str, Any], Future[T_Retval@_spawn_task_from_thread]]" cannot be assigned to parameter "args" of type "tuple[*PosArgsT@run_sync_from_thread]" in function "run_sync_from_thread"
- Type "(*PosArgsT@_spawn_task_from_thread) -> (Awaitable[T_Retval@_spawn_task_from_thread] | T_Retval@_spawn_task_from_thread)" is incompatible with type "(*PosArgsT@_call_func) -> (Awaitable[T_Retval@_call_func] | T_Retval@_call_func)"
- Parameter 1: type "*PosArgsT@_call_func" is incompatible with type "*PosArgsT@_spawn_task_from_thread"
- Type "*PosArgsT@_call_func" is incompatible with type "*PosArgsT@_spawn_task_from_thread" (reportArgumentType)
- 32 errors, 1 warning, 0 informations
+ 31 errors, 1 warning, 0 informations
graphql-core (https://github.com/graphql-python/graphql-core)
- /tmp/mypy_primer/projects/graphql-core/src/graphql/error/graphql_error.py:121:16 - error: Expression of type "(self: Exception) -> int" is incompatible with declared type "(self: Self@object) -> int"
- Type "(self: Exception) -> int" is incompatible with type "(self: Self@object) -> int"
- Parameter 1: type "Self@object" is incompatible with type "Exception"
- "object*" is incompatible with "Exception" (reportAssignmentType)
- 135 errors, 35 warnings, 0 informations
+ 134 errors, 35 warnings, 0 informations
sympy (https://github.com/sympy/sympy)
- /tmp/mypy_primer/projects/sympy/sympy/core/exprtools.py:964:31 - error: Operator "*" not supported for types "Unknown | Basic" and "Unknown | Order"
- Operator "*" not supported for types "Basic" and "Order" (reportOperatorIssue)
- /tmp/mypy_primer/projects/sympy/sympy/core/exprtools.py:975:9 - error: Operator "*=" not supported for types "Unknown | Basic" and "Unknown | Mul | Number"
- Operator "*" not supported for types "Basic" and "Mul"
- Operator "*" not supported for types "Basic" and "Number" (reportOperatorIssue)
- /tmp/mypy_primer/projects/sympy/sympy/core/exprtools.py:1070:31 - error: Cannot access attribute "as_coeff_Mul" for class "Basic"
- Attribute "as_coeff_Mul" is unknown (reportAttributeAccessIssue)
- /tmp/mypy_primer/projects/sympy/sympy/functions/combinatorial/factorials.py:228:36 - error: Argument of type "type[int]" cannot be assigned to parameter "func" of type "(_T1@__new__) -> _S@map" in function "__new__"
- No overloaded function matches type "(Basic | Unknown) -> _S@map" (reportArgumentType)
+ /tmp/mypy_primer/projects/sympy/sympy/functions/combinatorial/factorials.py:228:42 - error: Argument of type "tuple[Basic, Unknown, Unknown]" cannot be assigned to parameter "iter1" of type "Iterable[_T1@__new__]" in function "__new__"
+ Type "Basic" is incompatible with type "ConvertibleToInt"
+ "Basic" is incompatible with "str"
+ "Basic" is incompatible with protocol "Buffer"
+ "__buffer__" is not present
+ "Basic" is incompatible with protocol "SupportsInt"
+ "__int__" is not present
+ "Basic" is incompatible with protocol "SupportsIndex"
+ "__index__" is not present (reportArgumentType)
- /tmp/mypy_primer/projects/sympy/sympy/functions/combinatorial/factorials.py:999:24 - error: Argument of type "type[int]" cannot be assigned to parameter "func" of type "(_T1@__new__) -> _S@map" in function "__new__"
+ /tmp/mypy_primer/projects/sympy/sympy/functions/combinatorial/factorials.py:999:29 - error: Argument of type "tuple[Basic, Basic]" cannot be assigned to parameter "iter1" of type "Iterable[_T1@__new__]" in function "__new__"
- No overloaded function matches type "(Basic) -> _S@map" (reportArgumentType)
+ Type "Basic" is incompatible with type "ConvertibleToInt"
+ "Basic" is incompatible with "str"
+ "Basic" is incompatible with protocol "Buffer"
+ "__buffer__" is not present
+ "Basic" is incompatible with protocol "SupportsInt"
+ "__int__" is not present
+ "Basic" is incompatible with protocol "SupportsIndex"
+ "__index__" is not present (reportArgumentType)
- Operator "**" not supported for types "type[__class_UndefinedFunction]" and "Literal[2]" (reportOperatorIssue)
+ Operator "**" not supported for types "type[__class_UndefinedFunction]" and "Literal[2]" when expected type is "Unknown" (reportOperatorIssue)
- 68390 errors, 1225 warnings, 0 informations
+ 68387 errors, 1225 warnings, 0 informations
scikit-learn (https://github.com/scikit-learn/scikit-learn)
- Type "Literal['_invalid_analyzer_type_']" is incompatible with type "(**params: Unknown) -> Self@BaseEstimator" (reportAttributeAccessIssue)
+ Type "Literal['_invalid_analyzer_type_']" is incompatible with type "(**params: Unknown) -> CountVectorizer" (reportAttributeAccessIssue)
- Operator "*" not supported for types "list[Unknown]" and "float" when expected type is "Unknown" (reportOperatorIssue)
+ Operator "*" not supported for types "list[Unknown]" and "float" (reportOperatorIssue)
core (https://github.com/home-assistant/core)
- /tmp/mypy_primer/projects/core/homeassistant/components/habitica/__init__.py:157:9 - error: Argument of type "type[HAHabitipyAsync]" cannot be assigned to parameter "target" of type "(*_Ts@async_add_executor_job) -> _T@async_add_executor_job" in function "async_add_executor_job"
+ /tmp/mypy_primer/projects/core/homeassistant/components/habitica/__init__.py:156:17 - error: Argument of type "*tuple[dict[str, Any]]" cannot be assigned to parameter "args" of type "*_Ts@async_add_executor_job" in function "async_add_executor_job"
- Type "type[HAHabitipyAsync]" is incompatible with type "(dict[str, Any]) -> HAHabitipyAsync"
- Function accepts too many positional parameters; expected 0 but received 1 (reportArgumentType)
+ Type "*tuple[dict[str, Any]]" is incompatible with type "*tuple[()]"
+ "*tuple[dict[str, Any]]" is incompatible with "*tuple[()]"
+ Tuple size mismatch; expected 0 but received 1 (reportArgumentType)
+ /tmp/mypy_primer/projects/core/homeassistant/helpers/config_validation.py:298:5 - error: Overloaded implementation is not consistent with signature of overload 3
+ Type "(value: _T@ensure_list | None) -> (list[_T@ensure_list] | list[Any])" is incompatible with type "(value: list[_T@ensure_list] | _T@ensure_list) -> list[_T@ensure_list]"
+ Parameter 1: type "list[_T@ensure_list] | _T@ensure_list" is incompatible with type "_T@ensure_list | None" (reportInconsistentOverload)
- 23771 errors, 353 warnings, 0 informations
+ 23772 errors, 353 warnings, 0 informations
steam.py (https://github.com/Gobot1234/steam.py)
+ /tmp/mypy_primer/projects/steam.py/steam/ext/commands/commands.py:851:5 - error: Overloaded implementation is not consistent with signature of overload 1
+ Type "(callback: CoroFuncT@group | None = None, /, *, name: str | None = None, cls: type[G@group] | None = None, **attrs: Any) -> (((CoroFuncT@group) -> G@group) | G@group)" is incompatible with type "(callback: CallbackT[CogT@group, P@group, R@group], /) -> Group[CogT@group, P@group, R@group]"
+ Parameter 1: type "CallbackT[CogT@group, P@group, R@group]" is incompatible with type "CoroFuncT@group | None" (reportInconsistentOverload)
- /tmp/mypy_primer/projects/steam.py/steam/ext/commands/commands.py:774:30 - error: Argument of type "Group[Cog[Bot] | Bot | None, ..., Any]" cannot be assigned to parameter "command" of type "Command[CogT@GroupMixin, ..., Any]" in function "add_command"
- "Group[Cog[Bot] | Bot | None, ..., Any]" is incompatible with "Command[CogT@GroupMixin, ..., Any]"
- Type parameter "CogT@Command" is covariant, but "Cog[Bot] | Bot | None" is not a subtype of "CogT@GroupMixin"
- Type "Cog[Bot] | Bot | None" is incompatible with type "CogT@GroupMixin" (reportArgumentType)
xarray (https://github.com/pydata/xarray)
+ /tmp/mypy_primer/projects/xarray/xarray/core/utils.py:471:9 - error: Overloaded implementation is not consistent with signature of overload 2
+ Function return type "V@FrozenMappingWarningOnValuesAccess | T@get" is incompatible with type "V@FrozenMappingWarningOnValuesAccess | None" (reportInconsistentOverload)
- 2516 errors, 108 warnings, 0 informations
+ 2517 errors, 108 warnings, 0 informations
discord.py (https://github.com/Rapptz/discord.py)
+ /tmp/mypy_primer/projects/discord.py/discord/enums.py
+ /tmp/mypy_primer/projects/discord.py/discord/enums.py:84:76 - warning: Unnecessary "# type: ignore" comment (reportUnnecessaryTypeIgnoreComment)
+ /tmp/mypy_primer/projects/discord.py/discord/enums.py:85:57 - warning: Unnecessary "# type: ignore" comment (reportUnnecessaryTypeIgnoreComment)
+ /tmp/mypy_primer/projects/discord.py/discord/enums.py:87:109 - warning: Unnecessary "# type: ignore" comment (reportUnnecessaryTypeIgnoreComment)
+ /tmp/mypy_primer/projects/discord.py/discord/enums.py:88:109 - warning: Unnecessary "# type: ignore" comment (reportUnnecessaryTypeIgnoreComment)
+ /tmp/mypy_primer/projects/discord.py/discord/enums.py:89:108 - warning: Unnecessary "# type: ignore" comment (reportUnnecessaryTypeIgnoreComment)
+ /tmp/mypy_primer/projects/discord.py/discord/enums.py:90:108 - warning: Unnecessary "# type: ignore" comment (reportUnnecessaryTypeIgnoreComment)
- 118 errors, 86 warnings, 0 informations
+ 118 errors, 92 warnings, 0 informations
arviz (https://github.com/arviz-devs/arviz)
- /tmp/mypy_primer/projects/arviz/arviz/rcparams.py:421:16 - error: No overloads for "join" match the provided arguments (reportCallIssue)
- /tmp/mypy_primer/projects/arviz/arviz/rcparams.py:421:59 - error: Argument of type "list[tuple[str, Any]]" cannot be assigned to parameter "iter1" of type "Iterable[_T1@__new__]" in function "__new__"
- "list[tuple[str, Any]]" is incompatible with "Iterable[LiteralString]"
- Type parameter "_T_co@Iterable" is covariant, but "tuple[str, Any]" is not a subtype of "LiteralString"
- "tuple[str, Any]" is incompatible with "LiteralString" (reportArgumentType)
- 1295 errors, 11 warnings, 0 informations
+ 1293 errors, 11 warnings, 0 informations
spark (https://github.com/apache/spark)
- /tmp/mypy_primer/projects/spark/python/pyspark/pandas/window.py:1448:33 - error: Expression of type "(self: Rolling[Unknown], func: (Column) -> Column) -> Unknown" is incompatible with declared type "(self: Self@RollingAndExpanding[FrameLike@RollingAndExpanding], func: (Column) -> Column) -> FrameLike@Expanding"
- Type "(self: Rolling[Unknown], func: (Column) -> Column) -> Unknown" is incompatible with type "(self: Self@RollingAndExpanding[FrameLike@RollingAndExpanding], func: (Column) -> Column) -> FrameLike@RollingAndExpanding"
- Parameter 1: type "Self@RollingAndExpanding[FrameLike@RollingAndExpanding]" is incompatible with type "Rolling[Unknown]"
- "RollingAndExpanding[FrameLike@RollingAndExpanding]*" is incompatible with "Rolling[Unknown]" (reportAssignmentType)
- /tmp/mypy_primer/projects/spark/python/pyspark/pandas/window.py:1954:33 - error: Expression of type "(self: RollingGroupby[Unknown], func: (Column) -> Column) -> Unknown" is incompatible with declared type "(self: Self@RollingAndExpanding[FrameLike@RollingAndExpanding], func: (Column) -> Column) -> FrameLike@ExpandingGroupby"
- Type "(self: RollingGroupby[Unknown], func: (Column) -> Column) -> Unknown" is incompatible with type "(self: Self@RollingAndExpanding[FrameLike@RollingAndExpanding], func: (Column) -> Column) -> FrameLike@RollingAndExpanding"
- Parameter 1: type "Self@RollingAndExpanding[FrameLike@RollingAndExpanding]" is incompatible with type "RollingGroupby[Unknown]"
- "RollingAndExpanding[FrameLike@RollingAndExpanding]*" is incompatible with "RollingGroupby[Unknown]" (reportAssignmentType)
- 24162 errors, 279 warnings, 0 informations
+ 24160 errors, 279 warnings, 0 informations
Tanjun (https://github.com/FasterSpeeding/Tanjun)
- /tmp/mypy_primer/projects/Tanjun/tanjun/checks.py:985:5 - error: Overload 1 for "with_check" overlaps overload 2 and returns an incompatible type (reportOverlappingOverload)
- /tmp/mypy_primer/projects/Tanjun/tanjun/checks.py:985:5 - error: Overload 1 for "with_check" overlaps overload 3 and returns an incompatible type (reportOverlappingOverload)
- /tmp/mypy_primer/projects/Tanjun/tanjun/checks.py:985:5 - error: Overload 1 for "with_check" overlaps overload 4 and returns an incompatible type (reportOverlappingOverload)
+ /tmp/mypy_primer/projects/Tanjun/tanjun/checks.py:991:5 - error: Overload 2 for "with_check" overlaps overload 3 and returns an incompatible type (reportOverlappingOverload)
+ /tmp/mypy_primer/projects/Tanjun/tanjun/checks.py:991:5 - error: Overload 2 for "with_check" overlaps overload 4 and returns an incompatible type (reportOverlappingOverload)
- /tmp/mypy_primer/projects/Tanjun/tanjun/checks.py:1072:5 - error: Overload 1 for "with_all_checks" overlaps overload 2 and returns an incompatible type (reportOverlappingOverload)
- /tmp/mypy_primer/projects/Tanjun/tanjun/checks.py:1072:5 - error: Overload 1 for "with_all_checks" overlaps overload 3 and returns an incompatible type (reportOverlappingOverload)
- /tmp/mypy_primer/projects/Tanjun/tanjun/checks.py:1072:5 - error: Overload 1 for "with_all_checks" overlaps overload 4 and returns an incompatible type (reportOverlappingOverload)
+ /tmp/mypy_primer/projects/Tanjun/tanjun/checks.py:1078:5 - error: Overload 2 for "with_all_checks" overlaps overload 3 and returns an incompatible type (reportOverlappingOverload)
+ /tmp/mypy_primer/projects/Tanjun/tanjun/checks.py:1078:5 - error: Overload 2 for "with_all_checks" overlaps overload 4 and returns an incompatible type (reportOverlappingOverload)
- /tmp/mypy_primer/projects/Tanjun/tanjun/checks.py:1213:5 - error: Overload 1 for "with_any_checks" overlaps overload 2 and returns an incompatible type (reportOverlappingOverload)
- /tmp/mypy_primer/projects/Tanjun/tanjun/checks.py:1213:5 - error: Overload 1 for "with_any_checks" overlaps overload 3 and returns an incompatible type (reportOverlappingOverload)
- /tmp/mypy_primer/projects/Tanjun/tanjun/checks.py:1213:5 - error: Overload 1 for "with_any_checks" overlaps overload 4 and returns an incompatible type (reportOverlappingOverload)
+ /tmp/mypy_primer/projects/Tanjun/tanjun/checks.py:1226:5 - error: Overload 2 for "with_any_checks" overlaps overload 3 and returns an incompatible type (reportOverlappingOverload)
+ /tmp/mypy_primer/projects/Tanjun/tanjun/checks.py:1226:5 - error: Overload 2 for "with_any_checks" overlaps overload 4 and returns an incompatible type (reportOverlappingOverload)
- 2521 errors, 6684 warnings, 0 informations
+ 2518 errors, 6684 warnings, 0 informations
ibis (https://github.com/ibis-project/ibis)
- /tmp/mypy_primer/projects/ibis/ibis/backends/tests/test_client.py:1329:9 - error: No overloads for "__init__" match the provided arguments (reportCallIssue)
- /tmp/mypy_primer/projects/ibis/ibis/backends/tests/test_client.py:1329:9 - error: Argument of type "dict[bytes, bytes]" cannot be assigned to parameter "pairs" of type "SchemaLike | None" in function "schema"
- Type "dict[bytes, bytes]" is incompatible with type "SchemaLike | None"
- "dict[bytes, bytes]" is incompatible with "Schema"
- "dict[bytes, bytes]" is incompatible with "Mapping[str, str | DataType]"
- Type parameter "_KT@Mapping" is invariant, but "bytes" is not the same as "str"
- Type parameter "_VT_co@Mapping" is covariant, but "bytes" is not a subtype of "str | DataType"
- Type "bytes" is incompatible with type "str | DataType"
- "bytes" is incompatible with "str"
- "bytes" is incompatible with "DataType"
- ... (reportArgumentType)
- /tmp/mypy_primer/projects/ibis/ibis/backends/tests/test_client.py:1329:70 - error: Argument of type "range" cannot be assigned to parameter "iter1" of type "Iterable[_T1@__new__]" in function "__new__"
- "range" is incompatible with "Iterable[LiteralString]"
- Type parameter "_T_co@Iterable" is covariant, but "int" is not a subtype of "LiteralString"
- "int" is incompatible with "LiteralString" (reportArgumentType)
- /tmp/mypy_primer/projects/ibis/ibis/backends/trino/tests/test_client.py:149:9 - error: No overloads for "__init__" match the provided arguments (reportCallIssue)
- /tmp/mypy_primer/projects/ibis/ibis/backends/trino/tests/test_client.py:149:9 - error: Argument of type "dict[bytes, bytes]" cannot be assigned to parameter "pairs" of type "SchemaLike | None" in function "schema"
- Type "dict[bytes, bytes]" is incompatible with type "SchemaLike | None"
- "dict[bytes, bytes]" is incompatible with "Schema"
- "dict[bytes, bytes]" is incompatible with "Mapping[str, str | DataType]"
- Type parameter "_KT@Mapping" is invariant, but "bytes" is not the same as "str"
- Type parameter "_VT_co@Mapping" is covariant, but "bytes" is not a subtype of "str | DataType"
- Type "bytes" is incompatible with type "str | DataType"
- "bytes" is incompatible with "str"
- "bytes" is incompatible with "DataType"
- ... (reportArgumentType)
- /tmp/mypy_primer/projects/ibis/ibis/backends/trino/tests/test_client.py:149:70 - error: Argument of type "range" cannot be assigned to parameter "iter1" of type "Iterable[_T1@__new__]" in function "__new__"
- "range" is incompatible with "Iterable[LiteralString]"
- Type parameter "_T_co@Iterable" is covariant, but "int" is not a subtype of "LiteralString"
- "int" is incompatible with "LiteralString" (reportArgumentType)
- /tmp/mypy_primer/projects/ibis/ibis/tests/benchmarks/test_benchmarks.py:993:33 - error: Argument of type "range" cannot be assigned to parameter "iter1" of type "Iterable[_T1@__new__]" in function "__new__"
- "range" is incompatible with "Iterable[LiteralString]"
- Type parameter "_T_co@Iterable" is covariant, but "int" is not a subtype of "LiteralString"
- "int" is incompatible with "LiteralString" (reportArgumentType)
- 8724 errors, 121 warnings, 0 informations
+ 8717 errors, 121 warnings, 0 informations
spack (https://github.com/spack/spack)
- /tmp/mypy_primer/projects/spack/lib/spack/spack/util/spack_yaml.py:45:16 - error: Expression of type "(self: list[Unknown]) -> str" is incompatible with declared type "(self: Self@object) -> str"
- Type "(self: list[Unknown]) -> str" is incompatible with type "(self: Self@object) -> str"
- Parameter 1: type "Self@object" is incompatible with type "list[Unknown]"
- "object*" is incompatible with "list[Unknown]" (reportAssignmentType)
- /tmp/mypy_primer/projects/spack/lib/spack/spack/util/spack_yaml.py:49:16 - error: Expression of type "(self: str) -> str" is incompatible with declared type "(self: Self@object) -> str"
- Type "(self: str) -> str" is incompatible with type "(self: Self@object) -> str"
- Parameter 1: type "Self@object" is incompatible with type "str"
- "object*" is incompatible with "str" (reportAssignmentType)
- /tmp/mypy_primer/projects/spack/lib/spack/spack/util/spack_yaml.py:53:16 - error: Expression of type "(self: int) -> str" is incompatible with declared type "(self: Self@object) -> str"
- Type "(self: int) -> str" is incompatible with type "(self: Self@object) -> str"
- Parameter 1: type "Self@object" is incompatible with type "int"
- "object*" is incompatible with "int" (reportAssignmentType)
- 22678 errors, 74 warnings, 0 informations
+ 22675 errors, 74 warnings, 0 informations
setuptools (https://github.com/pypa/setuptools)
- /tmp/mypy_primer/projects/setuptools/setuptools/_vendor/importlib_metadata/__init__.py:572:44 - error: Argument of type "list[str]" cannot be assigned to parameter "iter1" of type "Iterable[_T1@__new__]" in function "__new__"
- "list[str]" is incompatible with "Iterable[LiteralString]"
- Type parameter "_T_co@Iterable" is covariant, but "str" is not a subtype of "LiteralString"
- "str" is incompatible with "LiteralString" (reportArgumentType)
- 2690 errors, 59 warnings, 0 informations
+ 2689 errors, 59 warnings, 0 informations
streamlit (https://github.com/streamlit/streamlit)
- /tmp/mypy_primer/projects/streamlit/lib/streamlit/elements/lib/event_utils.py
- /tmp/mypy_primer/projects/streamlit/lib/streamlit/elements/lib/event_utils.py:37:19 - error: Expression of type "(self: dict[Unknown, Unknown], key: Unknown, value: Unknown, /) -> None" is incompatible with declared type "(self: Self@object, name: str, value: Any, /) -> None"
- Type "(self: dict[Unknown, Unknown], key: Unknown, value: Unknown, /) -> None" is incompatible with type "(self: Self@object, name: str, value: Any, /) -> None"
- Parameter 1: type "Self@object" is incompatible with type "dict[Unknown, Unknown]"
- "object*" is incompatible with "dict[Unknown, Unknown]" (reportAssignmentType)
- 3428 errors, 144 warnings, 0 informations
+ 3427 errors, 144 warnings, 0 informations
jax (https://github.com/google/jax)
- /tmp/mypy_primer/projects/jax/jax/_src/core.py:1011:38 - error: Argument of type "list[MainTrace]" cannot be assigned to parameter "__arg1" of type "Iterable[T1@safe_map]" in function "safe_map"
- "list[MainTrace]" is incompatible with "Iterable[LiteralString]"
- Type parameter "_T_co@Iterable" is covariant, but "MainTrace" is not a subtype of "LiteralString"
- "MainTrace" is incompatible with "LiteralString" (reportArgumentType)
+ /tmp/mypy_primer/projects/jax/jax/_src/pallas/mosaic/pipeline.py:532:54 - error: Argument of type "tuple[int | Array, ...]" cannot be assigned to parameter "iter2" of type "Iterable[_T2@__new__]" in function "__new__"
+ "tuple[int | Array, ...]" is incompatible with "Iterable[int]"
+ Type parameter "_T_co@Iterable" is covariant, but "int | Array" is not a subtype of "int"
- /tmp/mypy_primer/projects/jax/jax/_src/pallas/mosaic/pipeline.py:532:18 - error: Argument of type "type[GridAxis]" cannot be assigned to parameter "func" of type "(_T1@__new__, _T2@__new__) -> _S@map" in function "__new__"
- Type "((index: Array, size: int) -> GridAxis) | ((...) -> GridAxis)" is incompatible with type "(Unknown, int | Array) -> GridAxis"
- Type "(index: Array, size: int) -> GridAxis" is incompatible with type "(Unknown, int | Array) -> GridAxis"
- Parameter 2: type "int | Array" is incompatible with type "int"
- Type "int | Array" is incompatible with type "int"
+ Type "int | Array" is incompatible with type "int"
- "Array" is incompatible with "int" (reportArgumentType)
+ "Array" is incompatible with "int" (reportArgumentType)
- 6123 errors, 26 warnings, 0 informations
+ 6122 errors, 26 warnings, 0 informations
manticore (https://github.com/trailofbits/manticore)
- /tmp/mypy_primer/projects/manticore/manticore/ethereum/manticore.py:845:27 - error: Argument of type "type[int]" cannot be assigned to parameter "func" of type "(_T1@__new__) -> _S@map" in function "__new__"
+ /tmp/mypy_primer/projects/manticore/manticore/ethereum/manticore.py:845:32 - error: Argument of type "dict_values[str, EVMContract]" cannot be assigned to parameter "iter1" of type "Iterable[_T1@__new__]" in function "__new__"
- No overloaded function matches type "(EVMContract) -> _S@map" (reportArgumentType)
+ "dict_values[str, EVMContract]" is incompatible with "Iterable[ConvertibleToInt]"
+ Type parameter "_T_co@Iterable" is covariant, but "EVMContract" is not a subtype of "ConvertibleToInt"
+ Type "EVMContract" is incompatible with type "ConvertibleToInt"
+ "EVMContract" is incompatible with "str"
+ "EVMContract" is incompatible with protocol "Buffer"
+ "__buffer__" is not present
+ "EVMContract" is incompatible with protocol "SupportsInt"
+ "__int__" is an incompatible type
+ ... (reportArgumentType)
aiohttp (https://github.com/aio-libs/aiohttp)
- /tmp/mypy_primer/projects/aiohttp/aiohttp/client_exceptions.py:166:18 - error: Expression of type "(self: BaseException) -> (str | tuple[Any, ...])" is incompatible with declared type "(self: Self@object) -> (str | tuple[Any, ...])"
- Type "(self: BaseException) -> (str | tuple[Any, ...])" is incompatible with type "(self: Self@object) -> (str | tuple[Any, ...])"
- Parameter 1: type "Self@object" is incompatible with type "BaseException"
- "object*" is incompatible with "BaseException" (reportAssignmentType)
- 111 errors, 1 warning, 0 informations
+ 110 errors, 1 warning, 0 informations
|
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This addresses #8301 and #5855.