Further simplification of the logic involved in type var solving.

[erictraut]

This addresses #8301 and #5855.

[github-actions]

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