[ty] Full-scope bidirectional inference for unannotated container literals by ibraheemdev · Pull Request #23761 · astral-sh/ruff

ibraheemdev · 2026-03-06T15:33:08Z

No description provided.

astral-sh-bot · 2026-03-06T15:35:09Z

Typing conformance results

No changes detected ✅

Current numbers

The percentage of diagnostics emitted that were expected errors held steady at 85.29%. The percentage of expected errors that received a diagnostic held steady at 78.70%. The number of fully passing files held steady at 64/133.

codspeed-hq · 2026-03-06T16:26:45Z

Merging this PR will degrade performance by 49.21%

⚠️

Different runtime environments detected

Some benchmarks with significant performance changes were compared across different runtime environments,
which may affect the accuracy of the results.

Open the report in CodSpeed to investigate

❌ 3 regressed benchmarks
✅ 45 untouched benchmarks
⏩ 9 skipped benchmarks¹

⚠️ Please fix the performance issues or acknowledge them on CodSpeed.

Performance Changes

	Mode	Benchmark	`BASE`	`HEAD`	Efficiency
❌	Simulation	`anyio`	1.2 s	1.3 s	-7.82%
❌	Simulation	`attrs`	466.4 ms	813.4 ms	-42.66%
❌	Simulation	`hydra-zen`	1.1 s	2.2 s	-49.21%

_{Comparing ibraheem/extended-bidi (db3943a) with main (6cff034)}

9 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩

astral-sh-bot · 2026-03-07T07:33:14Z

Memory usage report

Summary

Project	Old	New	Diff	Outcome
prefect	703.60MB	830.75MB	+18.07% (127.15MB)	⏫
sphinx	262.64MB	341.96MB	+30.20% (79.32MB)	⏫
trio	115.82MB	125.40MB	+8.27% (9.57MB)	⏫
flake8	48.13MB	49.99MB	+3.87% (1.86MB)	⏫

Significant changes

Click to expand detailed breakdown

prefect

Name	Old	New	Diff	Outcome
`infer_expression_types_impl`	55.83MB	95.49MB	+71.02% (39.65MB)	⏫
`infer_definition_types`	90.50MB	118.83MB	+31.31% (28.34MB)	⏫
`infer_expression_type_impl`	13.91MB	31.53MB	+126.73% (17.62MB)	⏫
`infer_scope_types_impl`	53.49MB	67.06MB	+25.37% (13.57MB)	⏫
`all_narrowing_constraints_for_expression`	7.38MB	11.10MB	+50.37% (3.72MB)	⏫
`StaticClassLiteral<'db>::try_mro_`	5.83MB	8.39MB	+43.96% (2.56MB)	⏫
`FunctionType`	8.61MB	10.32MB	+19.86% (1.71MB)	⏫
`Specialization`	2.47MB	4.07MB	+64.55% (1.60MB)	⏫
`Type<'db>::class_member_with_policy_`	17.70MB	19.05MB	+7.63% (1.35MB)	⏫
`UnionType<'db>::from_two_elements_`	5.24MB	6.58MB	+25.40% (1.33MB)	⏫
`Type<'db>::apply_specialization_`	3.63MB	4.95MB	+36.26% (1.32MB)	⏫
`Type<'db>::member_lookup_with_policy_`	16.23MB	17.41MB	+7.26% (1.18MB)	⏫
`all_negative_narrowing_constraints_for_expression`	2.79MB	3.92MB	+40.52% (1.13MB)	⏫
`Type<'db>::apply_specialization_::interned_arguments`	2.92MB	3.88MB	+33.00% (986.48kB)	⏫
`is_redundant_with_impl::interned_arguments`	5.41MB	6.37MB	+17.76% (982.95kB)	⏫
...			54 more

sphinx

Name	Old	New	Diff	Outcome
`infer_expression_types_impl`	19.63MB	45.80MB	+133.33% (26.17MB)	⏫
`infer_definition_types`	24.34MB	42.09MB	+72.93% (17.75MB)	⏫
`infer_expression_type_impl`	3.57MB	16.99MB	+375.95% (13.42MB)	⏫
`infer_scope_types_impl`	15.50MB	20.67MB	+33.36% (5.17MB)	⏫
`all_narrowing_constraints_for_expression`	2.48MB	5.42MB	+118.66% (2.94MB)	⏫
`all_negative_narrowing_constraints_for_expression`	1.08MB	2.97MB	+175.70% (1.89MB)	⏫
`StaticClassLiteral<'db>::try_mro_`	2.06MB	3.13MB	+51.70% (1.07MB)	⏫
`Type<'db>::member_lookup_with_policy_`	6.51MB	7.44MB	+14.29% (952.44kB)	⏫
`FunctionType`	3.10MB	4.03MB	+29.82% (947.55kB)	⏫
`infer_unpack_types`	440.18kB	1.17MB	+173.00% (761.53kB)	⏫
`Type<'db>::apply_specialization_`	1.64MB	2.29MB	+40.00% (670.89kB)	⏫
`Specialization`	1.01MB	1.64MB	+62.59% (648.42kB)	⏫
`Type<'db>::class_member_with_policy_`	7.63MB	8.21MB	+7.58% (591.95kB)	⏫
`Type<'db>::try_call_dunder_get_`	4.95MB	5.50MB	+11.17% (566.12kB)	⏫
`Type<'db>::apply_specialization_::interned_arguments`	1.45MB	1.99MB	+37.67% (557.50kB)	⏫
...			78 more

trio

Name	Old	New	Diff	Outcome
`infer_expression_types_impl`	6.01MB	9.17MB	+52.54% (3.16MB)	⏫
`infer_definition_types`	7.50MB	9.30MB	+23.98% (1.80MB)	⏫
`infer_expression_type_impl`	1.40MB	2.68MB	+91.30% (1.28MB)	⏫
`infer_scope_types_impl`	4.76MB	5.70MB	+19.85% (966.36kB)	⏫
`FunctionType`	1.48MB	1.73MB	+16.60% (251.60kB)	⏫
`all_narrowing_constraints_for_expression`	626.01kB	866.93kB	+38.48% (240.92kB)	⏫
`StaticClassLiteral<'db>::try_mro_`	821.97kB	1.00MB	+25.18% (207.01kB)	⏫
`Type<'db>::member_lookup_with_policy_`	1.81MB	1.96MB	+8.24% (152.69kB)	⏫
`FunctionType<'db>::signature_`	1.07MB	1.19MB	+11.69% (127.58kB)	⏫
`Type<'db>::class_member_with_policy_`	1.99MB	2.11MB	+6.17% (125.69kB)	⏫
`Type<'db>::try_call_dunder_get_`	1.36MB	1.48MB	+8.51% (118.85kB)	⏫
`Type<'db>::apply_specialization_`	729.68kB	848.02kB	+16.22% (118.34kB)	⏫
`Specialization`	460.67kB	567.34kB	+23.16% (106.67kB)	⏫
`Type<'db>::apply_specialization_::interned_arguments`	639.84kB	740.94kB	+15.80% (101.09kB)	⏫
`Type<'db>::class_member_with_policy_::interned_arguments`	1.10MB	1.17MB	+6.40% (72.11kB)	⏫
...			59 more

flake8

Name	Old	New	Diff	Outcome
`infer_expression_types_impl`	1.03MB	1.53MB	+49.19% (516.65kB)	⏫
`infer_definition_types`	1.94MB	2.33MB	+20.06% (398.93kB)	⏫
`infer_scope_types_impl`	996.02kB	1.22MB	+25.38% (252.81kB)	⏫
`infer_expression_type_impl`	198.18kB	289.40kB	+46.03% (91.22kB)	⏫
`FunctionType`	436.50kB	525.64kB	+20.42% (89.14kB)	⏫
`StaticClassLiteral<'db>::try_mro_`	322.89kB	375.20kB	+16.20% (52.30kB)	⏫
`FunctionType<'db>::signature_`	359.20kB	407.41kB	+13.42% (48.21kB)	⏫
`Type<'db>::apply_specialization_`	217.14kB	258.95kB	+19.26% (41.81kB)	⏫
`Specialization`	160.72kB	196.12kB	+22.03% (35.41kB)	⏫
`Type<'db>::try_call_dunder_get_`	376.75kB	410.10kB	+8.85% (33.35kB)	⏫
`Type<'db>::class_member_with_policy_`	569.84kB	602.20kB	+5.68% (32.37kB)	⏫
`Type<'db>::member_lookup_with_policy_`	488.34kB	520.64kB	+6.61% (32.30kB)	⏫
`Type<'db>::apply_specialization_::interned_arguments`	203.20kB	234.61kB	+15.46% (31.41kB)	⏫
`Type<'db>::class_member_with_policy_::interned_arguments`	307.12kB	330.89kB	+7.74% (23.77kB)	⏫
`CallableType`	144.28kB	164.03kB	+13.69% (19.75kB)	⏫
...			41 more

astral-sh-bot · 2026-03-19T14:24:14Z

`ecosystem-analyzer` results

Lint rule	Added	Removed	Changed
`invalid-argument-type`	260	347	285
`unresolved-attribute`	384	0	100
`invalid-assignment`	67	76	19
`invalid-return-type`	23	17	18
`no-matching-overload`	28	28	0
`unsupported-operator`	43	0	12
`invalid-await`	40	0	0
`not-subscriptable`	31	0	0
`not-iterable`	10	0	11
`unused-type-ignore-comment`	4	10	0
`call-non-callable`	4	0	0
`call-top-callable`	4	0	0
`type-assertion-failure`	2	0	0
`index-out-of-bounds`	1	0	0
`invalid-raise`	1	0	0
`invalid-yield`	0	0	1
Total	902	478	446

Large timing changes:

