[ty] solve unions against generic protocols#24837
Merged
Conversation
carljm
requested review from
AlexWaygood,
dcreager,
ibraheemdev and
sharkdp
as code owners
Typing conformance resultsNo changes detected ✅Current numbersThe percentage of diagnostics emitted that were expected errors held steady at 87.94%. The percentage of expected errors that received a diagnostic held steady at 83.36%. The number of fully passing files held steady at 79/133. |
Memory usage reportSummary
Significant changesClick to expand detailed breakdownprefect
trio
sphinx
flake8
|
|
| Lint rule | Added | Removed | Changed |
|---|---|---|---|
invalid-argument-type |
64 | 24 | 40 |
type-assertion-failure |
22 | 24 | 27 |
unresolved-attribute |
35 | 3 | 2 |
unsupported-operator |
23 | 1 | 9 |
invalid-assignment |
17 | 0 | 14 |
no-matching-overload |
10 | 4 | 0 |
invalid-return-type |
7 | 0 | 5 |
unused-type-ignore-comment |
0 | 7 | 0 |
invalid-yield |
3 | 0 | 0 |
not-iterable |
3 | 0 | 0 |
index-out-of-bounds |
2 | 0 | 0 |
missing-argument |
0 | 2 | 0 |
possibly-unresolved-reference |
0 | 2 | 0 |
call-non-callable |
1 | 0 | 0 |
not-subscriptable |
1 | 0 | 0 |
| Total | 188 | 67 | 97 |
Flaky changes detected. This PR summary excludes flaky changes; see the HTML report for details.
Showing a random sample of 253 of 352 changes. See the HTML report for the full diff.
Raw diff sample (253 of 352 changes)
PyGithub (https://github.com/PyGithub/PyGithub)
- tests/Connection.py:76:32 error[invalid-argument-type] Argument to constructor `chain.__new__` is incorrect: Expected `Iterable[str]`, found `tuple[<class 'ReplayingHttpConnection'>, str] | tuple[<class 'ReplayingHttpsConnection'>, str]`
Tanjun (https://github.com/FasterSpeeding/Tanjun)
+ tanjun/commands/slash.py:1785:30 error[not-iterable] Object of type `Sequence[((int, /, *args: Any, **kwargs: Any) -> Coroutine[Any, Any, Any] | Any) | ((str, /, *args: Any, **kwargs: Any) -> Coroutine[Any, Any, Any] | Any)] | ((int, /, *args: Any, **kwargs: Any) -> Coroutine[Any, Any, Any] | Any) | ((str, /, *args: Any, **kwargs: Any) -> Coroutine[Any, Any, Any] | Any)` may not be iterable
+ tanjun/commands/slash.py:1843:17 error[invalid-argument-type] Argument to `_TrackedOption.__init__` is incorrect: Expected `list[((int, /, *args: Any, **kwargs: Any) -> Coroutine[Any, Any, Any] | Any) | ((str, /, *args: Any, **kwargs: Any) -> Coroutine[Any, Any, Any] | Any)] | None`, found `Sequence[((int, /, *args: Any, **kwargs: Any) -> Coroutine[Any, Any, Any] | Any) | ((str, /, *args: Any, **kwargs: Any) -> Coroutine[Any, Any, Any] | Any)] | ((int, /, *args: Any, **kwargs: Any) -> Coroutine[Any, Any, Any] | Any) | ((str, /, *args: Any, **kwargs: Any) -> Coroutine[Any, Any, Any] | Any)`
anyio (https://github.com/agronholm/anyio)
+ src/anyio/functools.py:395:43 error[invalid-argument-type] Argument is incorrect: Expected `T@reduce`, found `T@reduce | S@reduce`
bokeh (https://github.com/bokeh/bokeh)
+ src/bokeh/layouts.py:309:34 error[invalid-argument-type] Argument to constructor `enumerate.__new__` is incorrect: Expected `Iterable[Unknown]`, found `Unknown | UIElement | None | list[UIElement | None]`
+ src/bokeh/layouts.py:315:41 error[unresolved-attribute] Object of type `Model` has no attribute `toolbar`
+ src/bokeh/layouts.py:316:25 error[unresolved-attribute] Unresolved attribute `toolbar_location` on type `Model`
+ src/bokeh/plotting/_renderer.py:212:42 error[unsupported-operator] Operator `+` is not supported between objects of type `str` and `None | str`
+ src/bokeh/plotting/_renderer.py:213:34 error[unsupported-operator] Operator `+` is not supported between objects of type `str` and `None | str`
+ src/bokeh/plotting/_renderer.py:228:24 error[invalid-argument-type] Argument to bound method `set.add` is incorrect: Expected `str`, found `None | str`
cloud-init (https://github.com/canonical/cloud-init)
+ cloudinit/sources/DataSourceOracle.py:372:28 error[unresolved-attribute] Object of type `str` has no attribute `get`
+ cloudinit/sources/DataSourceOracle.py:374:23 error[unresolved-attribute] Object of type `str` has no attribute `get`
+ cloudinit/sources/DataSourceOracle.py:384:21 error[invalid-argument-type] Method `__getitem__` of type `Overload[(key: SupportsIndex | slice[SupportsIndex | None, SupportsIndex | None, SupportsIndex | None], /) -> LiteralString, (key: SupportsIndex | slice[SupportsIndex | None, SupportsIndex | None, SupportsIndex | None], /) -> str]` cannot be called with key of type `Literal["ipv6Addresses"]` on object of type `str`
+ cloudinit/sources/DataSourceOracle.py:387:48 error[invalid-argument-type] Method `__getitem__` of type `Overload[(key: SupportsIndex | slice[SupportsIndex | None, SupportsIndex | None, SupportsIndex | None], /) -> LiteralString, (key: SupportsIndex | slice[SupportsIndex | None, SupportsIndex | None, SupportsIndex | None], /) -> str]` cannot be called with key of type `Literal["subnetCidrBlock"]` on object of type `str`
+ cloudinit/sources/DataSourceOracle.py:396:20 error[unresolved-attribute] Object of type `str` has no attribute `get`
+ cloudinit/sources/DataSourceOracle.py:406:20 error[unresolved-attribute] Object of type `str` has no attribute `get`
+ tests/unittests/test_ds_identify.py:1007:16 error[unresolved-attribute] Attribute `get` is not defined on `str` in union `str | dict[str, str | int] | dict[str, str | int | Unknown]`
+ tests/unittests/test_ds_identify.py:1485:16 error[invalid-argument-type] Method `__getitem__` of type `Overload[(key: SupportsIndex | slice[SupportsIndex | None, SupportsIndex | None, SupportsIndex | None], /) -> LiteralString, (key: SupportsIndex | slice[SupportsIndex | None, SupportsIndex | None, SupportsIndex | None], /) -> str]` cannot be called with key of type `Literal["name"]` on object of type `str`
+ tests/unittests/test_ds_identify.py:1012:40 error[unresolved-attribute] Attribute `replace` is not defined on `int` in union `Unknown | str | int`
+ tests/unittests/test_ds_identify.py:1012:40 error[invalid-argument-type] Method `__getitem__` of type `Overload[(key: SupportsIndex | slice[SupportsIndex | None, SupportsIndex | None, SupportsIndex | None], /) -> LiteralString, (key: SupportsIndex | slice[SupportsIndex | None, SupportsIndex | None, SupportsIndex | None], /) -> str]` cannot be called with key of type `Literal["out"]` on object of type `str`
- tests/unittests/test_net.py:5345:9 error[invalid-assignment] Invalid subscript assignment with key of type `Literal["devices"]` and value of type `set[Unknown]` on object of type `dict[str, list[str] | dict[str, str | None] | dict[Unknown, Unknown]]`
+ tests/unittests/test_net.py:5345:9 error[invalid-assignment] Invalid subscript assignment with key of type `Literal["devices"]` and value of type `set[str | Unknown]` on object of type `dict[str, list[str] | dict[str, str | None] | dict[Unknown, Unknown]]`
core (https://github.com/home-assistant/core)
- homeassistant/components/assist_satellite/__init__.py:124:69 error[invalid-argument-type] Argument to bound method `AssistSatelliteEntity.async_internal_ask_question` is incorrect: Expected `str`, found `Unknown | None`
+ homeassistant/components/assist_satellite/__init__.py:124:69 error[invalid-argument-type] Argument to bound method `AssistSatelliteEntity.async_internal_ask_question` is incorrect: Expected `str`, found `Any | None`
- homeassistant/components/icloud/config_flow.py:218:36 error[invalid-argument-type] Argument to constructor `enumerate.__new__` is incorrect: Expected `Iterable[Unknown]`, found `Any | None | bool | list[Any] | dict[Any, Any]`
+ homeassistant/components/icloud/config_flow.py:218:36 error[invalid-argument-type] Argument to constructor `enumerate.__new__` is incorrect: Expected `Iterable[Any]`, found `Any | None | bool | list[Any] | dict[Any, Any]`
- homeassistant/components/philips_js/light.py:304:13 error[invalid-assignment] Invalid subscript assignment with key of type `Literal["colorSettings"]` and value of type `dict[str, str | None | dict[str, Unknown | int] | dict[str, int]]` on object of type `dict[str, str | bool]`
+ homeassistant/components/philips_js/light.py:304:13 error[invalid-assignment] Invalid subscript assignment with key of type `Literal["colorSettings"]` and value of type `dict[str, str | None | dict[str, int]]` on object of type `dict[str, str | bool]`
- homeassistant/components/template/light.py:310:20 error[invalid-return-type] Return type does not match returned value: expected `list[int] | None`, found `list[_T@list]`
+ homeassistant/components/template/light.py:310:20 error[invalid-return-type] Return type does not match returned value: expected `list[int] | None`, found `list[int | float]`
- homeassistant/components/template/light.py:310:25 error[invalid-argument-type] Argument to `list.__init__` is incorrect: Expected `Iterable[int]`, found `(Any & Top[list[Unknown]]) | (Any & tuple[object, ...]) | list[int | float]`
cwltool (https://github.com/common-workflow-language/cwltool)
+ cwltool/command_line_tool.py:1251:46 error[invalid-argument-type] Argument to function `shortname` is incorrect: Expected `str`, found `Unknown | int | str | ... omitted 6 union elements`
+ cwltool/process.py:448:46 error[invalid-argument-type] Argument to function `avroize_type` is incorrect: Expected `MutableMapping[str, int | str | float | ... omitted 5 union elements] | MutableSequence[Any] | int | ... omitted 7 union elements`, found `object`
dd-trace-py (https://github.com/DataDog/dd-trace-py)
- ddtrace/_trace/processor/__init__.py:387:13 error[invalid-argument-type] Argument to constructor `chain.__new__` is incorrect: Expected `Iterable[TraceSamplingProcessor | TraceTagsProcessor | ServiceNameProcessor]`, found `list[TraceProcessor] | list[Unknown]`
- ddtrace/_trace/processor/__init__.py:391:25 error[unresolved-attribute] Object of type `_T@chain` has no attribute `process_trace`
- ddtrace/appsec/_iast/taint_sinks/code_injection.py:113:29 error[invalid-argument-type] Argument to `set.__init__` is incorrect: Expected `Iterable[Unknown]`, found `None | Unknown | dict[str, Any]`
+ ddtrace/appsec/_iast/taint_sinks/code_injection.py:113:29 error[invalid-argument-type] Argument to `set.__init__` is incorrect: Expected `Iterable[str]`, found `None | Unknown | dict[str, Any]`
- ddtrace/contrib/internal/ray/span_manager.py:104:17 error[invalid-argument-type] Argument to constructor `chain.__new__` is incorrect: Expected `Iterable[TraceSamplingProcessor | TraceTagsProcessor | ServiceNameProcessor]`, found `list[TraceProcessor] | list[Unknown]`
- ddtrace/contrib/internal/ray/span_manager.py:108:25 error[unresolved-attribute] Object of type `_T@chain` has no attribute `process_trace`
- ddtrace/contrib/internal/subprocess/patch.py:327:40 error[invalid-argument-type] Argument to `deque.__init__` is incorrect: Expected `Iterable[Unknown]`, found `list[Unknown] | None | list[str] | Unknown`
+ ddtrace/contrib/internal/subprocess/patch.py:327:40 error[invalid-argument-type] Argument to `deque.__init__` is incorrect: Expected `Iterable[Unknown | str]`, found `list[Unknown] | None | list[str] | Unknown`
dedupe (https://github.com/dedupeio/dedupe)
+ dedupe/api.py:551:34 error[invalid-assignment] Object of type `list[tuple[tuple[int, int], int | float] | tuple[tuple[str, str], int | float] | ndarray[Unknown, dtype[Any]]]` is not assignable to `Iterable[ndarray[Unknown, dtype[Any]]] | Iterable[tuple[tuple[int, int], int | float]] | Iterable[tuple[tuple[str, str], int | float]]`
discord.py (https://github.com/Rapptz/discord.py)
+ discord/utils.py:1106:16 error[invalid-return-type] Return type does not match returned value: expected `Iterable[list[T@as_chunks]] | AsyncIterable[list[T@as_chunks]]`, found `AsyncIterator[list[object]]`
dulwich (https://github.com/dulwich/dulwich)
- dulwich/client.py:5202:17 error[invalid-assignment] Invalid subscript assignment with key of type `Literal["timeout"]` and value of type `int | float` on object of type `dict[str, dict[Unknown, Unknown] | bool]`
+ dulwich/client.py:5202:17 error[invalid-assignment] Invalid subscript assignment with key of type `Literal["timeout"]` and value of type `int | float` on object of type `dict[str, dict[str | Unknown, str | Unknown] | bool]`
- dulwich/client.py:5205:62 error[invalid-argument-type] Argument to bound method `RequestMethods.request` is incorrect: Expected `bytes | IO[Any] | Iterable[bytes] | str | None`, found `dict[Unknown, Unknown] | bool`
+ dulwich/client.py:5205:62 error[invalid-argument-type] Argument to bound method `RequestMethods.request` is incorrect: Expected `bytes | IO[Any] | Iterable[bytes] | str | None`, found `dict[str | Unknown, str | Unknown] | bool`
- dulwich/client.py:5208:63 error[invalid-argument-type] Argument to bound method `RequestMethods.request` is incorrect: Expected `bytes | IO[Any] | Iterable[bytes] | str | None`, found `dict[Unknown, Unknown] | bool`
+ dulwich/client.py:5208:63 error[invalid-argument-type] Argument to bound method `RequestMethods.request` is incorrect: Expected `bytes | IO[Any] | Iterable[bytes] | str | None`, found `dict[str | Unknown, str | Unknown] | bool`
- dulwich/pack.py:3290:33 warning[unused-type-ignore-comment] Unused blanket `type: ignore` directive
+ dulwich/walk.py:184:24 error[invalid-argument-type] Argument to bound method `_CommitTimeQueue._push` is incorrect: Expected `ObjectID`, found `ObjectID | int | Unknown`
graphql-core (https://github.com/graphql-python/graphql-core)
+ src/graphql/language/visitor.py:229:43 error[invalid-argument-type] Argument expression after ** must be a mapping with `str` key type: Found `Any | str | int`
+ src/graphql/language/visitor.py:229:43 error[invalid-argument-type] Argument expression after ** must be a mapping with `str` key type: Found `Any | str | int`
+ src/graphql/language/visitor.py:229:43 error[invalid-argument-type] Argument expression after ** must be a mapping with `str` key type: Found `Any | str | int`
hydpy (https://github.com/hydpy-dev/hydpy)
+ hydpy/auxs/interptools.py:166:36 error[invalid-argument-type] Argument to constructor `enumerate.__new__` is incorrect: Expected `Iterable[Unknown]`, found `int | (Sequence[int | float] & ~float) | (ndarray[tuple[int], dtype[float64]] & ~float)`
+ hydpy/core/objecttools.py:2034:25 error[invalid-argument-type] Argument to function `is_equal` is incorrect: Expected `int | float | ndarray[tuple[Any, ...], dtype[float64]] | Mapping[str, Divergent] | Sequence[Divergent]`, found `object`
ibis (https://github.com/ibis-project/ibis)
+ ibis/common/egraph.py:396:32 error[invalid-argument-type] Argument to `Variable.__init__` is incorrect: Expected `str`, found `int`
- ibis/util.py:261:45 error[invalid-argument-type] Argument to function `reduce` is incorrect: Expected `Iterable[SupportsRMul[Literal[1], Literal[1]]]`, found `tuple[Literal[7, 24, 60, 1000], ...] | tuple[Literal[4, 3], ...]`
- ibis/util.py:133:22 error[invalid-argument-type] Argument to class `tuple` is incorrect: Expected `Iterable[Unknown]`, found `(V@promote_tuple & ~tuple[object, ...]) | (Iterable[V@promote_tuple] & ~tuple[object, ...])`
+ ibis/util.py:133:22 error[invalid-argument-type] Argument to class `tuple` is incorrect: Expected `Iterable[V@promote_tuple]`, found `(V@promote_tuple & ~tuple[object, ...]) | (Iterable[V@promote_tuple] & ~tuple[object, ...])`
ignite (https://github.com/pytorch/ignite)
+ tests/ignite/contrib/engines/test_tbptt.py:38:16 error[unresolved-attribute] Attribute `grad_fn` is not defined on `str`, `int` in union `Unknown | str | int`
+ tests/ignite/metrics/vision/test_object_detection_map.py:1005:41 error[invalid-argument-type] Method `__getitem__` of type `bound method dict[str, Unknown].__getitem__(key: str, /) -> Unknown` cannot be called with key of type `tuple[slice[None, None, None], slice[None, Literal[4], None]]` on object of type `dict[str, Unknown]`
+ tests/ignite/metrics/vision/test_object_detection_map.py:1006:49 error[invalid-argument-type] Method `__getitem__` of type `bound method dict[str, Unknown].__getitem__(key: str, /) -> Unknown` cannot be called with key of type `tuple[slice[None, None, None], Literal[4]]` on object of type `dict[str, Unknown]`
+ tests/ignite/metrics/vision/test_object_detection_map.py:1017:44 error[invalid-argument-type] Method `__getitem__` of type `bound method dict[str, Unknown].__getitem__(key: str, /) -> Unknown` cannot be called with key of type `tuple[slice[None, None, None], Literal[4]]` on object of type `dict[str, Unknown]`
+ tests/ignite/metrics/vision/test_object_detection_map.py:1018:46 error[invalid-argument-type] Method `__getitem__` of type `bound method dict[str, Unknown].__getitem__(key: str, /) -> Unknown` cannot be called with key of type `tuple[slice[None, None, None], Literal[5]]` on object of type `dict[str, Unknown]`
jax (https://github.com/google/jax)
+ jax/_src/export/serialization.py:378:60 error[invalid-argument-type] Argument to function `named_to_hlo_sharding` is incorrect: Expected `NamedSharding | None`, found `Unknown | HloSharding | NamedSharding | None`
+ jax/_src/export/serialization.py:380:61 error[invalid-argument-type] Argument to function `named_to_hlo_sharding` is incorrect: Expected `NamedSharding | None`, found `Unknown | HloSharding | NamedSharding | None`
- jax/_src/internal_test_util/test_harnesses.py:2218:47 error[invalid-argument-type] Argument to constructor `map.__new__` is incorrect: Expected `Iterable[SupportsSub[SupportsRSub[Never, Unknown], Unknown]]`, found `Unknown | tuple[Literal[2]]`
- jax/_src/interpreters/partial_eval.py:2443:13 error[invalid-argument-type] Argument to function `foreach` is incorrect: Expected `(Var, None | DynamicJaxprTracer, /) -> Any`, found `Overload[[_T](key: Var, default: None = None, /) -> _T | None, (key: Var, default: DynamicJaxprTracer, /) -> DynamicJaxprTracer]`
+ jax/_src/interpreters/partial_eval.py:2443:13 error[invalid-argument-type] Argument to function `foreach` is incorrect: Expected `(Var, None | DynamicJaxprTracer | Unknown, /) -> Any`, found `Overload[[_T](key: Var, default: None = None, /) -> _T | None, (key: Var, default: DynamicJaxprTracer, /) -> DynamicJaxprTracer]`
+ jax/_src/numpy/lax_numpy.py:2213:31 error[unsupported-operator] Operator `-` is not supported between objects of type `int | Any | Sequence[int | Any]` and `Literal[1]`
+ jax/_src/numpy/lax_numpy.py:3680:34 error[invalid-argument-type] Argument to function `where` is incorrect: Expected `Array | ndarray[tuple[Any, ...], dtype[Any]] | numpy.bool[builtins.bool] | ... omitted 4 union elements`, found `object`
kopf (https://github.com/nolar/kopf)
- kopf/_cogs/clients/api.py:72:16 error[invalid-assignment] Object of type `_T@chain` is not assignable to `int | float | None`
+ kopf/_cogs/clients/api.py:72:16 error[invalid-assignment] Object of type `object` is not assignable to `int | float | None`
- kopf/_cogs/clients/api.py:72:53 error[invalid-argument-type] Argument to constructor `chain.__new__` is incorrect: Expected `Iterable[None]`, found `(int & Iterable[object]) | (float & Iterable[object]) | Iterable[int | float]`
meson (https://github.com/mesonbuild/meson)
+ mesonbuild/backend/ninjabackend.py:1257:27 error[unresolved-attribute] Attribute `get_outputs` is not defined on `str`, `File`, `ExtractedObjects`, `StructuredSources` in union `str | File | CustomTarget | ... omitted 6 union elements`
- mesonbuild/build.py:3032:9 error[invalid-assignment] Object of type `list[_T@list]` is not assignable to attribute `depend_files` of type `list[File]`
+ mesonbuild/build.py:3032:9 error[invalid-assignment] Object of type `list[File | str | Unknown]` is not assignable to attribute `depend_files` of type `list[File]`
mitmproxy (https://github.com/mitmproxy/mitmproxy)
+ test/mitmproxy/proxy/tutils.py:68:24 error[invalid-argument-type] Argument to function `_eq` is incorrect: Expected `Command | Event`, found `object`
+ test/mitmproxy/proxy/tutils.py:68:27 error[invalid-argument-type] Argument to function `_eq` is incorrect: Expected `Command | Event`, found `object`
mongo-python-driver (https://github.com/mongodb/mongo-python-driver)
+ pymongo/read_preferences.py:77:12 error[invalid-return-type] Return type does not match returned value: expected `Sequence[Mapping[str, Any]] | None`, found `list[object]`
+ pymongo/helpers_shared.py:160:20 error[invalid-return-type] Return type does not match returned value: expected `Sequence[tuple[str, int | str | Mapping[str, Any]]]`, found `list[str | tuple[object, object]]`
+ pymongo/helpers_shared.py:346:16 error[invalid-return-type] Return type does not match returned value: expected `Mapping[str, Any]`, found `dict[object, int]`
nox (https://github.com/wntrblm/nox)
- nox/_parametrize.py:153:37 error[invalid-argument-type] Argument to `list.__init__` is incorrect: Expected `Iterable[Param | Iterable[Any | Param | Iterable[Any]]]`, found `(Iterable[Param | Iterable[Any]] & tuple[object, ...]) | (Param & tuple[object, ...]) | (Iterable[Any] & tuple[object, ...]) | ... omitted 3 union elements`
pandas (https://github.com/pandas-dev/pandas)
+ pandas/core/frame.py:7211:36 error[no-matching-overload] No overload of function `maybe_convert_objects` matches arguments
- pandas/core/frame.py:5373:32 error[invalid-argument-type] Argument to constructor `frozenset.__new__` is incorrect: Expected `Iterable[Unknown]`, found `Unknown | None | tuple[Unknown & ~None] | tuple[()]`
+ pandas/core/frame.py:5373:32 error[invalid-argument-type] Argument to constructor `frozenset.__new__` is incorrect: Expected `Iterable[Unknown & ~None]`, found `Unknown | None | tuple[Unknown & ~None] | tuple[()]`
- pandas/core/frame.py:5373:52 error[invalid-argument-type] Argument to constructor `frozenset.__new__` is incorrect: Expected `Iterable[Unknown]`, found `Unknown | None | tuple[Unknown & ~None] | tuple[()]`
+ pandas/core/frame.py:5373:52 error[invalid-argument-type] Argument to constructor `frozenset.__new__` is incorrect: Expected `Iterable[Unknown & ~None]`, found `Unknown | None | tuple[Unknown & ~None] | tuple[()]`
+ pandas/core/groupby/grouper.py:901:28 error[unresolved-attribute] Attribute `name` is not defined on `None`, `ndarray[tuple[Any, ...], dtype[Any]]` in union `Unknown | None | ndarray[tuple[Any, ...], dtype[Any]]`
- pandas/core/strings/accessor.py:382:30 error[unresolved-attribute] Attribute `dtype` is not defined on `dict[Unknown, ArrowExtensionArray]`, `list[Unknown]` in union `(Unknown & <Protocol with members 'ndim'> & <Protocol with members 'dtype'>) | dict[Unknown, ArrowExtensionArray] | list[Unknown]`
+ pandas/core/strings/accessor.py:382:30 error[unresolved-attribute] Attribute `dtype` is not defined on `dict[int, ArrowExtensionArray]`, `list[Unknown]` in union `(Unknown & <Protocol with members 'ndim'> & <Protocol with members 'dtype'>) | dict[int, ArrowExtensionArray] | list[Unknown]`
- pandas/io/formats/style_render.py:1875:33 warning[possibly-unresolved-reference] Name `last_label` used when possibly not defined
+ pandas/io/parsers/base_parser.py:245:37 error[invalid-argument-type] Argument to bound method `list.insert` is incorrect: Expected `tuple[Any, ...]`, found `int | integer[Any] | Unknown`
+ pandas/io/sql.py:1056:41 error[unresolved-attribute] Object of type `dtype[Any] | ExtensionDtype` has no attribute `pyarrow_dtype`
+ pandas/plotting/_matplotlib/core.py:1614:17 error[invalid-argument-type] Argument to bound method `LinePlot._plot` is incorrect: Expected `ndarray[tuple[Any, ...], dtype[Any]]`, found `Series | ndarray[tuple[Any, ...], dtype[Any]]`
+ pandas/plotting/_matplotlib/core.py:1614:17 error[invalid-argument-type] Argument to bound method `LinePlot._ts_plot` is incorrect: Expected `Series`, found `Series | ndarray[tuple[Any, ...], dtype[Any]]`
pandas-stubs (https://github.com/pandas-dev/pandas-stubs)
- tests/indexes/bool/test_add.py:38:11 error[type-assertion-failure] Type `Index[Unknown]` does not match asserted type `Index[int | float]`
+ tests/indexes/bool/test_add.py:38:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Index[int | float]`
+ tests/indexes/bool/test_add.py:38:23 error[unsupported-operator] Operator `+` is not supported between objects of type `Index[bool]` and `list[int | float]`
- tests/indexes/bool/test_add.py:39:11 error[type-assertion-failure] Type `Index[Unknown]` does not match asserted type `Index[int | float | complex]`
+ tests/indexes/bool/test_add.py:39:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Index[int | float | complex]`
- tests/indexes/bool/test_add.py:43:11 error[type-assertion-failure] Type `Index[Unknown]` does not match asserted type `Index[int | float]`
+ tests/indexes/bool/test_add.py:43:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Index[int | float]`
+ tests/indexes/bool/test_add.py:43:23 error[unsupported-operator] Operator `+` is not supported between objects of type `list[int | float]` and `Index[bool]`
- tests/indexes/bool/test_add.py:44:11 error[type-assertion-failure] Type `Index[Unknown]` does not match asserted type `Index[int | float | complex]`
+ tests/indexes/bool/test_add.py:44:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Index[int | float | complex]`
+ tests/indexes/bool/test_add.py:44:23 error[unsupported-operator] Operator `+` is not supported between objects of type `list[int | float | complex]` and `Index[bool]`
- tests/indexes/bool/test_mul.py:64:11 error[type-assertion-failure] Type `Index[Unknown]` does not match asserted type `Index[int | float]`
+ tests/indexes/bool/test_mul.py:64:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Index[int | float]`
+ tests/indexes/bool/test_mul.py:64:23 error[unsupported-operator] Operator `*` is not supported between objects of type `Index[bool]` and `list[int | float]`
+ tests/indexes/bool/test_mul.py:65:23 error[unsupported-operator] Operator `*` is not supported between objects of type `Index[bool]` and `list[int | float | complex]`
- tests/indexes/bool/test_mul.py:72:11 error[type-assertion-failure] Type `Index[Unknown]` does not match asserted type `Index[int | float]`
+ tests/indexes/bool/test_mul.py:72:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Index[int | float]`
- tests/indexes/bool/test_mul.py:73:11 error[type-assertion-failure] Type `Index[Unknown]` does not match asserted type `Index[int | float | complex]`
+ tests/indexes/bool/test_mul.py:73:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Index[int | float | complex]`
+ tests/indexes/bool/test_mul.py:73:23 error[unsupported-operator] Operator `*` is not supported between objects of type `list[int | float | complex]` and `Index[bool]`
- tests/indexes/int/test_add.py:39:11 error[type-assertion-failure] Type `Index[Unknown]` does not match asserted type `Index[int | float]`
- tests/indexes/int/test_add.py:45:11 error[type-assertion-failure] Type `Index[Unknown]` does not match asserted type `Index[int | float | complex]`
- tests/indexes/int/test_mul.py:65:11 error[type-assertion-failure] Type `Index[Unknown]` does not match asserted type `Index[int | float]`
- tests/indexes/int/test_mul.py:66:11 error[type-assertion-failure] Type `Index[Unknown]` does not match asserted type `Index[int | float | complex]`
- tests/indexes/int/test_mul.py:73:11 error[type-assertion-failure] Type `Index[Unknown]` does not match asserted type `Index[int | float]`
- tests/indexes/int/test_mul.py:74:11 error[type-assertion-failure] Type `Index[Unknown]` does not match asserted type `Index[int | float | complex]`
+ tests/indexes/test_add.py:41:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Index[Any]`
+ tests/indexes/test_add.py:42:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Index[Any]`
+ tests/indexes/test_add.py:46:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Index[Any]`
+ tests/indexes/test_add.py:47:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Index[Any]`
+ tests/indexes/test_mul.py:45:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Index[Any]`
+ tests/indexes/test_mul.py:46:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Index[Any]`
+ tests/indexes/test_mul.py:51:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Index[Any]`
+ tests/series/bool/test_add.py:50:23 error[unsupported-operator] Operator `+` is not supported between objects of type `Series[bool]` and `list[int | float]`
+ tests/series/bool/test_add.py:51:23 error[unsupported-operator] Operator `+` is not supported between objects of type `Series[bool]` and `list[int | float | complex]`
- tests/series/bool/test_add.py:55:11 error[type-assertion-failure] Type `Series[Unknown]` does not match asserted type `Series[int | float]`
+ tests/series/bool/test_add.py:55:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Series[int | float]`
+ tests/series/bool/test_add.py:55:23 error[unsupported-operator] Operator `+` is not supported between objects of type `list[int | float]` and `Series[bool]`
- tests/series/bool/test_add.py:56:11 error[type-assertion-failure] Type `Series[Unknown]` does not match asserted type `Series[int | float | complex]`
+ tests/series/bool/test_add.py:56:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Series[int | float | complex]`
+ tests/series/bool/test_add.py:56:23 error[unsupported-operator] Operator `+` is not supported between objects of type `list[int | float | complex]` and `Series[bool]`
- tests/series/bool/test_add.py:60:11 error[type-assertion-failure] Type `Series[Unknown]` does not match asserted type `Series[int | float]`
+ tests/series/bool/test_add.py:60:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Series[int | float]`
+ tests/series/bool/test_add.py:60:23 error[no-matching-overload] No overload of bound method `Series.add` matches arguments
- tests/series/bool/test_add.py:61:11 error[type-assertion-failure] Type `Series[Unknown]` does not match asserted type `Series[int | float | complex]`
+ tests/series/bool/test_add.py:61:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Series[int | float | complex]`
+ tests/series/bool/test_add.py:61:23 error[no-matching-overload] No overload of bound method `Series.add` matches arguments
- tests/series/bool/test_add.py:67:9 error[type-assertion-failure] Type `Series[Unknown]` does not match asserted type `Series[int | float | complex]`
+ tests/series/bool/test_add.py:67:9 error[type-assertion-failure] Type `Unknown` does not match asserted type `Series[int | float | complex]`
+ tests/series/bool/test_add.py:67:21 error[no-matching-overload] No overload of bound method `Series.radd` matches arguments
- tests/series/bool/test_mul.py:83:11 error[type-assertion-failure] Type `Series[Unknown]` does not match asserted type `Series[int | float]`
+ tests/series/bool/test_mul.py:83:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Series[int | float]`
+ tests/series/bool/test_mul.py:83:23 error[unsupported-operator] Operator `*` is not supported between objects of type `Series[bool]` and `list[int | float]`
- tests/series/bool/test_mul.py:84:11 error[type-assertion-failure] Type `Series[Unknown]` does not match asserted type `Series[int | float | complex]`
+ tests/series/bool/test_mul.py:84:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Series[int | float | complex]`
+ tests/series/bool/test_mul.py:84:23 error[unsupported-operator] Operator `*` is not supported between objects of type `Series[bool]` and `list[int | float | complex]`
- tests/series/bool/test_mul.py:91:11 error[type-assertion-failure] Type `Series[Unknown]` does not match asserted type `Series[int | float]`
+ tests/series/bool/test_mul.py:91:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Series[int | float]`
+ tests/series/bool/test_mul.py:91:23 error[unsupported-operator] Operator `*` is not supported between objects of type `list[int | float]` and `Series[bool]`
- tests/series/bool/test_mul.py:92:11 error[type-assertion-failure] Type `Series[Unknown]` does not match asserted type `Series[int | float | complex]`
+ tests/series/bool/test_mul.py:92:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Series[int | float | complex]`
+ tests/series/bool/test_mul.py:99:23 error[no-matching-overload] No overload of bound method `Series.mul` matches arguments
+ tests/series/bool/test_mul.py:100:23 error[no-matching-overload] No overload of bound method `Series.mul` matches arguments
+ tests/series/bool/test_mul.py:107:23 error[no-matching-overload] No overload of bound method `Series.rmul` matches arguments
+ tests/series/bool/test_mul.py:109:21 error[no-matching-overload] No overload of bound method `Series.rmul` matches arguments
- tests/series/int/test_add.py:50:11 error[type-assertion-failure] Type `Series[Unknown]` does not match asserted type `Series[int | float]`
- tests/series/int/test_add.py:56:11 error[type-assertion-failure] Type `Series[Unknown]` does not match asserted type `Series[int | float | complex]`
- tests/series/int/test_add.py:61:11 error[type-assertion-failure] Type `Series[Unknown]` does not match asserted type `Series[int | float | complex]`
- tests/series/int/test_mul.py:83:11 error[type-assertion-failure] Type `Series[Unknown]` does not match asserted type `Series[int | float]`
- tests/series/int/test_mul.py:84:11 error[type-assertion-failure] Type `Series[Unknown]` does not match asserted type `Series[int | float | complex]`
- tests/series/int/test_mul.py:92:11 error[type-assertion-failure] Type `Series[Unknown]` does not match asserted type `Series[int | float | complex]`
- tests/series/int/test_mul.py:100:11 error[type-assertion-failure] Type `Series[Unknown]` does not match asserted type `Series[int | float | complex]`
- tests/series/int/test_mul.py:107:11 error[type-assertion-failure] Type `Series[Unknown]` does not match asserted type `Series[int | float]`
- tests/series/int/test_mul.py:109:9 error[type-assertion-failure] Type `Series[Unknown]` does not match asserted type `Series[int | float | complex]`
+ tests/series/test_add.py:55:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Series[Any]`
+ tests/series/test_add.py:56:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Series[Any]`
+ tests/series/test_add.py:67:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Series[Any]`
+ tests/series/test_add.py:68:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Series[Any]`
+ tests/series/test_add.py:73:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Series[Any]`
+ tests/series/test_add.py:74:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Series[Any]`
+ tests/series/test_mul.py:55:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Series[Any]`
+ tests/series/test_mul.py:56:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Series[Any]`
+ tests/series/test_mul.py:65:11 error[type-assertion-failure] Type `Unknown` does not match asserted type `Series[Any]`
pip (https://github.com/pypa/pip)
+ src/pip/_vendor/rich/_ratio.py:69:17 error[invalid-assignment] Invalid subscript assignment with key of type `int` and value of type `int | float` on object of type `list[int | None]`
prefect (https://github.com/PrefectHQ/prefect)
+ src/prefect/cli/artifact.py:96:45 error[unresolved-attribute] Attribute `latest_id` is not defined on `Artifact` in union `Artifact | ArtifactCollection | UnspecializedTypeVar`
- src/prefect/server/models/flow_runs.py:624:15 error[missing-argument] No argument provided for required parameter `db`
- src/prefect/server/models/task_runs.py:556:15 error[missing-argument] No argument provided for required parameter `db`
+ src/prefect/tasks.py:955:17 error[invalid-assignment] Invalid subscript assignment with key of type `str | Unknown` and value of type `set[RunInput]` on object of type `dict[str, set[TaskRunResult | FlowRunResult]]`
+ src/prefect/tasks.py:1060:17 error[invalid-assignment] Invalid subscript assignment with key of type `str | Unknown` and value of type `set[RunInput]` on object of type `dict[str, set[TaskRunResult | FlowRunResult]]`
psycopg (https://github.com/psycopg/psycopg)
- psycopg/psycopg/waiting.py:266:17 error[invalid-argument-type] Argument to function `select` is incorrect: Expected `Iterable[Never]`, found `tuple[int] | tuple[()]`
- psycopg/psycopg/waiting.py:267:17 error[invalid-argument-type] Argument to function `select` is incorrect: Expected `Iterable[Never]`, found `tuple[int] | tuple[()]`
pwndbg (https://github.com/pwndbg/pwndbg)
+ pwndbg/emu/emulator.py:551:36 error[invalid-assignment] Object of type `tuple[UnspecializedTypeVar | str | None, ...]` is not assignable to `tuple[str]`
+ pwndbg/enhance.py:164:16 error[invalid-return-type] Return type does not match returned value: expected `str`, found `UnspecializedTypeVar | str | None`
pycryptodome (https://github.com/Legrandin/pycryptodome)
+ lib/Crypto/SelfTest/Hash/test_CMAC.py:434:9 error[invalid-assignment] Invalid subscript assignment with key of type `Literal[4]` and value of type `dict[str, str | <module 'Crypto.Cipher.AES'> | <module 'Crypto.Cipher.DES3'>]` on object of type `list[str | <module 'Crypto.Cipher.AES'> | <module 'Crypto.Cipher.DES3'>]`
pydantic (https://github.com/pydantic/pydantic)
- pydantic/_internal/_utils.py:285:48 warning[unused-type-ignore-comment] Unused blanket `type: ignore` directive
pywin32 (https://github.com/mhammond/pywin32)
- Pythonwin/pywin/scintilla/view.py:518:22 error[invalid-argument-type] Argument to constructor `map.__new__` is incorrect: Expected `Iterable[Buffer]`, found `dict[Unknown, Unknown] | dict[str, Any | None]`
- Pythonwin/pywin/scintilla/view.py:520:20 error[unresolved-attribute] Object of type `_S@map` has no attribute `startswith`
- Pythonwin/pywin/scintilla/view.py:558:13 error[invalid-argument-type] Argument to bound method `list.sort` is incorrect: Argument type `_S@map` does not satisfy upper bound `SupportsDunderLT[Any] | SupportsDunderGT[Any]` of type variable `SupportsRichComparisonT`
rotki (https://github.com/rotki/rotki)
+ rotkehlchen/chain/decoding/tools.py:81:9 error[invalid-assignment] Object of type `frozenset[BTCAddress | ChecksumAddress | SubstrateAddress | SolanaAddress]` is not assignable to attribute `_tracked_addresses_for_chain` of type `frozenset[A@BaseDecoderTools]`
- rotkehlchen/utils/misc.py:400:12 error[invalid-return-type] Return type does not match returned value: expected `list[tuple[str, bool]] | None`, found `list[tuple[Unknown | bool, Unknown | bool]]`
+ rotkehlchen/utils/misc.py:400:12 error[invalid-return-type] Return type does not match returned value: expected `list[tuple[str, bool]] | None`, found `list[tuple[str | bool, bool | Unknown]]`
schema_salad (https://github.com/common-workflow-language/schema_salad)
+ schema_salad/schema.py:411:20 error[unsupported-operator] Operator `in` is not supported between objects of type `str` and `object`
+ schema_salad/sourceline.py:224:28 error[invalid-argument-type] Argument to function `cmap` is incorrect: Expected `int | float | str | ... omitted 3 union elements`, found `object`
scikit-learn (https://github.com/scikit-learn/scikit-learn)
- sklearn/externals/array_api_extra/_lib/_lazy.py:215:18 error[invalid-assignment] Object of type `list[_T@list]` is not assignable to `list[tuple[int | None, ...]]`
+ sklearn/externals/array_api_extra/_lib/_lazy.py:215:18 error[invalid-assignment] Object of type `list[int | None | tuple[int | None, ...]]` is not assignable to `list[tuple[int | None, ...]]`
- sklearn/externals/array_api_extra/_lib/_lazy.py:215:23 error[invalid-argument-type] Argument to `list.__init__` is incorrect: Expected `Iterable[tuple[int | None, ...]]`, found `tuple[int | None, ...] | Sequence[tuple[int | None, ...]]`
+ sklearn/inspection/_plot/partial_dependence.py:1486:32 error[index-out-of-bounds] Index 1 is out of bounds for tuple `tuple[bool]` with length 1
+ sklearn/neighbors/_classification.py:307:28 error[unresolved-attribute] Attribute `take` is not defined on `list[Unknown]` in union `Unknown | list[Unknown]`
+ sklearn/neighbors/_classification.py:402:44 error[unresolved-attribute] Attribute `size` is not defined on `list[Unknown]` in union `Unknown | list[Unknown]`
+ sklearn/neighbors/_classification.py:711:55 error[unresolved-attribute] Attribute `dtype` is not defined on `list[Unknown]` in union `Unknown | list[Unknown]`
+ sklearn/neighbors/_classification.py:848:44 error[unresolved-attribute] Attribute `size` is not defined on `list[Unknown]` in union `Unknown | list[Unknown]`
+ sklearn/neighbors/_classification.py:854:66 error[unresolved-attribute] Attribute `size` is not defined on `list[Unknown]` in union `Unknown | list[Unknown]`
+ sklearn/neighbors/_classification.py:858:52 error[unresolved-attribute] Attribute `size` is not defined on `list[Unknown]` in union `Unknown | list[Unknown]`
scipy (https://github.com/scipy/scipy)
- scipy/_lib/_bunch.py:206:9 error[invalid-assignment] Invalid subscript assignment with key of type `str` and value of type `property` on object of type `dict[str, str | tuple[str, ...] | ([_T_co](self: type[tuple[Unknown, ...]], iterable: Iterable[Unknown] = ..., /) -> Unknown) | ... omitted 4 union elements]`
+ scipy/_lib/_bunch.py:206:9 error[invalid-assignment] Invalid subscript assignment with key of type `str` and value of type `property` on object of type `dict[str, str | tuple[str | Unknown, ...] | ([_T_co](self: type[tuple[Unknown, ...]], iterable: Iterable[Unknown] = ..., /) -> Unknown) | ... omitted 4 union elements]`
+ scipy/signal/tests/test_short_time_fft.py:650:58 error[invalid-argument-type] Argument to `ShortTimeFFT.__init__` is incorrect: Expected `int | None`, found `Any | None | int | str`
+ scipy/signal/tests/test_short_time_fft.py:651:46 error[invalid-argument-type] Argument to `ShortTimeFFT.__init__` is incorrect: Expected `int | None`, found `Any | None | int | str`
- scipy/signal/tests/test_signaltools.py:3552:18 error[no-matching-overload] No overload of bound method `str.join` matches arguments
- scipy/special/tests/test_cdflib.py:117:37 error[invalid-argument-type] Argument to constructor `zip.__new__` is incorrect: Expected `Iterable[Unknown]`, found `None | (Unknown & Top[list[Unknown]]) | list[Unknown | None]`
+ scipy/special/tests/test_cdflib.py:117:37 error[invalid-argument-type] Argument to constructor `zip.__new__` is incorrect: Expected `Iterable[Unknown | None]`, found `None | (Unknown & Top[list[Unknown]]) | list[Unknown | None]`
- scipy/special/tests/test_cdflib.py:117:54 error[invalid-argument-type] Argument to constructor `zip.__new__` is incorrect: Expected `Iterable[Unknown]`, found `None | (Unknown & Top[list[Unknown]]) | list[Unknown | None]`
+ scipy/special/tests/test_cdflib.py:117:54 error[invalid-argument-type] Argument to constructor `zip.__new__` is incorrect: Expected `Iterable[Unknown | None]`, found `None | (Unknown & Top[list[Unknown]]) | list[Unknown | None]`
- subprojects/array_api_extra/src/array_api_extra/_lib/_lazy.py:215:18 error[invalid-assignment] Object of type `list[_T@list]` is not assignable to `list[tuple[int | None, ...]]`
+ subprojects/array_api_extra/src/array_api_extra/_lib/_lazy.py:215:18 error[invalid-assignment] Object of type `list[int | None | tuple[int | None, ...]]` is not assignable to `list[tuple[int | None, ...]]`
+ subprojects/highs/highs/highspy/highs.py:1003:39 error[invalid-argument-type] Argument to bound method `Highs.__addRow` is incorrect: Expected `highs_linear_expression`, found `object`
- subprojects/highs/highs/highspy/highs.py:1164:40 error[invalid-argument-type] Argument to constructor `map.__new__` is incorrect: Expected `Iterable[str | Buffer | SupportsInt | SupportsIndex | SupportsTrunc]`, found `(highs_var & Iterable[object]) | (int & Iterable[object]) | Iterable[highs_var | int]`
+ subprojects/highs/highs/highspy/highs.py:1164:35 error[invalid-argument-type] Argument to constructor `map.__new__` is incorrect: Expected `(object, /) -> int`, found `<class 'int'>`
- subprojects/highs/highs/highspy/highs.py:1177:40 error[invalid-argument-type] Argument to constructor `map.__new__` is incorrect: Expected `Iterable[str | Buffer | SupportsInt | SupportsIndex | SupportsTrunc]`, found `(highs_var & Iterable[object]) | (int & Iterable[object]) | Iterable[highs_var | int]`
+ subprojects/highs/highs/highspy/highs.py:1177:35 error[invalid-argument-type] Argument to constructor `map.__new__` is incorrect: Expected `(object, /) -> int`, found `<class 'int'>`
scipy-stubs (https://github.com/scipy/scipy-stubs)
- tests/spatial/test__rigid_transform.pyi:61:1 error[type-assertion-failure] Type `Unknown` does not match asserted type `RigidTransform[tuple[()]]`
+ tests/spatial/test__rigid_transform.pyi:61:1 error[type-assertion-failure] Type `RigidTransform[tuple[()]] | RigidTransform[tuple[int]]` does not match asserted type `RigidTransform[tuple[()]]`
- tests/spatial/test__rigid_transform.pyi:62:1 error[type-assertion-failure] Type `Unknown` does not match asserted type `RigidTransform[tuple[int]]`
+ tests/spatial/test__rigid_transform.pyi:62:1 error[type-assertion-failure] Type `RigidTransform[tuple[()]] | RigidTransform[tuple[int]]` does not match asserted type `RigidTransform[tuple[int]]`
- tests/spatial/test__rigid_transform.pyi:63:1 error[type-assertion-failure] Type `Unknown` does not match asserted type `RigidTransform[tuple[Any, ...]]`
+ tests/spatial/test__rigid_transform.pyi:63:1 error[type-assertion-failure] Type `RigidTransform[tuple[()]] | RigidTransform[tuple[int]]` does not match asserted type `RigidTransform[tuple[Any, ...]]`
scrapy (https://github.com/scrapy/scrapy)
+ scrapy/core/scraper.py:419:22 error[invalid-assignment] Object of type `AsyncIterator[object]` is not assignable to `Iterable[_T@handle_spider_output_async] | AsyncIterator[_T@handle_spider_output_async]`
+ scrapy/core/scraper.py:427:18 error[invalid-assignment] Object of type `AsyncIterator[object]` is not assignable to `Iterable[_T@handle_spider_output_async] | AsyncIterator[_T@handle_spider_output_async]`
+ scrapy/core/spidermw.py:377:25 error[invalid-assignment] Object of type `MutableChain[object]` is not assignable to `MutableChain[_T@_process_callback_output] | MutableAsyncChain[_T@_process_callback_output]`
setuptools (https://github.com/pypa/setuptools)
- setuptools/config/expand.py:334:16 error[no-matching-overload] No overload of bound method `str.join` matches arguments
- setuptools/config/expand.py:334:34 error[invalid-argument-type] Argument to constructor `map.__new__` is incorrect: Expected `Iterable[Buffer]`, found `(Unknown & <Protocol with members '__iter__'> & ~str) | (Iterable[str | int] & ~Top[(...) -> object] & ~str)`
spack (https://github.com/spack/spack)
+ lib/spack/spack/solver/requirements.py:315:44 error[invalid-argument-type] Argument to bound method `RequirementParser._parse_and_expand` is incorrect: Expected `str`, found `Unknown | list[Unknown & str]`
+ lib/spack/spack/solver/requirements.py:318:40 error[invalid-argument-type] Argument to function `_check_unknown_targets` is incorrect: Expected `list[str]`, found `list[Unknown | list[Unknown & str]]`
- lib/spack/spack/test/concretization/core.py:1605:44 error[invalid-argument-type] Argument to `set.__init__` is incorrect: Expected `Iterable[Unknown]`, found `tuple[bool | str, ...] | bool | str`
+ lib/spack/spack/test/concretization/core.py:1605:44 error[invalid-argument-type] Argument to `set.__init__` is incorrect: Expected `Iterable[bool | str]`, found `tuple[bool | str, ...] | bool | str`
- lib/spack/spack/test/concretization/core.py:1618:20 error[invalid-argument-type] Argument to `set.__init__` is incorrect: Expected `Iterable[Unknown]`, found `tuple[bool | str, ...] | bool | str`
+ lib/spack/spack/test/concretization/core.py:1618:20 error[invalid-argument-type] Argument to `set.__init__` is incorrect: Expected `Iterable[bool | str]`, found `tuple[bool | str, ...] | bool | str`
+ lib/spack/spack/vendor/jinja2/lexer.py:762:35 error[call-non-callable] Object of type `str` is not callable
+ lib/spack/spack/vendor/ruamel/yaml/representer.py:454:21 error[invalid-argument-type] Argument to `list.__init__` is incorrect: Expected `Iterable[Unknown]`, found `str | ((...) -> Any) | tuple[Any, ...] | Any | None`
+ lib/spack/spack/vendor/ruamel/yaml/representer.py:461:12 error[unresolved-attribute] Attribute `__name__` is not defined on `str`, `(...) -> Any`, `tuple[Any, ...]`, `None` in union `str | ((...) -> Any) | tuple[Any, ...] | Any | None`
static-frame (https://github.com/static-frame/static-frame)
+ static_frame/core/db_util.py:525:19 error[not-iterable] Object of type `Hashable` is not iterable
+ static_frame/core/frame.py:742:36 error[invalid-yield] Yield type `tuple[Hashable, Hashable]` does not match annotated yield type `tuple[Hashable, IndexBase]`
+ static_frame/core/frame.py:747:36 error[invalid-yield] Yield type `tuple[Hashable, Hashable]` does not match annotated yield type `tuple[Hashable, IndexBase]`
+ static_frame/core/index_correspondence.py:193:21 error[invalid-assignment] Invalid subscript assignment with key of type `object` and value of type `Unknown` on object of type `ndarray[Any, Any]`
+ static_frame/core/index_correspondence.py:193:38 error[invalid-argument-type] Method `__getitem__` of type `Overload[(key: ndarray[tuple[Any, ...], dtype[integer[Any] | numpy.bool[builtins.bool]]] | tuple[ndarray[tuple[Any, ...], dtype[integer[Any] | numpy.bool[builtins.bool]]], ...], /) -> ndarray[tuple[Any, ...], Any], (key: SupportsIndex | tuple[SupportsIndex, ...], /) -> Any, (key: SupportsIndex | slice[Any, Any, Any] | EllipsisType | ... omitted 5 union elements, /) -> ndarray[tuple[Any, ...], Any], (key: str, /) -> ndarray[Any | tuple[Any, ...], dtype[Any]], (key: list[str], /) -> ndarray[Any | tuple[Any, ...], Unknown]]` cannot be called with key of type `object` on object of type `ndarray[Any, Any]`
+ static_frame/core/loc_map.py:419:32 error[not-iterable] Object of type `Hashable` is not iterable
+ static_frame/core/type_blocks.py:2119:58 error[index-out-of-bounds] Index 1 is out of bounds for tuple `tuple[int]` with length 1
- static_frame/core/util.py:3893:57 error[invalid-argument-type] Argument to constructor `chain.__new__` is incorrect: Expected `Iterable[None]`, found `Sequence[int] | ndarray[tuple[Any, ...], Any]`
- static_frame/test/unit/test_frame_iter.py:49:58 warning[unused-type-ignore-comment] Unused blanket `type: ignore` directive
- static_frame/test/unit/test_frame_iter.py:54:58 warning[unused-type-ignore-comment] Unused blanket `type: ignore` directive
- static_frame/test/unit/test_frame_iter.py:847:56 warning[unused-type-ignore-comment] Unused blanket `type: ignore` directive
streamlit (https://github.com/streamlit/streamlit)
+ lib/streamlit/elements/widgets/time_widgets.py:655:31 error[invalid-argument-type] Argument to function `date.strftime` is incorrect: Expected `date`, found `object`
sympy (https://github.com/sympy/sympy)
+ sympy/matrices/common.py:1062:21 error[invalid-assignment] Invalid subscript assignment with key of type `tuple[int | Unknown, int | Unknown]` and value of type `Expr` on object of type `defaultdict[Unknown, int]`
- sympy/matrices/matrixbase.py:2554:45 warning[unused-type-ignore-comment] Unused blanket `type: ignore` directive
- sympy/polys/polyoptions.py:472:61 error[invalid-argument-type] Argument to bound method `Domain.poly_ring` is incorrect: Expected `str | Expr`, found `Basic | int | float | complex | Any`
+ sympy/polys/polyoptions.py:472:61 error[invalid-argument-type] Argument to bound method `Domain.poly_ring` is incorrect: Expected `str | Expr`, found `Basic | int | float | ... omitted 3 union elements`
- sympy/polys/polyoptions.py:476:61 error[invalid-argument-type] Argument to bound method `Domain.poly_ring` is incorrect: Expected `str | Expr`, found `Basic | int | float | complex | Any`
+ sympy/polys/polyoptions.py:476:61 error[invalid-argument-type] Argument to bound method `Domain.poly_ring` is incorrect: Expected `str | Expr`, found `Basic | int | float | ... omitted 3 union elements`
- sympy/polys/polyoptions.py:480:63 error[invalid-argument-type] Argument to bound method `Domain.poly_ring` is incorrect: Expected `str | Expr`, found `Basic | int | float | complex | Any`
+ sympy/polys/polyoptions.py:480:63 error[invalid-argument-type] Argument to bound method `Domain.poly_ring` is incorrect: Expected `str | Expr`, found `Basic | int | float | ... omitted 3 union elements`
- sympy/polys/polyoptions.py:482:61 error[invalid-argument-type] Argument to bound method `Domain.poly_ring` is incorrect: Expected `str | Expr`, found `Basic | int | float | complex | Any`
+ sympy/polys/polyoptions.py:482:61 error[invalid-argument-type] Argument to bound method `Domain.poly_ring` is incorrect: Expected `str | Expr`, found `Basic | int | float | ... omitted 3 union elements`
- sympy/polys/polyoptions.py:492:62 error[invalid-argument-type] Argument to bound method `Domain.frac_field` is incorrect: Expected `str | Expr`, found `Basic | int | float | complex | Any`
+ sympy/polys/polyoptions.py:492:62 error[invalid-argument-type] Argument to bound method `Domain.frac_field` is incorrect: Expected `str | Expr`, found `Basic | int | float | ... omitted 3 union elements`
- sympy/polys/polyoptions.py:494:62 error[invalid-argument-type] Argument to bound method `Domain.frac_field` is incorrect: Expected `str | Expr`, found `Basic | int | float | complex | Any`
+ sympy/polys/polyoptions.py:494:62 error[invalid-argument-type] Argument to bound method `Domain.frac_field` is incorrect: Expected `str | Expr`, found `Basic | int | float | ... omitted 3 union elements`
- sympy/polys/polyroots.py:821:29 error[unsupported-operator] Unary operator `-` is not supported for object of type `None | Unknown`
+ sympy/polys/polyroots.py:821:29 error[unsupported-operator] Unary operator `-` is not supported for object of type `None | Any`
- sympy/polys/polyroots.py:824:32 error[unsupported-operator] Unary operator `-` is not supported for object of type `None | Unknown`
+ sympy/polys/polyroots.py:824:32 error[unsupported-operator] Unary operator `-` is not supported for object of type `None | Any`
- sympy/series/order.py:189:28 error[unsupported-operator] Operator `/` is not supported between objects of type `Literal[1]` and `Unknown | Basic | int | float | complex`
+ sympy/series/order.py:189:28 error[unsupported-operator] Operator `/` is not supported between objects of type `Literal[1]` and `Unknown | Basic | int | ... omitted 3 union elements`
- sympy/series/order.py:193:29 error[unsupported-operator] Operator `/` is not supported between objects of type `Literal[-1]` and `Unknown | Basic | int | float | complex`
+ sympy/series/order.py:193:29 error[unsupported-operator] Operator `/` is not supported between objects of type `Literal[-1]` and `Unknown | Basic | int | ... omitted 3 union elements`
- sympy/series/order.py:270:52 error[invalid-argument-type] Argument to bound method `Expr.as_independent` is incorrect: Expected `Basic | type[Basic]`, found `Basic | int | float | complex | Any`
+ sympy/series/order.py:270:52 error[invalid-argument-type] Argument to bound method `Expr.as_independent` is incorrect: Expected `Basic | type[Basic]`, found `Basic | int | float | ... omitted 3 union elements`
- sympy/series/order.py:288:45 error[unsupported-operator] Unary operator `-` is not supported for object of type `Basic | int | float | complex | Any`
+ sympy/series/order.py:288:45 error[unsupported-operator] Unary operator `-` is not supported for object of type `Basic | int | float | ... omitted 3 union elements`
- sympy/series/order.py:292:49 error[unsupported-operator] Unary operator `-` is not supported for object of type `Basic | int | float | complex | Any`
+ sympy/series/order.py:292:49 error[unsupported-operator] Unary operator `-` is not supported for object of type `Basic | int | float | ... omitted 3 union elements`
- sympy/series/order.py:298:53 error[unsupported-operator] Unary operator `-` is not supported for object of type `Basic | int | float | complex | Any`
+ sympy/series/order.py:298:53 error[unsupported-operator] Unary operator `-` is not supported for object of type `Basic | int | float | ... omitted 3 union elements`
+ sympy/solvers/inequalities.py:959:16 error[unresolved-attribute] Attribute `xreplace` is not defined on `list[Unknown]` in union `Unknown | list[Unknown]`
+ sympy/stats/stochastic_process_types.py:2042:24 error[unresolved-attribute] Attribute `key` is not defined on `Basic` in union `Basic | Unknown`
+ sympy/stats/stochastic_process_types.py:2042:42 error[unresolved-attribute] Attribute `key` is not defined on `Basic` in union `Basic | Unknown`
+ sympy/stats/stochastic_process_types.py:2043:27 error[unresolved-attribute] Attribute `pspace` is not defined on `Basic` in union `Basic | Unknown`
+ sympy/stats/stochastic_process_types.py:2044:16 error[unsupported-operator] Operator `>` is not supported between two objects of type `Basic | Unknown`
+ sympy/stats/stochastic_process_types.py:2056:25 error[unresolved-attribute] Attribute `pspace` is not defined on `Basic` in union `Basic | Unknown`
+ sympy/stats/stochastic_process_types.py:2065:25 error[unresolved-attribute] Attribute `pspace` is not defined on `Basic` in union `Basic | Unknown`
+ sympy/stats/stochastic_process_types.py:2070:25 error[unresolved-attribute] Attribute `pspace` is not defined on `Basic` in union `Basic | Unknown`
+ sympy/stats/stochastic_process_types.py:2073:21 error[unresolved-attribute] Attribute `pspace` is not defined on `Basic` in union `Basic | Unknown`
- sympy/testing/runtests.py:1578:81 error[invalid-argument-type] Argument to constructor `map.__new__` is incorrect: Expected `Iterable[Buffer]`, found `(Unknown & ~AlwaysFalsy) | tuple[Literal[3], Literal[5]]`
tornado (https://github.com/tornadoweb/tornado)
- tornado/gen.py:239:46 error[invalid-argument-type] Argument to `Runner.__init__` is incorrect: Expected `Generator[None | Awaitable[Unknown] | list[Awaitable[Unknown]] | dict[Any, Awaitable[Unknown]] | Future[Unknown], Any, Unknown]`, found `(Generator[Any, Any, _T@coroutine] & Generator[object, None, None]) | (_T@coroutine & Generator[object, None, None])`
+ tornado/gen.py:239:46 error[invalid-argument-type] Argument to `Runner.__init__` is incorrect: Expected `Generator[None | Awaitable[Unknown] | list[Awaitable[Unknown]] | dict[Any, Awaitable[Unknown]] | Future[Unknown], Any, _T@coroutine | Unknown]`, found `(Generator[Any, Any, _T@coroutine] & Generator[object, None, None]) | (_T@coroutine & Generator[object, None, None])`
- tornado/gen.py:516:47 error[invalid-argument-type] Argument to constructor `map.__new__` is incorrect: Expected `Iterable[None | Awaitable[Unknown] | list[Awaitable[Unknown]] | dict[Any, Awaitable[Unknown]] | Future[Unknown]]`, found `dict_values[object, object] | (Sequence[None | Awaitable[Unknown] | list[Awaitable[Unknown]] | dict[Any, Awaitable[Unknown]] | Future[Unknown]] & ~Top[dict[Unknown, Unknown]]) | (Mapping[Any, None | Awaitable[Unknown] | list[Awaitable[Unknown]] | dict[Any, Awaitable[Unknown]] | Future[Unknown]] & ~Top[dict[Unknown, Unknown]])`
+ tornado/gen.py:516:30 error[invalid-argument-type] Argument to constructor `map.__new__` is incorrect: Expected `(object, /) -> _asyncio.Future[Unknown]`, found `def convert_yielded(yielded: None | Awaitable[Unknown] | list[Awaitable[Unknown]] | dict[Any, Awaitable[Unknown]] | concurrent.futures._base.Future[Unknown]) -> _asyncio.Future[Unknown]`
vision (https://github.com/pytorch/vision)
- test/test_transforms.py:324:53 error[invalid-argument-type] Argument to function `RandomResizedCrop.get_params` is incorrect: Expected `list[int | float]`, found `tuple[Unknown | float, Unknown]`
+ test/test_transforms.py:324:53 error[invalid-argument-type] Argument to function `RandomResizedCrop.get_params` is incorrect: Expected `list[int | float]`, found `tuple[int | float, int | float]`
+ torchvision/models/detection/anchor_utils.py:51:35 error[invalid-argument-type] Argument to bound method `AnchorGenerator.generate_anchors` is incorrect: Expected `list[int]`, found `tuple[Literal[128], Literal[256], Literal[512]] | tuple[Unknown | tuple[Literal[128], Literal[256], Literal[512]]]`
+ torchvision/models/detection/anchor_utils.py:51:41 error[invalid-argument-type] Argument to bound method `AnchorGenerator.generate_anchors` is incorrect: Expected `list[int | float]`, found `tuple[float, float, float] | Unknown | tuple[tuple[float, float, float]]`
- torchvision/utils.py:396:75 error[invalid-argument-type] Argument to constructor `zip.__new__` is incorrect: Expected `Iterable[Unknown]`, found `list[str | tuple[int, int, int]] | str | tuple[int, int, int] | None`
+ torchvision/utils.py:396:75 error[invalid-argument-type] Argument to constructor `zip.__new__` is incorrect: Expected `Iterable[str | tuple[int, int, int] | int]`, found `list[str | tuple[int, int, int]] | str | tuple[int, int, int] | None`
- torchvision/utils.py:396:91 error[invalid-argument-type] Argument to constructor `zip.__new__` is incorrect: Expected `Iterable[Unknown]`, found `list[str | tuple[int, int, int]] | str | tuple[int, int, int] | None`
+ torchvision/utils.py:396:91 error[invalid-argument-type] Argument to constructor `zip.__new__` is incorrect: Expected `Iterable[str | tuple[int, int, int] | int]`, found `list[str | tuple[int, int, int]] | str | tuple[int, int, int] | None`
- torchvision/utils.py:396:105 error[invalid-argument-type] Argument to constructor `zip.__new__` is incorrect: Expected `Iterable[Unknown]`, found `list[str | tuple[int, int, int]] | str | tuple[int, int, int] | None`
+ torchvision/utils.py:396:105 error[invalid-argument-type] Argument to constructor `zip.__new__` is incorrect: Expected `Iterable[str | tuple[int, int, int] | int]`, found `list[str | tuple[int, int, int]] | str | tuple[int, int, int] | None`
websockets (https://github.com/aaugustin/websockets)
+ src/websockets/legacy/protocol.py:645:41 error[invalid-argument-type] Argument to function `prepare_data` is incorrect: Expected `str | bytes | bytearray | memoryview[int]`, found `object`
+ src/websockets/legacy/protocol.py:654:57 error[invalid-argument-type] Argument to function `prepare_data` is incorrect: Expected `str | bytes | bytearray | memoryview[int]`, found `object`
werkzeug (https://github.com/pallets/werkzeug)
- src/werkzeug/datastructures/structures.py:349:38 error[invalid-argument-type] Argument to bound method `dict.__setitem__` is incorrect: Expected `V@MultiDict`, found `list[Unknown]`
+ src/werkzeug/datastructures/structures.py:349:38 error[invalid-argument-type] Argument to bound method `dict.__setitem__` is incorrect: Expected `V@MultiDict`, found `list[V@MultiDict]`
xarray (https://github.com/pydata/xarray)
- xarray/core/datatree.py:1564:16 error[invalid-return-type] Return type does not match returned value: expected `set[str]`, found `set[_T@set]`
+ xarray/core/datatree.py:1564:16 error[invalid-return-type] Return type does not match returned value: expected `set[str]`, found `set[Hashable]`
- xarray/core/formatting.py:351:20 error[no-matching-overload] No overload of bound method `str.join` matches arguments
- xarray/core/formatting.py:351:39 error[invalid-argument-type] Argument to constructor `map.__new__` is incorrect: Expected `Iterable[Buffer]`, found `(Any & ~AlwaysFalsy) | (tuple[Hashable, ...] & ~AlwaysFalsy)`
- xarray/core/variable.py:2228:46 error[invalid-argument-type] Argument to constructor `zip.__new__` is incorrect: Expected `Iterable[Unknown]`, found `Unknown | Literal[False] | list[Hashable]`
+ xarray/core/variable.py:2228:46 error[invalid-argument-type] Argument to constructor `zip.__new__` is incorrect: Expected `Iterable[Hashable]`, found `Unknown | Literal[False] | list[Hashable]`
charliermarsh
approved these changes
Apr 25, 2026
Member
charliermarsh
left a comment
charliermarsh
left a comment
There was a problem hiding this comment.
Codex suggests the new diagnostics are a mix of a few true positives along with false positives from existing issues made visible by the change (namely, by no longer resolving to Unknown un various cases).
carljm
added a commit
to tamird/ruff
that referenced
this pull request
Apr 27, 2026
* main: (248 commits) [ty] bump conformance suite commit (astral-sh#24848) [ty] Pass unmapped type variables to `SpecializationBuilder::build_with` (astral-sh#24809) [ty] Avoid bookkeeping for unannotated functions (astral-sh#24842) [ty] Optimize signature checking based on number of arguments (astral-sh#24674) [ty] Avoid eagerly inferring legacy generic context (astral-sh#24841) [ty] Skip decorator inference for undecorated functions (astral-sh#24839) [ty] solve unions against generic protocols (astral-sh#24837) [ty] Lazily allocate parameter type builders (astral-sh#24838) [ty] Lazily compute call argument fallbacks (astral-sh#24836) [ty] Avoid collecting type context callables (astral-sh#24835) Bump ecosystem-analyzer to e7576e6 (astral-sh#24834) [ty] Support basic narrowing with aliased conditional expressions (astral-sh#24302) [ty] Fix project and workspace selection (astral-sh#24824) [ty] Fix missing memory usage attributes (astral-sh#24823) Fix setting selection for multi folder workspace (astral-sh#24819) Improve diagnostics for implicit calls to a possibly unbound unary operator. (astral-sh#24816) [ty] Update review pool (astral-sh#24818) Bump 0.15.12 (astral-sh#24815) [ty] Complete support for more detailed diagnostics on possibly unbound errors from implicit dunder calls against unions. (astral-sh#24676) Implement `#ruff:file-ignore` file-level suppressions (astral-sh#23599) ...
carljm
added a commit
that referenced
this pull request
Apr 27, 2026
* main: (44 commits) Update cargo-bins/cargo-binstall action to v1.18.1 (#24855) Update dependency ruff to v0.15.12 (#24857) Update taiki-e/install-action action to v2.75.18 (#24864) [ty] Model bool-op branch snapshots (#24458) [ty] Support `Unpack[TypedDict]` in `**kwargs` signatures (#24653) Update prek dependencies (#24858) Update Rust crate bitflags to v2.11.1 (#24859) Update Rust crate clap to v4.6.1 (#24860) Update Rust crate mimalloc to v0.1.49 (#24862) Update Rust crate uuid to v1.23.1 (#24863) Update Rust crate rayon to v1.12.0 (#24866) Update Rust crate libc to v0.2.185 (#24861) [ty] Reserve union element storage (#24849) [ty] bump conformance suite commit (#24848) [ty] Pass unmapped type variables to `SpecializationBuilder::build_with` (#24809) [ty] Avoid bookkeeping for unannotated functions (#24842) [ty] Optimize signature checking based on number of arguments (#24674) [ty] Avoid eagerly inferring legacy generic context (#24841) [ty] Skip decorator inference for undecorated functions (#24839) [ty] solve unions against generic protocols (#24837) ...
This was referenced Apr 27, 2026
This file contains hidden or 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
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
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.
Summary
Fixes astral-sh/ty#3333
Another narrow addition to the old solver to make it use constraint sets in another case.
Test Plan
Added mdtests.
Ecosystem
Everything here is expected and desirable increase in type precision from this change. In some cases (e.g. pandas-stubs) it reveals other pre-existing generics solver issues, but not a problem in this PR.