Project	Old Time	New Time	Change
`alerta`	0.11s	1.31s	+1114%
`apprise`	0.27s	2.94s	+989%
`zulip`	0.88s	8.25s	+835%
`mitmproxy`	0.54s	3.21s	+495%
`scipy`	2.02s	10.54s	+422%
`sympy`	2.30s	11.67s	+409%
`rotki`	0.59s	2.55s	+333%
`meson`	0.53s	2.25s	+323%
`dd-trace-py`	0.99s	3.65s	+270%
`cloud-init`	0.36s	1.31s	+259%
`spack`	0.70s	2.11s	+203%
`stone`	0.14s	0.41s	+191%
`pywin32`	0.44s	1.14s	+158%
`black`	0.12s	0.31s	+153%
`pwndbg`	0.34s	0.84s	+147%
`schema_salad`	0.16s	0.40s	+146%
`ignite`	0.22s	0.53s	+139%
`werkzeug`	0.13s	0.30s	+128%
`sphinx`	0.29s	0.64s	+121%
`schemathesis`	0.17s	0.38s	+120%
`scikit-build-core`	0.10s	0.20s	+115%
`materialize`	0.38s	0.79s	+111%
`pandas`	0.97s	2.02s	+108%
`CPython (Argument Clinic)`	0.08s	0.17s	+104%
`poetry`	0.20s	0.39s	+91%
`scikit-learn`	2.50s	4.75s	+90%
`dulwich`	0.31s	0.58s	+88%
`hydra-zen`	0.18s	0.32s	+81%
`sockeye`	0.11s	0.18s	+70%
`attrs`	0.10s	0.17s	+70%
`alectryon`	0.05s	0.08s	+69%
`pyinstrument`	0.06s	0.10s	+62%
`isort`	0.76s	1.22s	+61%
`pip`	0.46s	0.74s	+60%
`vision`	0.36s	0.56s	+56%
`xarray`	0.63s	0.97s	+55%
`cwltool`	0.19s	0.29s	+51%

Changes in flaky projects detected. Raw diff output excludes flaky projects; see the HTML report for details.

Showing a random sample of 243 of 1713 changes. See the HTML report for the full diff.

Raw diff sample (243 of 1713 changes)

aiohttp (https://github.com/aio-libs/aiohttp)
+ aiohttp/_cookie_helpers.py:330:21 error[unresolved-attribute] Object of type `Morsel[_T@Morsel]` has no attribute `__setstate__`

alerta (https://github.com/alerta/alerta)
- tests/test_forwarder.py:45:9 error[invalid-assignment] Invalid subscript assignment with key of type `Literal["FWD_DESTINATIONS"]` and value of type `list[tuple[str, dict[str, str | int], list[str]] | tuple[str, dict[str, str], list[str]]]` on object of type `dict[str, bool | str | list[str]]`

altair (https://github.com/vega/altair)
+ altair/utils/core.py:659:13 error[unresolved-attribute] Attribute `groupdict` is not defined on `None` in union `Match[str] | None`

apprise (https://github.com/caronc/apprise)
+ apprise/config/base.py:1318:21 error[not-subscriptable] Cannot subscript object of type `int` with no `__getitem__` method
+ apprise/config/base.py:1324:32 error[not-subscriptable] Cannot subscript object of type `int` with no `__getitem__` method
+ apprise/config/base.py:1324:53 error[invalid-argument-type] Argument expression after ** must be a mapping type: Found `Unknown | int`
+ apprise/config/base.py:1329:40 error[not-subscriptable] Cannot subscript object of type `int` with no `__getitem__` method
- apprise/config/base.py:186:20 error[invalid-return-type] Return type does not match returned value: expected `list[NotifyBase]`, found `Unknown | None | list[Unknown]`
+ apprise/config/base.py:186:20 error[invalid-return-type] Return type does not match returned value: expected `list[NotifyBase]`, found `Unknown | None | list[NotifyBase | Unknown]`
- apprise/config/base.py:1359:16 error[unresolved-attribute] Attribute `pop` is not defined on `None` in union `Unknown | None | list[Unknown]`
+ apprise/config/base.py:1359:16 error[unresolved-attribute] Attribute `pop` is not defined on `None` in union `Unknown | None | list[NotifyBase | Unknown]`
- apprise/plugins/email/base.py:693:17 error[invalid-argument-type] Argument to function `formataddr` is incorrect: Expected `tuple[str | None, str]`, found `tuple[Literal[False], Unknown | bool | str]`
+ apprise/plugins/email/base.py:693:17 error[invalid-argument-type] Argument to function `formataddr` is incorrect: Expected `tuple[str | None, str]`, found `tuple[Literal[False], Unknown | Divergent | bool | str]`
+ apprise/plugins/fluxer.py:502:17 error[invalid-assignment] Cannot assign to a subscript on an object of type `str`
+ apprise/plugins/mastodon.py:774:21 error[invalid-argument-type] Argument to function `len` is incorrect: Expected `Sized`, found `Unknown | str | tuple[Unknown | str, Unknown | str, Unknown | str, Unknown | str, Unknown | str] | bool`
- apprise/plugins/notificationapi.py:669:25 error[unresolved-attribute] Attribute `update` is not defined on `str` in union `Unknown | str`
+ apprise/plugins/notificationapi.py:669:25 error[unresolved-attribute] Attribute `update` is not defined on `str` in union `dict[Unknown, Unknown] | dict[str, Unknown] | dict[str, Unknown | str | None] | ... omitted 4 union elements`
- apprise/plugins/slack.py:547:60 error[invalid-argument-type] Argument to bound method `append` is incorrect: Expected `dict[str, str | dict[str, str | Unknown]]`, found `dict[str, str | list[dict[str, str | Unknown]]]`
+ apprise/plugins/slack.py:547:60 error[invalid-argument-type] Argument to bound method `append` is incorrect: Expected `dict[str, str | dict[str, str | Unknown]]`, found `dict[str, str | dict[str, str | Unknown] | list[dict[str, str | Unknown]]]`
- apprise/plugins/smseagle.py:660:13 error[invalid-assignment] Invalid subscript assignment with key of type `Literal["priority"]` and value of type `str | Unknown | tuple[Unknown | int, Unknown | int] | int` on object of type `dict[str, str]`
+ apprise/plugins/twitter.py:583:26 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["target"]` on object of type `str`
- tests/test_apprise_config.py:1310:58 error[invalid-argument-type] Argument to function `_special_token_handler` is incorrect: Expected `dict[str, object]`, found `dict[str, str]`

check-jsonschema (https://github.com/python-jsonschema/check-jsonschema)
- src/check_jsonschema/reporter.py:172:21 error[invalid-assignment] Invalid subscript assignment with key of type `Literal["best_match"]` and value of type `dict[str, Unknown]` on object of type `dict[str, str | bool]`

cloud-init (https://github.com/canonical/cloud-init)
+ cloudinit/distros/arch.py:142:19 error[invalid-argument-type] Argument to function `subp` is incorrect: Expected `str | bytes | list[str] | list[bytes]`, found `list[object]`
+ cloudinit/distros/azurelinux.py:74:19 error[invalid-argument-type] Argument to function `subp` is incorrect: Expected `str | bytes | list[str] | list[bytes]`, found `list[object]`
- cloudinit/cmd/main.py:1022:31 error[unresolved-attribute] Attribute `get` is not defined on `None` in union `None | dict[str, list[Unknown] | dict[Unknown, Unknown] | None] | Any`
+ cloudinit/cmd/main.py:1022:31 error[unresolved-attribute] Attribute `get` is not defined on `None` in union `None | dict[Unknown | str, Unknown | list[Unknown] | dict[Unknown, Unknown] | None] | Any`
+ cloudinit/config/cc_mounts.py:420:12 error[invalid-return-type] Return type does not match returned value: expected `list[list[str]]`, found `list[list[Unknown] | list[str | None] | list[str]]`
- cloudinit/url_helper.py:572:40 error[invalid-argument-type] Argument to bound method `request` is incorrect: Expected `SupportsItems[str | bytes | int | float, Iterable[str | bytes | int | float] | float | int | None] | tuple[str | bytes | int | float, Iterable[str | bytes | int | float] | float | int | None] | Iterable[tuple[str | bytes | int | float, Iterable[str | bytes | int | float] | float | int | None]] | ... omitted 3 union elements`, found `Unknown | bool`
+ cloudinit/url_helper.py:572:40 error[invalid-argument-type] Argument to bound method `request` is incorrect: Expected `SupportsItems[str | bytes | int | float, Iterable[str | bytes | int | float] | float | int | None] | tuple[str | bytes | int | float, Iterable[str | bytes | int | float] | float | int | None] | Iterable[tuple[str | bytes | int | float, Iterable[str | bytes | int | float] | float | int | None]] | ... omitted 3 union elements`, found `Unknown | Divergent | bool`

colour (https://github.com/colour-science/colour)
- colour/plotting/common.py:1718:39 error[invalid-argument-type] Argument to bound method `imshow` is incorrect: Expected `Literal["equal", "auto"] | int | float | None`, found `str | Colormap | Any`
+ colour/plotting/common.py:1718:39 error[invalid-argument-type] Argument to bound method `imshow` is incorrect: Expected `Literal["equal", "auto"] | int | float | None`, found `Unknown | Divergent | str | Colormap`
- colour/plotting/common.py:1718:39 error[invalid-argument-type] Argument to bound method `imshow` is incorrect: Expected `bool | None`, found `str | Colormap | Any`
+ colour/plotting/common.py:1718:39 error[invalid-argument-type] Argument to bound method `imshow` is incorrect: Expected `bool | None`, found `Unknown | Divergent | str | Colormap`
- colour/plotting/common.py:1718:39 error[invalid-argument-type] Argument to bound method `imshow` is incorrect: Expected `int | float | None`, found `str | Colormap | Any`
+ colour/plotting/common.py:1718:39 error[invalid-argument-type] Argument to bound method `imshow` is incorrect: Expected `int | float | None`, found `Unknown | Divergent | str | Colormap`
- colour/plotting/common.py:1718:39 error[invalid-argument-type] Argument to bound method `imshow` is incorrect: Expected `str | Normalize | None`, found `str | Colormap | Any`
+ colour/plotting/common.py:1718:39 error[invalid-argument-type] Argument to bound method `imshow` is incorrect: Expected `tuple[int | float, int | float, int | float, int | float] | None`, found `Unknown | Divergent | str | Colormap`
- colour/plotting/models.py:2021:54 error[invalid-argument-type] Argument to bound method `scatter` is incorrect: Expected `bool`, found `int | str | float | Any`
+ colour/plotting/models.py:2021:54 error[invalid-argument-type] Argument to bound method `scatter` is incorrect: Expected `bool`, found `Unknown | Divergent | int | str | float`
- colour/plotting/models.py:2021:54 error[invalid-argument-type] Argument to bound method `scatter` is incorrect: Expected `str | Normalize | None`, found `int | str | float | Any`
- colour/plotting/phenomena.py:1370:20 error[invalid-argument-type] Argument to bound method `imshow` is incorrect: Expected `int | float | None`, found `tuple[int, int, int, int] | str | int`
+ colour/plotting/phenomena.py:1370:20 error[invalid-argument-type] Argument to bound method `imshow` is incorrect: Expected `int | float | None`, found `Unknown | Divergent | tuple[int, int, int, int] | str | int`
- colour/plotting/phenomena.py:1370:20 error[invalid-argument-type] Argument to bound method `imshow` is incorrect: Expected `str | None`, found `tuple[int, int, int, int] | str | int`
+ colour/plotting/phenomena.py:1370:20 error[invalid-argument-type] Argument to bound method `imshow` is incorrect: Expected `str | Normalize | None`, found `Unknown | Divergent | tuple[int, int, int, int] | str | int`
- colour/plotting/phenomena.py:1482:53 error[invalid-argument-type] Argument to bound method `pcolormesh` is incorrect: Expected `int | float | None`, found `str`
+ colour/plotting/phenomena.py:1482:53 error[invalid-argument-type] Argument to bound method `pcolormesh` is incorrect: Expected `int | float | None`, found `Unknown | Divergent | str`

comtypes (https://github.com/enthought/comtypes)
+ comtypes/tools/codegenerator/comments.py:27:21 error[unsupported-operator] Operator `|=` is not supported between objects of type `None` and `Literal[1]`
+ comtypes/tools/codegenerator/comments.py:67:44 error[no-matching-overload] No overload of bound method `join` matches arguments
+ comtypes/test/test_basic.py:41:26 error[unresolved-attribute] Object of type `_Pointer[_CT@_Pointer]` has no attribute `Release`
+ comtypes/test/test_basic.py:45:26 error[unresolved-attribute] Object of type `_Pointer[_CT@_Pointer]` has no attribute `AddRef`

core (https://github.com/home-assistant/core)
- homeassistant/helpers/system_info.py:116:9 error[invalid-assignment] Invalid subscript assignment with key of type `Literal["chassis"]` and value of type `Any | None` on object of type `dict[str, str | bool]`
- homeassistant/components/cppm_tracker/device_tracker.py:70:43 error[not-iterable] Object of type `Unknown | None | list[Unknown]` may not be iterable
+ homeassistant/components/cppm_tracker/device_tracker.py:70:43 error[not-iterable] Object of type `Unknown | None | list[dict[str, Unknown]]` may not be iterable
- homeassistant/components/knx/repairs.py:96:9 error[invalid-argument-type] Argument to bound method `async_get_or_create` is incorrect: Expected `dict[str, str | int | float | None] | None`, found `dict[str, str]`
- homeassistant/helpers/intent.py:972:13 error[no-matching-overload] No overload of bound method `update` matches arguments
+ homeassistant/helpers/template/__init__.py:879:13 error[unresolved-attribute] Object of type `AbstractSet[_T_co@AbstractSet]` has no attribute `add`

dd-trace-py (https://github.com/DataDog/dd-trace-py)
- benchmarks/bm/iast_fixtures/str_methods_py3.py:139:29 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[Any]`, found `dict[Unknown, Unknown]`
+ benchmarks/bm/iast_fixtures/str_methods_py3.py:139:29 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[Any]`, found `dict[Unknown, Unknown | Divergent]`
- ddtrace/contrib/internal/grpc/client_interceptor.py:199:27 error[invalid-argument-type] Argument to function `is_otlp_export` is incorrect: Expected `tuple[Unknown, ...]`, found `list[Unknown]`
+ ddtrace/contrib/internal/grpc/client_interceptor.py:199:27 error[invalid-argument-type] Argument to function `is_otlp_export` is incorrect: Expected `tuple[Unknown, ...]`, found `list[tuple[str | Unknown, str | Unknown]] | list[Unknown]`
+ ddtrace/vendor/ply/yacc.py:655:74 error[unresolved-attribute] Attribute `lineno` is not defined on `YaccSymbol` in union `YaccSymbol | Divergent | Unknown`
- ddtrace/vendor/ply/yacc.py:425:25 error[unresolved-attribute] Attribute `type` is not defined on `YaccSymbol` in union `(Unknown & ~AlwaysFalsy) | YaccSymbol`
+ ddtrace/vendor/ply/yacc.py:425:25 error[unresolved-attribute] Attribute `type` is not defined on `YaccSymbol` in union `(Unknown & ~AlwaysFalsy) | YaccSymbol | Divergent`
- ddtrace/vendor/ply/yacc.py:601:29 error[invalid-assignment] Object of type `Unknown` is not assignable to attribute `lexer` on type `(Unknown & ~AlwaysFalsy & ~<Protocol with members 'lexer'>) | (YaccSymbol & ~AlwaysFalsy & ~<Protocol with members 'lexer'>)`
+ ddtrace/vendor/ply/yacc.py:601:29 error[invalid-assignment] Object of type `Unknown` is not assignable to attribute `lexer` on type `(Unknown & ~AlwaysFalsy & ~<Protocol with members 'lexer'>) | (YaccSymbol & ~AlwaysFalsy & ~<Protocol with members 'lexer'>) | Divergent`
- ddtrace/vendor/ply/yacc.py:620:83 error[unresolved-attribute] Attribute `type` is not defined on `YaccSymbol & ~AlwaysFalsy` in union `(Unknown & ~AlwaysFalsy) | (YaccSymbol & ~AlwaysFalsy)`
+ ddtrace/vendor/ply/yacc.py:620:83 error[unresolved-attribute] Attribute `type` is not defined on `YaccSymbol & ~AlwaysFalsy` in union `(Unknown & ~AlwaysFalsy) | (YaccSymbol & ~AlwaysFalsy) | Divergent`
- ddtrace/vendor/ply/yacc.py:644:20 error[unresolved-attribute] Attribute `type` is not defined on `None`, `YaccSymbol` in union `None | (Unknown & ~AlwaysFalsy) | YaccSymbol`
+ ddtrace/vendor/ply/yacc.py:644:20 error[unresolved-attribute] Attribute `type` is not defined on `None`, `YaccSymbol` in union `None | (Unknown & ~AlwaysFalsy) | YaccSymbol | Divergent`
- ddtrace/vendor/ply/yacc.py:924:105 error[unresolved-attribute] Attribute `type` is not defined on `YaccSymbol & ~AlwaysFalsy` in union `(Unknown & ~AlwaysFalsy) | (YaccSymbol & ~AlwaysFalsy)`
+ ddtrace/vendor/ply/yacc.py:924:105 error[unresolved-attribute] Attribute `type` is not defined on `YaccSymbol & ~AlwaysFalsy` in union `(Unknown & ~AlwaysFalsy) | (YaccSymbol & ~AlwaysFalsy) | Divergent`
- ddtrace/vendor/ply/yacc.py:954:20 error[unresolved-attribute] Attribute `type` is not defined on `None`, `YaccSymbol` in union `None | (Unknown & ~AlwaysFalsy) | YaccSymbol`
+ ddtrace/vendor/ply/yacc.py:954:20 error[unresolved-attribute] Attribute `type` is not defined on `None`, `YaccSymbol` in union `None | (Unknown & ~AlwaysFalsy) | YaccSymbol | Divergent`
- ddtrace/vendor/ply/yacc.py:1960:13 error[invalid-assignment] Object of type `list[Unknown]` is not assignable to attribute `lr_items` on type `Unknown | None`
+ ddtrace/vendor/ply/yacc.py:1960:13 error[invalid-assignment] Object of type `list[LRItem]` is not assignable to attribute `lr_items` on type `Unknown | None`
- ddtrace/vendor/ply/yacc.py:2831:22 error[not-iterable] Object of type `Unknown | None | list[Unknown]` may not be iterable
+ ddtrace/vendor/ply/yacc.py:2831:22 error[not-iterable] Object of type `Unknown | None | list[MiniProduction]` may not be iterable
+ ddtrace/vendor/psutil/setup.py:306:9 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[tuple[str, str | None]] | None`, found `list[tuple[str, int] | tuple[str, str | None] | tuple[str, Unknown]]`
+ ddtrace/vendor/psutil/setup.py:330:9 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[tuple[str, str | None]] | None`, found `list[tuple[str, int] | tuple[str, str | None] | tuple[str, Unknown]]`
+ ddtrace/vendor/psutil/setup.py:354:9 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[tuple[str, str | None]] | None`, found `list[tuple[str, int] | tuple[str, str | None] | tuple[str, Unknown]]`
+ ddtrace/vendor/psutil/setup.py:409:9 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[tuple[str, str | None]] | None`, found `list[tuple[str, int] | tuple[str, str | None] | tuple[str, Unknown]]`
+ tests/contrib/psycopg/test_psycopg_patch.py:39:16 error[unresolved-attribute] Object of type `list[_T@list]` has no attribute `get`
+ tests/integration/test_sampling.py:343:16 error[unsupported-operator] Operator `>` is not supported between objects of type `int | float | None` and `Literal[0]`
+ tests/tracer/test_propagation.py:1544:1 error[no-matching-overload] No overload of bound method `update` matches arguments
- tests/utils.py:1067:31 error[invalid-argument-type] Argument to function `__new__` is incorrect: Expected `str | None`, found `list[Unknown]`
+ tests/utils.py:1067:31 error[invalid-argument-type] Argument to function `__new__` is incorrect: Expected `str | None`, found `list[TestSpanNode]`

discord.py (https://github.com/Rapptz/discord.py)
+ discord/abc.py:476:55 error[invalid-argument-type] Argument to bound method `bulk_channel_update` is incorrect: Expected `list[ChannelPositionUpdate]`, found `list[dict[str, Any] | ChannelPositionUpdate]`
- discord/app_commands/models.py:539:13 error[invalid-assignment] Invalid subscript assignment with key of type `Literal["name_localizations"]` and value of type `dict[str, str]` on object of type `dict[str, str | ChoiceT@Choice]`
- discord/app_commands/transformers.py:143:13 error[invalid-assignment] Invalid subscript assignment with key of type `Literal["channel_types"]` and value of type `list[int]` on object of type `dict[str, int | str]`
- discord/client.py:735:78 error[invalid-argument-type] Argument to bound method `update` is incorrect: Expected `int | None`, found `str | None`
- discord/client.py:727:59 error[invalid-argument-type] Argument to bound method `from_client` is incorrect: Expected `str | None`, found `int | None`
+ discord/client.py:727:59 error[invalid-argument-type] Argument to bound method `from_client` is incorrect: Expected `str`, found `Divergent | int | None`

dragonchain (https://github.com/dragonchain/dragonchain)
- dragonchain/transaction_processor/level_4_actions_utest.py:73:50 error[invalid-argument-type] Argument to function `verify_blocks` is incorrect: Expected `list[L3BlockModel]`, found `list[MagicMock]`

ibis (https://github.com/ibis-project/ibis)
+ ibis/backends/clickhouse/tests/conftest.py:94:9 error[unresolved-attribute] Object of type `Mapping[_KT@Mapping, _VT_co@Mapping]` has no attribute `setdefault`
+ ibis/backends/clickhouse/tests/conftest.py:95:9 error[unresolved-attribute] Object of type `Mapping[_KT@Mapping, _VT_co@Mapping]` has no attribute `setdefault`

ignite (https://github.com/pytorch/ignite)
- examples/cifar10_raytune/main.py:33:50 error[invalid-argument-type] Argument to function `create_supervised_evaluator` is incorrect: Expected `dict[str, Metric] | None`, found `dict[str, Accuracy | Loss]`
- examples/mnist/mnist_save_resume_engine.py:169:52 error[invalid-argument-type] Argument to function `create_supervised_evaluator` is incorrect: Expected `dict[str, Metric] | None`, found `dict[str, Accuracy | Loss]`
- examples/mnist/mnist_with_tensorboard_logger.py:109:63 error[invalid-argument-type] Argument to function `create_supervised_evaluator` is incorrect: Expected `dict[str, Metric] | None`, found `dict[str, Accuracy | Loss]`

isort (https://github.com/pycqa/isort)
+ isort/settings.py:516:50 error[invalid-argument-type] Argument is incorrect: Expected `bool`, found `Unknown | tuple[str, ...] | str | None`
+ isort/settings.py:516:50 error[invalid-argument-type] Argument is incorrect: Expected `bool`, found `Unknown | tuple[str, ...] | str | None`
+ isort/settings.py:516:50 error[invalid-argument-type] Argument is incorrect: Expected `bool`, found `Unknown | tuple[str, ...] | str | None`
+ isort/settings.py:516:50 error[invalid-argument-type] Argument is incorrect: Expected `bool`, found `Unknown | tuple[str, ...] | str | None`
+ isort/settings.py:516:50 error[invalid-argument-type] Argument is incorrect: Expected `bool`, found `Unknown | tuple[str, ...] | str | None`
+ isort/settings.py:516:50 error[invalid-argument-type] Argument is incorrect: Expected `bool`, found `Unknown | tuple[str, ...] | str | None`
+ isort/settings.py:516:50 error[invalid-argument-type] Argument is incorrect: Expected `bool`, found `Unknown | tuple[str, ...] | str | None`
+ isort/settings.py:516:50 error[invalid-argument-type] Argument is incorrect: Expected `bool`, found `Unknown | tuple[str, ...] | str | None`
+ isort/settings.py:516:50 error[invalid-argument-type] Argument is incorrect: Expected `bool`, found `Unknown | tuple[str, ...] | str | None`
+ isort/settings.py:516:50 error[invalid-argument-type] Argument is incorrect: Expected `frozenset[str]`, found `Unknown | tuple[str, ...] | str | None`
+ isort/settings.py:516:50 error[invalid-argument-type] Argument is incorrect: Expected `frozenset[str]`, found `Unknown | tuple[str, ...] | str | None`
+ isort/settings.py:516:50 error[invalid-argument-type] Argument is incorrect: Expected `frozenset[str]`, found `Unknown | tuple[str, ...] | str | None`
+ isort/settings.py:516:50 error[invalid-argument-type] Argument is incorrect: Expected `int`, found `Unknown | tuple[str, ...] | str | None`
+ isort/settings.py:516:50 error[invalid-argument-type] Argument is incorrect: Expected `str`, found `Unknown | tuple[str, ...] | str | None`
+ isort/settings.py:516:50 error[invalid-argument-type] Argument is incorrect: Expected `str`, found `Unknown | tuple[str, ...] | str | None`

jax (https://github.com/google/jax)
+ jax/experimental/mosaic/gpu/core.py:533:15 error[call-top-callable] Object of type `Top[(...) -> object]` is not safe to call; its signature is not known

materialize (https://github.com/MaterializeInc/materialize)
- misc/python/materialize/checks/scenarios_upgrade.py:833:21 error[invalid-argument-type] Argument to bound method `append` is incorrect: Expected `StartMz | Initialize`, found `Manipulate`

meson (https://github.com/mesonbuild/meson)
- mesonbuild/backend/ninjabackend.py:2545:48 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[NinjaCommandArg | str]`, found `list[str]`
- mesonbuild/compilers/detect.py:375:44 error[invalid-argument-type] Argument to function `guess_nix_linker` is incorrect: Expected `list[str]`, found `list[str] | list[Never]`
- mesonbuild/compilers/detect.py:378:25 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[str]`, found `list[str] | list[Never]`
- mesonbuild/compilers/detect.py:466:29 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[str]`, found `list[str] | list[Never]`
- mesonbuild/compilers/detect.py:490:48 error[invalid-argument-type] Argument to function `guess_nix_linker` is incorrect: Expected `list[str]`, found `list[str] | list[Never]`
- mesonbuild/compilers/detect.py:493:25 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[str]`, found `list[str] | list[Never]`
- mesonbuild/compilers/detect.py:503:17 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[str]`, found `list[str] | list[Never]`
- mesonbuild/compilers/detect.py:503:17 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[str]`, found `list[str] | list[Never]`
- mesonbuild/compilers/detect.py:561:25 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[str]`, found `list[str] | list[Never]`
- mesonbuild/compilers/detect.py:567:25 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[str]`, found `list[str] | list[Never]`
- mesonbuild/compilers/detect.py:574:25 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[str]`, found `list[str] | list[Never]`
- mesonbuild/compilers/detect.py:598:52 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[str]`, found `list[str] | list[Never]`
- mesonbuild/compilers/detect.py:648:25 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[str]`, found `list[str] | list[Never]`
- mesonbuild/mintro.py:164:13 error[invalid-assignment] Invalid subscript assignment with key of type `str` and value of type `dict[str, str | None]` on object of type `dict[str, dict[str, str | list[str] | None]]`
- mesonbuild/modules/codegen.py:173:28 error[invalid-argument-type] Argument to bound method `append` is incorrect: Expected `LiteralString`, found `str`
- unittests/optiontests.py:351:56 error[invalid-argument-type] Argument to bound method `initialize_from_subproject_call` is incorrect: Expected `dict[OptionKey, str | int | list[str]]`, found `dict[OptionKey, bool]`
- unittests/optiontests.py:371:60 error[invalid-argument-type] Argument to bound method `initialize_from_subproject_call` is incorrect: Expected `dict[OptionKey, str | int | list[str]]`, found `dict[OptionKey, str]`

mongo-python-driver (https://github.com/mongodb/mongo-python-driver)
- pymongo/synchronous/client_bulk.py:529:17 error[invalid-assignment] Invalid subscript assignment with key of type `Literal["comment"]` and value of type `(Unknown & ~AlwaysFalsy) | (str & ~AlwaysFalsy)` on object of type `dict[str, int]`
- pymongo/synchronous/client_bulk.py:697:17 error[invalid-assignment] Invalid subscript assignment with key of type `Literal["comment"]` and value of type `(Unknown & ~AlwaysFalsy) | (str & ~AlwaysFalsy)` on object of type `dict[str, int]`

mypy (https://github.com/python/mypy)
- mypy/checker.py:5276:40 error[invalid-argument-type] Argument to bound method `append` is incorrect: Expected `Instance | TypeType`, found `NoneType`
- mypy/checkexpr.py:5802:36 error[invalid-argument-type] Argument to bound method `check_generator_or_comprehension` is incorrect: Expected `list[Type] | None`, found `list[Type] | list[mypy.types.NoneType]`
- mypy/checkpattern.py:335:13 error[invalid-argument-type] Argument to bound method `contract_starred_pattern_types` is incorrect: Expected `list[Type]`, found `list[Type] | list[Unknown] | list[AnyType] | list[Instance]`
+ mypy/checkpattern.py:335:13 error[invalid-argument-type] Argument to bound method `contract_starred_pattern_types` is incorrect: Expected `list[Type]`, found `list[Type] | list[AnyType] | list[Instance]`

optuna (https://github.com/optuna/optuna)
+ optuna/study/_dataframe.py:63:21 error[invalid-assignment] Invalid subscript assignment with key of type `tuple[str, int | Unknown]` and value of type `Unknown` on object of type `dict[tuple[str, str], Any]`
+ optuna/study/_dataframe.py:67:21 error[invalid-assignment] Invalid subscript assignment with key of type `tuple[str, int]` and value of type `object` on object of type `dict[tuple[str, str], Any]`
- optuna/visualization/_parallel_coordinate.py:288:17 error[invalid-argument-type] Argument to bound method `append` is incorrect: Expected `dict[str, str | tuple[int | float, ...]]`, found `dict[str, str | tuple[int | float, ...] | list[int | float] | list[str]]`
- tests/gp_tests/test_search_space.py:132:32 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `dict[str, BaseDistribution]`, found `dict[str, FloatDistribution | IntDistribution | CategoricalDistribution]`
- tests/samplers_tests/test_nsgaii.py:830:49 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `dict[str, BaseDistribution]`, found `dict[str, FloatDistribution | IntDistribution]`
- tests/study_tests/test_study.py:1322:23 error[invalid-argument-type] Argument to bound method `ask` is incorrect: Expected `dict[str, BaseDistribution] | None`, found `dict[str, FloatDistribution | CategoricalDistribution]`
- tests/visualization_tests/test_contour.py:80:13 error[invalid-argument-type] Argument to function `create_trial` is incorrect: Expected `dict[str, BaseDistribution] | None`, found `dict[str, FloatDistribution | CategoricalDistribution]`

paasta (https://github.com/yelp/paasta)
+ paasta_tools/secret_tools.py:115:13 error[invalid-assignment] Invalid subscript assignment with key of type `str` and value of type `str | None` on object of type `dict[str, str]`
+ paasta_tools/kubernetes_tools.py:2406:13 error[unsupported-operator] Operator `+=` is not supported between objects of type `str` and `list[Unknown] & ~AlwaysFalsy`
+ paasta_tools/setup_kubernetes_job.py:250:12 error[invalid-return-type] Return type does not match returned value: expected `list[tuple[bool, KubernetesDeploymentConfig]]`, found `list[tuple[bool, KubernetesDeploymentConfig] | tuple[bool, None]]`

pandas (https://github.com/pandas-dev/pandas)
+ pandas/core/indexes/base.py:5636:18 error[unresolved-attribute] Attribute `name` is not defined on `Sequence[Index]` in union `Index | Sequence[Index]`
+ pandas/io/formats/printing.py:451:21 error[no-matching-overload] No overload of bound method `join` matches arguments
- pandas/io/parsers/python_parser.py:740:48 error[invalid-argument-type] Argument to bound method `_handle_usecols` is incorrect: Expected `list[list[str | bytes | date | ... omitted 11 union elements]]`, found `list[list[int]]`
+ pandas/io/parsers/python_parser.py:740:48 error[invalid-argument-type] Argument to bound method `_handle_usecols` is incorrect: Expected `list[list[str | bytes | date | ... omitted 11 union elements]]`, found `list[list[str | bytes | date | ... omitted 11 union elements] | list[int]]`
- pandas/plotting/_matplotlib/converter.py:81:12 error[invalid-return-type] Return type does not match returned value: expected `list[tuple[type, type[Unknown]]]`, found `list[tuple[<class 'Timestamp'>, <class 'DatetimeConverter'>] | tuple[<class 'Period'>, <class 'PeriodConverter'>] | tuple[<class 'datetime'>, <class 'DatetimeConverter'>] | ... omitted 3 union elements]`
- pandas/plotting/_matplotlib/core.py:702:33 error[invalid-argument-type] Argument to bound method `append` is incorrect: Expected `<class 'number'> | str`, found `<class 'bool'>`
+ pandas/tests/base/test_value_counts.py:28:14 error[unresolved-attribute] Object of type `ndarray[_ShapeT_co@ndarray, _DTypeT_co@ndarray]` has no attribute `value_counts`
- pandas/tests/io/formats/style/test_to_latex.py:479:37 error[invalid-argument-type] Argument to function `_parse_latex_cell_styles` is incorrect: Expected `list[tuple[str, str | int | float]]`, found `list[tuple[str, str]]`
+ pandas/tests/io/test_stata.py:1013:9 error[invalid-assignment] Invalid subscript assignment with key of type `Literal[5]` and value of type `datetime` on object of type `list[NaTType]`
+ pandas/tests/io/test_stata.py:1017:9 error[invalid-assignment] Invalid subscript assignment with key of type `Literal[2]` and value of type `datetime` on object of type `list[NaTType]`
+ pandas/tests/io/test_stata.py:1018:26 error[invalid-assignment] Invalid subscript assignment with key of type `Literal[6]` and value of type `datetime` on object of type `list[NaTType]`
- pandas/tests/io/test_stata.py:2444:38 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `dict[Hashable, dict[int | float, str]] | None`, found `dict[str, dict[int, str] | dict[int | float, str]]`
+ pandas/tests/io/test_stata.py:2444:38 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `dict[Hashable, dict[int | float, str]] | None`, found `dict[Hashable, dict[int | float, str] | dict[int, str]]`
- pandas/tests/reshape/test_pivot.py:1880:58 error[invalid-argument-type] Argument to function `pivot_table` is incorrect: Expected `((...) -> Unknown) | str | list[((...) -> Unknown) | str] | MutableMapping[Hashable, ((...) -> Unknown) | str | list[((...) -> Unknown) | str]]`, found `dict[str, str]`
- pandas/tests/tools/test_to_numeric.py:285:33 error[invalid-argument-type] Argument to bound method `append` is incorrect: Expected `int | float`, found `Literal["string"]`

pandas-stubs (https://github.com/pandas-dev/pandas-stubs)
+ tests/series/test_series.py:2876:11 error[type-assertion-failure] Type `Series[Unknown | int]` does not match asserted type `Series[int]`

pandera (https://github.com/pandera-dev/pandera)
- tests/pandas/test_dtypes.py:99:5 error[no-matching-overload] No overload of bound method `update` matches arguments

ppb-vector (https://github.com/ppb/ppb-vector)
+ ppb_vector/__init__.py:137:73 error[unresolved-attribute] Object of type `dict_keys[_KT_co@dict_keys, _VT_co@dict_keys]` has no attribute `join`

pwndbg (https://github.com/pwndbg/pwndbg)
- pwndbg/aglib/heap/structs.py:186:60 error[invalid-argument-type] Method `__getitem__` of type `bound method dict[<class 'c_char'> | <class 'c_byte'> | <class 'c_int16'> | ... omitted 8 union elements, Type].__getitem__(key: <class 'c_char'> | <class 'c_byte'> | <class 'c_int16'> | ... omitted 8 union elements, /) -> Type` cannot be called with key of type `type[_Pointer[Any]]` on object of type `dict[<class 'c_char'> | <class 'c_byte'> | <class 'c_int16'> | ... omitted 8 union elements, Type]`
- pwndbg/aglib/heap/structs.py:186:60 error[invalid-argument-type] Method `__getitem__` of type `bound method dict[<class 'c_char'> | <class 'c_byte'> | <class 'c_int16'> | ... omitted 8 union elements, Type].__getitem__(key: <class 'c_char'> | <class 'c_byte'> | <class 'c_int16'> | ... omitted 8 union elements, /) -> Type` cannot be called with key of type `type[_SimpleCData[Any]]` on object of type `dict[<class 'c_char'> | <class 'c_byte'> | <class 'c_int16'> | ... omitted 8 union elements, Type]`
- pwndbg/aglib/heap/structs.py:217:25 error[invalid-argument-type] Method `__getitem__` of type `bound method dict[<class 'c_char'> | <class 'c_byte'> | <class 'c_int16'> | ... omitted 8 union elements, Type].__getitem__(key: <class 'c_char'> | <class 'c_byte'> | <class 'c_int16'> | ... omitted 8 union elements, /) -> Type` cannot be called with key of type `type[_Pointer[Any]]` on object of type `dict[<class 'c_char'> | <class 'c_byte'> | <class 'c_int16'> | ... omitted 8 union elements, Type]`
- pwndbg/dbg_mod/gdb/__init__.py:1867:21 error[unsupported-operator] Operator `-` is not supported between two objects of type `None | Unknown`
+ pwndbg/dbg_mod/gdb/__init__.py:1867:21 error[unsupported-operator] Operator `-` is not supported between two objects of type `None | int`

pybind11 (https://github.com/pybind/pybind11)
- tests/test_call_policies.py:179:16 error[invalid-argument-type] Argument to bound method `append` is incorrect: Expected `Derived`, found `list[Derived]`
- tests/test_pytypes.py:457:31 error[invalid-argument-type] Argument to function `__new__` is incorrect: Expected `Buffer`, found `bytes | bytearray | int | ... omitted 4 union elements`
+ tests/test_pytypes.py:457:31 error[invalid-argument-type] Argument to function `__new__` is incorrect: Expected `Iterable[SupportsIndex] | SupportsIndex | SupportsBytes | Buffer`, found `Unknown | bytes | bytearray | ... omitted 5 union elements`

pycryptodome (https://github.com/Legrandin/pycryptodome)
- lib/Crypto/SelfTest/Hash/test_KMAC.py:328:28 error[invalid-argument-type] Argument to function `new` is incorrect: Expected `bytes | bytearray | memoryview[int]`, found `Unknown | str`
+ lib/Crypto/SelfTest/Hash/test_KMAC.py:328:28 error[invalid-argument-type] Argument to function `new` is incorrect: Expected `bytes | bytearray | memoryview[int]`, found `Unknown | str | Divergent`
- lib/Crypto/SelfTest/Hash/test_KMAC.py:328:39 error[invalid-argument-type] Argument to function `new` is incorrect: Expected `bytes | bytearray | memoryview[int]`, found `Unknown | str`
+ lib/Crypto/SelfTest/Hash/test_KMAC.py:328:48 error[invalid-argument-type] Argument to function `new` is incorrect: Expected `bytes | bytearray | memoryview[int]`, found `Unknown | str | Divergent`
- lib/Crypto/SelfTest/Hash/test_TupleHash.py:276:30 error[invalid-argument-type] Argument to function `new` is incorrect: Expected `int`, found `Unknown | str`
+ lib/Crypto/SelfTest/Hash/test_TupleHash.py:276:62 error[invalid-argument-type] Argument to function `len` is incorrect: Expected `Sized`, found `Unknown | str | None`
+ lib/Crypto/SelfTest/Hash/test_TupleHash.py:277:19 error[unresolved-attribute] Attribute `new` is not defined on `None` in union `Unknown | <module 'Crypto.Hash.TupleHash128'> | <module 'Crypto.Hash.TupleHash256'> | None`
+ lib/Crypto/SelfTest/Signature/test_eddsa.py:412:44 error[invalid-argument-type] Argument to function `import_private_key` is incorrect: Expected `bytes`, found `bytes | None | <module 'Crypto.Hash.SHA512'> | <module 'Crypto.Hash.SHAKE256'>`
+ lib/Crypto/SelfTest/Signature/test_eddsa.py:419:39 error[invalid-argument-type] Argument to function `new` is incorrect: Expected `bytes | bytearray | memoryview[int] | None`, found `bytes | None | <module 'Crypto.Hash.SHA512'> | <module 'Crypto.Hash.SHAKE256'>`
+ lib/Crypto/SelfTest/Signature/test_eddsa.py:420:41 error[invalid-argument-type] Argument to bound method `sign` is incorrect: Expected `bytes | Hash | XOF`, found `SHA512Hash | SHAKE256_XOF`
+ lib/Crypto/SelfTest/Signature/test_eddsa.py:433:42 error[invalid-argument-type] Argument to bound method `verify` is incorrect: Expected `bytes`, found `bytes | None | <module 'Crypto.Hash.SHA512'> | <module 'Crypto.Hash.SHAKE256'>`

pydantic (https://github.com/pydantic/pydantic)
- pydantic/v1/schema.py:649:13 error[invalid-assignment] Invalid subscript assignment with key of type `Literal["required"]` and value of type `list[Unknown] & ~AlwaysFalsy` on object of type `dict[str, str | dict[Unknown, Unknown]]`

pywin32 (https://github.com/mhammond/pywin32)
+ com/win32comext/axdebug/codecontainer.py:137:31 error[invalid-argument-type] Argument to bound method `append` is incorrect: Expected `tuple[int, int]`, found `int`
- win32/Demos/security/explicit_entries.py:165:26 error[invalid-argument-type] Argument to bound method `SetEntriesInAcl` is incorrect: Expected `tuple[dict[str, int | dict[str, int | PySID]], ...]`, found `list[Unknown]`
+ win32/Demos/security/explicit_entries.py:165:26 error[invalid-argument-type] Argument to bound method `SetEntriesInAcl` is incorrect: Expected `tuple[dict[str, int | dict[str, int | PySID]], ...]`, found `list[dict[str, dict[Unknown, Unknown] | Unknown | int]]`
- win32/Lib/win32rcparser.py:301:31 error[invalid-argument-type] Argument to bound method `get` is incorrect: Expected `str`, found `Unknown | str | None`

rich (https://github.com/Textualize/rich)
+ tests/test_columns.py:60:21 error[unresolved-attribute] Object of type `IO[AnyStr@IO]` has no attribute `getvalue`
+ tests/test_columns_align.py:31:12 error[unresolved-attribute] Object of type `IO[AnyStr@IO]` has no attribute `getvalue`
+ tests/test_console.py:249:14 error[unresolved-attribute] Object of type `IO[AnyStr@IO]` has no attribute `getvalue`
+ tests/test_console.py:311:9 error[unresolved-attribute] Object of type `IO[AnyStr@IO]` has no attribute `getvalue`
+ tests/test_console.py:374:12 error[unresolved-attribute] Object of type `IO[AnyStr@IO]` has no attribute `getvalue`
+ tests/test_console.py:705:14 error[unresolved-attribute] Object of type `IO[AnyStr@IO]` has no attribute `getvalue`
+ tests/test_console.py:713:12 error[unresolved-attribute] Object of type `IO[AnyStr@IO]` has no attribute `getvalue`
+ tests/test_markdown.py:94:31 error[unresolved-attribute] Object of type `IO[AnyStr@IO]` has no attribute `getvalue`
+ tests/test_panel.py:121:14 error[unresolved-attribute] Object of type `IO[AnyStr@IO]` has no attribute `getvalue`
+ tests/test_rule.py:27:14 error[unresolved-attribute] Object of type `IO[AnyStr@IO]` has no attribute `getvalue`
+ tests/test_segment.py:205:14 error[unresolved-attribute] Object of type `IO[AnyStr@IO]` has no attribute `getvalue`
+ tests/test_text.py:659:16 error[unresolved-attribute] Object of type `IO[AnyStr@IO]` has no attribute `getvalue`
+ tests/test_text.py:725:12 error[unresolved-attribute] Object of type `IO[AnyStr@IO]` has no attribute `getvalue`
+ tests/test_traceback.py:120:22 error[unresolved-attribute] Object of type `IO[AnyStr@IO]` has no attribute `getvalue`
+ tests/test_traceback.py:176:22 error[unresolved-attribute] Object of type `IO[AnyStr@IO]` has no attribute `getvalue`
+ tools/profile_pretty.py:22:7 error[unresolved-attribute] Object of type `IO[AnyStr@IO]` has no attribute `getvalue`

rotki (https://github.com/rotki/rotki)
- rotkehlchen/assets/utils.py:600:13 error[no-matching-overload] No overload of bound method `update` matches arguments
- rotkehlchen/chain/evm/decoding/velodrome/decoder.py:561:17 error[invalid-assignment] Invalid subscript assignment with key of type `ChecksumAddress` and value of type `tuple[(context) -> Unknown]` on object of type `dict[Unknown | ChecksumAddress, tuple[bound method Self@addresses_to_decoders._decode_voting_escrow_events(context: DecoderContext) -> EvmDecodingOutput] | tuple[bound method Self@addresses_to_decoders._decode_vote_events(context: DecoderContext) -> EvmDecodingOutput]]`
- rotkehlchen/chain/evm/decoding/velodrome/decoder.py:567:17 error[invalid-assignment] Invalid subscript assignment with key of type `ChecksumAddress` and value of type `tuple[(context) -> Unknown]` on object of type `dict[Unknown | ChecksumAddress, tuple[bound method Self@addresses_to_decoders._decode_voting_escrow_events(context: DecoderContext) -> EvmDecodingOutput] | tuple[bound method Self@addresses_to_decoders._decode_vote_events(context: DecoderContext) -> EvmDecodingOutput]]`
- rotkehlchen/tests/db/test_history_events.py:421:31 error[invalid-argument-type] Argument to function `add_eth2_events_to_db` is incorrect: Expected `dict[int, tuple[EVMTxHash, TimestampMS, FVal, str, dict[Unknown, Unknown] | None]]`, found `dict[int, tuple[EVMTxHash, TimestampMS, FVal, str, None] | tuple[EVMTxHash, TimestampMS, FVal, str, dict[str, HistoryMappingState]]]`
- rotkehlchen/tests/unit/test_etherscan.py:6:34 error[invalid-argument-type] Argument to function `_hashes_tuple_to_list` is incorrect: Expected `set[tuple[EVMTxHash, Timestamp]]`, found `set[tuple[str, int]]`
+ rotkehlchen/tests/unit/test_etherscan.py:6:34 error[invalid-argument-type] Argument to function `_hashes_tuple_to_list` is incorrect: Expected `set[tuple[EVMTxHash, Timestamp]]`, found `set[tuple[EVMTxHash, Timestamp] | tuple[str, int]]`
- rotkehlchen/tests/utils/ethereum.py:466:65 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `DBHandler`, found `DBHandler | EvmNodeInquirer | EvmTransactions`
+ rotkehlchen/tests/utils/ethereum.py:466:65 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `GnosisTransactions`, found `BeaconChain | DBHandler | EvmNodeInquirer | EvmTransactions | Unknown`
- rotkehlchen/tests/utils/ethereum.py:466:65 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `DBHandler`, found `DBHandler | EvmNodeInquirer | EvmTransactions`
+ rotkehlchen/tests/utils/ethereum.py:466:65 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `OptimismInquirer`, found `BeaconChain | DBHandler | EvmNodeInquirer | EvmTransactions | Unknown`
- rotkehlchen/tests/utils/ethereum.py:466:65 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `GnosisInquirer`, found `DBHandler | EvmNodeInquirer | EvmTransactions`
+ rotkehlchen/tests/utils/ethereum.py:466:65 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `ScrollInquirer`, found `BeaconChain | DBHandler | EvmNodeInquirer | EvmTransactions | Unknown`
- rotkehlchen/tests/utils/ethereum.py:466:65 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `PolygonPOSTransactions`, found `DBHandler | EvmNodeInquirer | EvmTransactions`
- rotkehlchen/tests/utils/ethereum.py:466:65 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `Premium | None`, found `DBHandler | EvmNodeInquirer | EvmTransactions`

schemathesis (https://github.com/schemathesis/schemathesis)
- src/schemathesis/engine/context.py:171:9 error[invalid-assignment] Invalid subscript assignment with key of type `Literal["session"]` and value of type `Session` on object of type `dict[str, dict[str, str] | int | None | ... omitted 3 union elements]`

scikit-learn (https://github.com/scikit-learn/scikit-learn)
- sklearn/compose/tests/test_column_transformer.py:236:13 error[invalid-argument-type] Argument to bound method `extend` is incorrect: Expected `Iterable[tuple[list[str], ndarray[tuple[int, int], dtype[Any]]] | tuple[list[str], ndarray[tuple[Any, ...], dtype[Any]]] | tuple[slice[Any, Any, Any], ndarray[tuple[Any, ...], dtype[Any]]] | ... omitted 6 union elements]`, found `list[tuple[int, ndarray[tuple[int, int], dtype[Any]]] | tuple[str, ndarray[tuple[int, int], dtype[Any]]] | tuple[Unknown, ndarray[tuple[int, int], dtype[Any]]]]`
+ sklearn/decomposition/tests/test_factor_analysis.py:68:5 error[unresolved-attribute] Unresolved attribute `verbose` on type `FactorAnalysis`
- sklearn/linear_model/tests/test_ridge.py:1113:60 error[invalid-argument-type] Argument to bound method `index` is incorrect: Expected `int | float`, found `Unknown | None | int | float`
- sklearn/preprocessing/_data.py:3019:43 error[invalid-argument-type] Method `__getitem__` of type `Overload[(i: SupportsIndex, /) -> Unknown, (s: slice[SupportsIndex | None, SupportsIndex | None, SupportsIndex | None], /) -> list[Unknown]]` cannot be called with key of type `tuple[slice[None, None, None], int]` on object of type `list[Unknown]`
+ sklearn/preprocessing/_data.py:3019:43 error[invalid-argument-type] Method `__getitem__` of type `Overload[(i: SupportsIndex, /) -> list[int] | Unknown, (s: slice[SupportsIndex | None, SupportsIndex | None, SupportsIndex | None], /) -> list[list[int] | Unknown]]` cannot be called with key of type `tuple[slice[None, None, None], int]` on object of type `list[list[int] | Unknown]`
- sklearn/preprocessing/_data.py:3024:40 error[invalid-argument-type] Method `__getitem__` of type `Overload[(i: SupportsIndex, /) -> Unknown, (s: slice[SupportsIndex | None, SupportsIndex | None, SupportsIndex | None], /) -> list[Unknown]]` cannot be called with key of type `tuple[slice[None, None, None], int]` on object of type `list[Unknown]`
+ sklearn/preprocessing/_data.py:3024:40 error[invalid-argument-type] Method `__getitem__` of type `Overload[(i: SupportsIndex, /) -> list[int] | Unknown, (s: slice[SupportsIndex | None, SupportsIndex | None, SupportsIndex | None], /) -> list[list[int] | Unknown]]` cannot be called with key of type `tuple[slice[None, None, None], int]` on object of type `list[list[int] | Unknown]`
- sklearn/svm/_base.py:1082:24 error[unresolved-attribute] Attribute `get` is not defined on `int` in union `dict[str, dict[bool, int]] | int`
+ sklearn/svm/_base.py:1082:24 error[unresolved-attribute] Attribute `get` is not defined on `int` in union `(Unknown & ~None) | dict[str, dict[bool, int]] | int`

scipy (https://github.com/scipy/scipy)
+ scipy/interpolate/tests/test_bsplines.py:2554:53 error[not-iterable] Object of type `int` is not iterable
+ scipy/sparse/_index.py:429:21 error[unresolved-attribute] Attribute `shape` is not defined on `int` in union `Unknown | int`

scrapy (https://github.com/scrapy/scrapy)
- tests/test_downloadermiddleware_cookies.py:614:34 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `dict[str, str] | list[VerboseCookie] | None`, found `list[dict[str, str | Unknown]]`
+ tests/test_downloadermiddleware_cookies.py:614:34 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `dict[str, str] | list[VerboseCookie] | None`, found `list[VerboseCookie | dict[str, str | Unknown]]`
- tests/test_downloadermiddleware_cookies.py:737:58 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `dict[str, str] | list[VerboseCookie] | None`, found `list[dict[str | Unknown, str | Unknown]]`
+ tests/test_downloadermiddleware_cookies.py:737:58 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `dict[str, str] | list[VerboseCookie] | None`, found `list[VerboseCookie | dict[str | Unknown, str | Unknown]]`
- tests/test_http_request_form.py:53:73 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `dict[str, Iterable[str]] | list[tuple[str, Iterable[str]]] | None`, found `dict[str, str]`
- tests/test_pipeline_files.py:328:40 error[invalid-argument-type] Argument to bound method `item_completed` is incorrect: Expected `list[tuple[Literal[True], FileInfo] | tuple[Literal[False], Unknown]]`, found `list[tuple[bool, dict[str, str]]]`
+ tests/test_pipeline_files.py:328:40 error[invalid-argument-type] Argument to bound method `item_completed` is incorrect: Expected `list[tuple[Literal[True], FileInfo] | tuple[Literal[False], Unknown]]`, found `list[tuple[Literal[True], FileInfo] | tuple[Literal[False], Unknown] | tuple[bool, dict[str, str]]]`
- tests/test_pipeline_images.py:268:40 error[invalid-argument-type] Argument to bound method `item_completed` is incorrect: Expected `list[tuple[Literal[True], FileInfo] | tuple[Literal[False], Unknown]]`, found `list[tuple[bool, dict[str, str]]]`
+ tests/test_pipeline_images.py:268:40 error[invalid-argument-type] Argument to bound method `item_completed` is incorrect: Expected `list[tuple[Literal[True], FileInfo] | tuple[Literal[False], Unknown]]`, found `list[tuple[Literal[True], FileInfo] | tuple[Literal[False], Unknown] | tuple[bool, dict[str, str]]]`
- tests/test_spider.py:74:9 error[invalid-assignment] Object of type `dict[str, str]` is not assignable to attribute `custom_settings` on type `Unknown | <class 'Spider'>`
+ tests/test_utils_datatypes.py:131:13 error[unresolved-attribute] Object of type `MutableMapping[_KT@MutableMapping, _VT@MutableMapping]` has no attribute `fromkeys`

setuptools (https://github.com/pypa/setuptools)
- setuptools/_distutils/archive_util.py:96:21 error[no-matching-overload] No overload of bound method `get` matches arguments
+ setuptools/_distutils/command/bdist.py:156:17 error[unresolved-attribute] Unresolved attribute `format` on type `Command`

spack (https://github.com/spack/spack)
+ lib/spack/spack/cmd/config.py:716:17 error[invalid-assignment] Invalid subscript assignment with key of type `Literal["variants"]` and value of type `str & ~AlwaysFalsy` on object of type `dict[str, list[Unknown]]`
- lib/spack/spack/cmd/repo.py:374:20 error[invalid-argument-type] Argument to function `dump` is incorrect: Expected `dict[Unknown, Unknown]`, found `list[Unknown]`
+ lib/spack/spack/cmd/repo.py:374:20 error[invalid-argument-type] Argument to function `dump` is incorrect: Expected `dict[Unknown, Unknown]`, found `list[dict[str, str | Unknown | None]]`
- lib/spack/spack/mirrors/mirror.py:129:16 error[invalid-return-type] Return type does not match returned value: expected `bool`, found `Unknown | str | Literal[False]`
+ lib/spack/spack/mirrors/mirror.py:129:16 error[invalid-return-type] Return type does not match returned value: expected `bool`, found `Unknown | str | Divergent | Literal[False]`
+ lib/spack/spack/new_installer.py:1538:62 error[invalid-assignment] Object of type `list[tuple[Unknown | None | Spec, Literal["auto", "cache_only", "source_only"]]]` is not assignable to `list[tuple[Spec, Literal["auto", "cache_only", "source_only"]]]`
+ lib/spack/spack/new_installer.py:1707:39 error[invalid-argument-type] Argument to bound method `lock` is incorrect: Expected `Spec`, found `Unknown | None | Spec`
+ lib/spack/spack/util/web.py:794:43 error[invalid-argument-type] Argument to bound method `submit` is incorrect: Expected `bool`, found `Unknown | bool | set[str]`
- lib/spack/spack/vendor/attr/_compat.py:139:53 error[invalid-argument-type] Argument to function `__new__` is incorrect: Expected `tuple[str, ...]`, found `int`

sphinx (https://github.com/sphinx-doc/sphinx)
+ sphinx/domains/cpp/_symbol.py:782:20 error[unresolved-attribute] Attribute `objectType` is not defined on `None` in union `Unknown | ASTDeclaration | None`
+ sphinx/domains/cpp/_symbol.py:785:26 error[unresolved-attribute] Attribute `get_newest_id` is not defined on `None` in union `Unknown | ASTDeclaration | None`
- sphinx/domains/python/_annotations.py:149:20 error[invalid-return-type] Return type does not match returned value: expected `list[Node]`, found `list[desc_sig_punctuation]`
- sphinx/domains/python/_annotations.py:187:20 error[invalid-return-type] Return type does not match returned value: expected `list[Node]`, found `list[Unknown] | list[desc_sig_punctuation]`
+ sphinx/domains/python/_annotations.py:193:17 error[unsupported-operator] Operator `+=` is not supported between objects of type `list[desc_sig_name | desc_sig_operator]` and `list[Node]`

static-frame (https://github.com/static-frame/static-frame)
+ static_frame/test/unit/test_container_util.py:166:13 error[unresolved-attribute] Object of type `ndarray[_ShapeT_co@ndarray, _DTypeT_co@ndarray]` has no attribute `to_pairs`

strawberry (https://github.com/strawberry-graphql/strawberry)
+ strawberry/printer/printer.py:146:18 error[no-matching-overload] No overload of bound method `join` matches arguments

sympy (https://github.com/sympy/sympy)
- sympy/combinatorics/polyhedron.py:792:23 error[invalid-argument-type] Argument to bound method `extend` is incorrect: Expected `Iterable[Permutation]`, found `list[None | Permutation]`
+ sympy/core/mod.py:161:32 error[invalid-argument-type] Argument to function `__new__` is incorrect: Expected `Expr | int | float | complex`, found `Basic`
- sympy/integrals/laplace.py:936:29 error[invalid-argument-type] Argument to bound method `append` is incorrect: Expected `int`, found `Expr`
- sympy/integrals/laplace.py:938:29 error[invalid-argument-type] Argument to bound method `append` is incorrect: Expected `int`, found `Expr`
+ sympy/plotting/pygletplot/color_scheme.py:262:51 error[not-subscriptable] Cannot subscript object of type `None` with no `__getitem__` method
+ sympy/plotting/pygletplot/color_scheme.py:306:53 error[not-iterable] Object of type `None | list[Unknown]` may not be iterable
+ sympy/polys/matrices/tests/test_xxm.py:79:16 error[unresolved-attribute] Attribute `domain` is not defined on `DFM`, `DFM_dummy` in union `DFM | DFM_dummy | DDM`
+ sympy/polys/matrices/tests/test_xxm.py:80:16 error[unresolved-attribute] Attribute `shape` is not defined on `DFM`, `DFM_dummy` in union `DFM | DFM_dummy | DDM`
+ sympy/polys/matrices/tests/test_xxm.py:210:20 error[unresolved-attribute] Attribute `to_dfm` is not defined on `DFM_dummy` in union `DFM | DFM_dummy | DDM | SDM | DomainMatrix`
- sympy/polys/tests/test_galoistools.py:55:29 error[invalid-argument-type] Argument to function `gf_crt2` is incorrect: Expected `list[MPZ]`, found `list[int]`
+ sympy/polys/tests/test_galoistools.py:55:29 error[invalid-argument-type] Argument to function `gf_crt2` is incorrect: Expected `list[MPZ]`, found `list[MPZ | int]`
+ sympy/printing/pretty/stringpict.py:476:20 error[unresolved-attribute] Attribute `picture` is not defined on `str` in union `Unknown | stringPict | str`
+ sympy/tensor/array/expressions/from_array_to_matrix.py:402:20 error[unresolved-attribute] Attribute `shape` is not defined on `Expr`, `T2'return@call_highest_priority`, `T1'return@call_highest_priority` in union `Unknown | Expr | MatrixBase | T2'return@call_highest_priority | T1'return@call_highest_priority`
+ sympy/tensor/array/expressions/from_array_to_matrix.py:428:20 error[unresolved-attribute] Attribute `shape` is not defined on `Expr`, `T2'return@call_highest_priority`, `T1'return@call_highest_priority` in union `Unknown | Expr | MatrixBase | T2'return@call_highest_priority | T1'return@call_highest_priority`
+ sympy/tensor/tensor.py:413:36 error[unresolved-attribute] Attribute `symmetry` is not defined on `int` in union `Unknown | int`
- sympy/vector/basisdependent.py:225:9 error[invalid-assignment] Object of type `dict[Unknown, Unknown]` is not assignable to attribute `_components` on type `Expr & ~Mul`
+ sympy/vector/basisdependent.py:225:9 error[invalid-assignment] Object of type `dict[Unknown, int | Unknown]` is not assignable to attribute `_components` on type `Expr & ~Mul`

vision (https://github.com/pytorch/vision)
+ test/test_image.py:457:26 error[unresolved-attribute] Attribute `cpu` is not defined on `list[Unknown]` in union `Unknown | list[Unknown]`
- torchvision/transforms/v2/_auto_augment.py:612:79 error[invalid-argument-type] Argument to bound method `_get_random_item` is incorrect: Expected `dict[str, tuple[(...) -> Unknown, bool]]`, found `dict[str, tuple[(int, int, int, /) -> Unknown | None, bool]] | Unknown | dict[str, tuple[(num_bins, height, width) -> Unknown, bool]]`

werkzeug (https://github.com/pallets/werkzeug)
- src/werkzeug/test.py:409:20 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `IO[bytes] | str | bytes | Mapping[str, Any] | None`, found `str | Any | None | Headers`
+ src/werkzeug/test.py:409:20 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `IO[bytes] | str | bytes | Mapping[str, Any] | None`, found `Any | str | None | Headers`

xarray (https://github.com/pydata/xarray)
- xarray/core/indexing.py:1534:43 error[invalid-argument-type] Argument to bound method `from_array` is incorrect: Expected `tuple[tuple[int, ...], ...]`, found `list[Unknown]`
+ xarray/core/indexing.py:1534:43 error[invalid-argument-type] Argument to bound method `from_array` is incorrect: Expected `tuple[tuple[int, ...], ...]`, found `list[Unknown | tuple[int]]`

zulip (https://github.com/zulip/zulip)
+ zerver/lib/streams.py:1149:14 error[unresolved-attribute] Object of type `Stream` has no attribute `id`
+ zerver/lib/streams.py:1153:88 error[unresolved-attribute] Object of type `Stream` has no attribute `id`
+ zerver/lib/streams.py:1157:14 error[unresolved-attribute] Object of type `Stream` has no attribute `id`
+ zerver/lib/streams.py:1162:34 error[unresolved-attribute] Object of type `Stream` has no attribute `realm_id`
+ zerver/lib/streams.py:1167:41 error[unresolved-attribute] Object of type `Stream` has no attribute `id`
+ zerver/lib/streams.py:1602:48 error[unresolved-attribute] Object of type `UserGroup` has no attribute `id`
+ zerver/lib/user_groups.py:746:25 error[unresolved-attribute] Object of type `object` has no attribute `description`
+ zerver/lib/user_groups.py:772:12 error[unresolved-attribute] Object of type `object` has no attribute `is_system_group`
- zerver/lib/user_groups.py:715:24 error[unresolved-attribute] Attribute `id` is not defined on `NamedUserGroup` in union `NamedUserGroup | Unknown`
+ zerver/lib/user_groups.py:715:24 error[unresolved-attribute] Object of type `object` has no attribute `id`
- zerver/lib/user_groups.py:730:48 error[unresolved-attribute] Attribute `id` is not defined on `NamedUserGroup` in union `NamedUserGroup | Unknown`
+ zerver/lib/user_groups.py:730:48 error[unresolved-attribute] Object of type `object` has no attribute `id`
- zerver/lib/user_groups.py:731:50 error[unresolved-attribute] Attribute `id` is not defined on `NamedUserGroup` in union `NamedUserGroup | Unknown`
+ zerver/lib/user_groups.py:731:50 error[unresolved-attribute] Object of type `object` has no attribute `id`
- zerver/lib/user_groups.py:733:22 error[unresolved-attribute] Attribute `creator_id` is not defined on `NamedUserGroup` in union `NamedUserGroup | Unknown`
+ zerver/lib/user_groups.py:733:22 error[unresolved-attribute] Object of type `object` has no attribute `creator_id`

Full report with detailed diff (timing results)

…ever` (#24056) This showed up in #23761 with `Divergent | Any`.

ibraheemdev added the ty Multi-file analysis & type inference label Mar 6, 2026

ibraheemdev force-pushed the ibraheem/extended-bidi branch from 9859ff4 to ca3b993 Compare March 7, 2026 07:30

ibraheemdev force-pushed the ibraheem/extended-bidi branch from ca3b993 to f8e6314 Compare March 19, 2026 14:16

ibraheemdev mentioned this pull request Mar 19, 2026

[ty] Unions/intersections of gradual types should be assignable to Never #24056

Merged

ibraheemdev added a commit that referenced this pull request Mar 19, 2026

[ty] Unions/intersections of gradual types should be assignable to `N…

ffeee66

…ever` (#24056) This showed up in #23761 with `Divergent | Any`.

ibraheemdev force-pushed the ibraheem/extended-bidi branch from 432a31c to 4f6d775 Compare March 23, 2026 22:17

full-scope bidirectional inference for unannotated container literals

db3943a

ibraheemdev force-pushed the ibraheem/extended-bidi branch from 22b0dae to db3943a Compare March 24, 2026 17:16

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

[ty] Full-scope bidirectional inference for unannotated container literals#23761

[ty] Full-scope bidirectional inference for unannotated container literals#23761
ibraheemdev wants to merge 1 commit intomainfrom
ibraheem/extended-bidi

ibraheemdev commented Mar 6, 2026

Uh oh!

astral-sh-bot bot commented Mar 6, 2026 •

edited

Loading

Uh oh!

codspeed-hq bot commented Mar 6, 2026 •

edited

Loading

Uh oh!

astral-sh-bot bot commented Mar 7, 2026 •

edited

Loading

prefect

sphinx

trio

flake8

Uh oh!

astral-sh-bot bot commented Mar 19, 2026 •

edited

Loading

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

ibraheemdev commented Mar 6, 2026

Uh oh!

astral-sh-bot bot commented Mar 6, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Typing conformance results

No changes detected ✅

Uh oh!

codspeed-hq bot commented Mar 6, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Merging this PR will degrade performance by 49.21%

Performance Changes

Footnotes

Uh oh!

astral-sh-bot bot commented Mar 7, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Memory usage report

Summary

Significant changes

prefect

sphinx

trio

flake8

Uh oh!

astral-sh-bot bot commented Mar 19, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

ecosystem-analyzer results

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

astral-sh-bot bot commented Mar 6, 2026 •

edited

Loading

codspeed-hq bot commented Mar 6, 2026 •

edited

Loading

astral-sh-bot bot commented Mar 7, 2026 •

edited

Loading

astral-sh-bot bot commented Mar 19, 2026 •

edited

Loading

`ecosystem-analyzer` results