Skip to content

[ty] Sync vendored typeshed stubs#23963

Merged
AlexWaygood merged 6 commits intomainfrom
typeshedbot/sync-typeshed
Mar 15, 2026
Merged

[ty] Sync vendored typeshed stubs#23963
AlexWaygood merged 6 commits intomainfrom
typeshedbot/sync-typeshed

Conversation

@github-actions
Copy link
Contributor

@github-actions github-actions bot commented Mar 15, 2026

Close and reopen this PR to trigger CI

@github-actions github-actions bot added the ty Multi-file analysis & type inference label Mar 15, 2026
@AlexWaygood AlexWaygood reopened this Mar 15, 2026
@astral-sh-bot
Copy link

astral-sh-bot bot commented Mar 15, 2026

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.13%. The number of fully passing files held steady at 64/132.

@astral-sh-bot
Copy link

astral-sh-bot bot commented Mar 15, 2026

Memory usage report

Summary

Project Old New Diff Outcome
prefect 706.23MB 706.24MB +0.00% (6.44kB) ⏫
sphinx 265.95MB 265.95MB -0.00% (4.37kB) ⬇️
flake8 48.05MB 48.03MB -0.02% (10.85kB) ⬇️
trio 118.03MB 118.00MB -0.02% (22.62kB) ⬇️

Significant changes

Click to expand detailed breakdown

prefect

Name Old New Diff Outcome
parsed_module 34.22MB 34.22MB -0.02% (6.52kB) ⏫
StaticClassLiteral<'db>::try_mro_ 6.07MB 6.07MB +0.08% (4.84kB) ⏫
is_redundant_with_impl::interned_arguments 5.36MB 5.36MB +0.07% (3.87kB) ⏫
infer_definition_types 88.99MB 88.98MB -0.00% (3.66kB) ⏫
is_redundant_with_impl 5.57MB 5.57MB +0.06% (3.66kB) ⏫
semantic_index 173.44MB 173.44MB -0.00% (3.11kB) ⏫
UnionType<'db>::from_two_elements_ 5.16MB 5.16MB +0.04% (2.36kB) ⏫
infer_expression_types_impl 60.90MB 60.90MB +0.00% (1.57kB) ⏫
FunctionType 8.50MB 8.49MB -0.02% (1.41kB) ⏫
UnionType 3.46MB 3.46MB +0.04% (1.34kB) ⏫
FunctionType<'db>::signature_ 3.88MB 3.88MB -0.03% (1.21kB) ⏫
Type<'db>::member_lookup_with_policy_ 15.89MB 15.89MB +0.01% (1.21kB) ⏫
Type<'db>::try_call_dunder_get_ 10.51MB 10.51MB +0.01% (1.18kB) ⏫
Specialization 2.52MB 2.52MB +0.04% (1.12kB) ⏫
TupleType 697.72kB 696.72kB -0.14% (1.00kB) ⏫
... 39 more

sphinx

Name Old New Diff Outcome
parsed_module 32.53MB 32.55MB +0.07% (23.25kB) ⬇️
Type<'db>::apply_specialization_ 1.67MB 1.66MB -0.45% (7.70kB) ⬇️
FunctionType 3.12MB 3.12MB -0.14% (4.54kB) ⬇️
infer_definition_types 24.07MB 24.06MB -0.02% (4.22kB) ⬇️
FunctionType<'db>::signature_ 2.27MB 2.27MB -0.16% (3.78kB) ⬇️
semantic_index 62.50MB 62.49MB -0.00% (3.11kB) ⬇️
infer_deferred_types 5.60MB 5.60MB +0.04% (2.30kB) ⬇️
Type<'db>::apply_specialization_::interned_arguments 1.45MB 1.45MB -0.14% (2.11kB) ⬇️
source_text 7.28MB 7.28MB +0.02% (1.26kB) ⬇️
Type<'db>::class_member_with_policy_::interned_arguments 4.01MB 4.01MB -0.03% (1.22kB) ⬇️
Type<'db>::class_member_with_policy_ 7.63MB 7.63MB -0.01% (1.17kB) ⬇️
Specialization 1.02MB 1.02MB -0.08% (896.00B) ⬇️
Definition 8.87MB 8.87MB -0.01% (768.00B) ⬇️
CallableType 1.07MB 1.07MB -0.06% (648.00B) ⬇️
UnionType 1.23MB 1.23MB +0.04% (576.00B) ⬇️
... 18 more

flake8

Name Old New Diff Outcome
parsed_module 17.37MB 17.36MB -0.04% (6.70kB) ⬇️
semantic_index 13.83MB 13.83MB -0.02% (3.11kB) ⬇️
Definition 2.15MB 2.15MB -0.03% (768.00B) ⬇️
source_text 1.56MB 1.56MB -0.01% (218.00B) ⬇️
ScopeId 230.35kB 230.27kB -0.03% (80.00B) ⬇️

trio

Name Old New Diff Outcome
parsed_module 27.08MB 27.07MB -0.02% (6.70kB) ⬇️
all_narrowing_constraints_for_expression 601.43kB 597.34kB -0.68% (4.09kB) ⬇️
semantic_index 30.33MB 30.33MB -0.01% (3.11kB) ⬇️
infer_expression_type_impl 1.43MB 1.43MB -0.17% (2.53kB) ⬇️
infer_expression_types_impl 7.08MB 7.07MB -0.03% (2.51kB) ⬇️
Type<'db>::member_lookup_with_policy_ 1.82MB 1.82MB -0.05% (1.00kB) ⬇️
Definition 4.35MB 4.35MB -0.02% (768.00B) ⬇️
FunctionType 1.50MB 1.50MB -0.03% (512.00B) ⬇️
Type<'db>::class_member_with_policy_::interned_arguments 1.11MB 1.11MB -0.03% (312.00B) ⬇️
Type<'db>::class_member_with_policy_ 2.00MB 2.00MB -0.01% (300.00B) ⬇️
FunctionType<'db>::signature_ 1.07MB 1.07MB -0.02% (272.00B) ⬇️
source_text 3.75MB 3.75MB -0.01% (218.00B) ⬇️
CallableType 572.29kB 572.08kB -0.04% (216.00B) ⬇️
ScopeId 424.18kB 424.10kB -0.02% (80.00B) ⬇️
Type<'db>::apply_specialization_::interned_arguments 645.47kB 645.39kB -0.01% (80.00B) ⬇️
... 3 more

@astral-sh-bot
Copy link

astral-sh-bot bot commented Mar 15, 2026

mypy_primer results

Changes were detected when running on open source projects 
pydantic (https://github.com/pydantic/pydantic)
- pydantic/_internal/_core_metadata.py:87:54: error[invalid-assignment] Invalid assignment to key "pydantic_js_extra" with declared type `dict[str, int | float | str | ... omitted 3 union elements] | ((dict[str, int | float | str | ... omitted 3 union elements], /) -> None) | ((dict[str, int | float | str | ... omitted 3 union elements], type[Any], /) -> None)` on TypedDict `CoreMetadata`: value of type `dict[object, object]`
+ pydantic/_internal/_core_metadata.py:87:54: error[invalid-assignment] Invalid assignment to key "pydantic_js_extra" with declared type `dict[str, Divergent] | ((dict[str, Divergent], /) -> None) | ((dict[str, Divergent], type[Any], /) -> None)` on TypedDict `CoreMetadata`: value of type `dict[object, object]`
- pydantic/fields.py:949:5: error[invalid-parameter-default] Default value of type `PydanticUndefinedType` is not assignable to annotated parameter type `dict[str, int | float | str | ... omitted 3 union elements] | ((dict[str, int | float | str | ... omitted 3 union elements], /) -> None) | None`
+ pydantic/fields.py:949:5: error[invalid-parameter-default] Default value of type `PydanticUndefinedType` is not assignable to annotated parameter type `dict[str, Divergent] | ((dict[str, Divergent], /) -> None) | None`
- pydantic/fields.py:989:5: error[invalid-parameter-default] Default value of type `PydanticUndefinedType` is not assignable to annotated parameter type `dict[str, int | float | str | ... omitted 3 union elements] | ((dict[str, int | float | str | ... omitted 3 union elements], /) -> None) | None`
+ pydantic/fields.py:989:5: error[invalid-parameter-default] Default value of type `PydanticUndefinedType` is not assignable to annotated parameter type `dict[str, Divergent] | ((dict[str, Divergent], /) -> None) | None`
- pydantic/fields.py:1032:5: error[invalid-parameter-default] Default value of type `PydanticUndefinedType` is not assignable to annotated parameter type `dict[str, int | float | str | ... omitted 3 union elements] | ((dict[str, int | float | str | ... omitted 3 union elements], /) -> None) | None`
+ pydantic/fields.py:1032:5: error[invalid-parameter-default] Default value of type `PydanticUndefinedType` is not assignable to annotated parameter type `dict[str, Divergent] | ((dict[str, Divergent], /) -> None) | None`
- pydantic/fields.py:1072:5: error[invalid-parameter-default] Default value of type `PydanticUndefinedType` is not assignable to annotated parameter type `dict[str, int | float | str | ... omitted 3 union elements] | ((dict[str, int | float | str | ... omitted 3 union elements], /) -> None) | None`
+ pydantic/fields.py:1072:5: error[invalid-parameter-default] Default value of type `PydanticUndefinedType` is not assignable to annotated parameter type `dict[str, Divergent] | ((dict[str, Divergent], /) -> None) | None`
- pydantic/fields.py:1115:5: error[invalid-parameter-default] Default value of type `PydanticUndefinedType` is not assignable to annotated parameter type `dict[str, int | float | str | ... omitted 3 union elements] | ((dict[str, int | float | str | ... omitted 3 union elements], /) -> None) | None`
+ pydantic/fields.py:1115:5: error[invalid-parameter-default] Default value of type `PydanticUndefinedType` is not assignable to annotated parameter type `dict[str, Divergent] | ((dict[str, Divergent], /) -> None) | None`
- pydantic/fields.py:1154:5: error[invalid-parameter-default] Default value of type `PydanticUndefinedType` is not assignable to annotated parameter type `dict[str, int | float | str | ... omitted 3 union elements] | ((dict[str, int | float | str | ... omitted 3 union elements], /) -> None) | None`
+ pydantic/fields.py:1154:5: error[invalid-parameter-default] Default value of type `PydanticUndefinedType` is not assignable to annotated parameter type `dict[str, Divergent] | ((dict[str, Divergent], /) -> None) | None`
- pydantic/fields.py:1194:5: error[invalid-parameter-default] Default value of type `PydanticUndefinedType` is not assignable to annotated parameter type `dict[str, int | float | str | ... omitted 3 union elements] | ((dict[str, int | float | str | ... omitted 3 union elements], /) -> None) | None`
+ pydantic/fields.py:1194:5: error[invalid-parameter-default] Default value of type `PydanticUndefinedType` is not assignable to annotated parameter type `dict[str, Divergent] | ((dict[str, Divergent], /) -> None) | None`
- pydantic/fields.py:1573:13: error[invalid-argument-type] Argument is incorrect: Expected `dict[str, int | float | str | ... omitted 3 union elements] | ((dict[str, int | float | str | ... omitted 3 union elements], /) -> None) | None`, found `dict[str, int | float | str | ... omitted 3 union elements] | dict[Never, Never] | (((dict[str, int | float | str | ... omitted 3 union elements], /) -> None) & ~Top[dict[Unknown, Unknown]]) | None`
+ pydantic/fields.py:1573:13: error[invalid-argument-type] Argument is incorrect: Expected `dict[str, Divergent] | ((dict[str, Divergent], /) -> None) | None`, found `dict[str, Divergent] | dict[Never, Never] | (((dict[str, Divergent], /) -> None) & ~Top[dict[Unknown, Unknown]]) | None`

openlibrary (https://github.com/internetarchive/openlibrary)
+ openlibrary/plugins/openlibrary/lists.py:151:45: error[invalid-argument-type] Argument to function `normalize_input_seed` is incorrect: Expected `ThingReferenceDict | AnnotatedSeedDict | str`, found `str | Any | None`
+ openlibrary/plugins/openlibrary/lists.py:159:13: error[invalid-argument-type] Argument is incorrect: Expected `str | None`, found `Any | None | str | list[Unknown]`
+ openlibrary/plugins/openlibrary/lists.py:160:13: error[invalid-argument-type] Argument is incorrect: Expected `str`, found `Any | None | str | list[Unknown]`
+ openlibrary/plugins/openlibrary/lists.py:161:13: error[invalid-argument-type] Argument is incorrect: Expected `str`, found `Any | None | str | list[Unknown]`
- Found 1129 diagnostics
+ Found 1133 diagnostics

sympy (https://github.com/sympy/sympy)
- sympy/physics/mechanics/linearize.py:109:47: error[invalid-argument-type] Argument to bound method `intersection` is incorrect: Expected `Iterable[Any]`, found `MutableDenseMatrix`
+ sympy/physics/mechanics/linearize.py:109:47: error[invalid-argument-type] Argument to bound method `intersection` is incorrect: Expected `Iterable[object]`, found `MutableDenseMatrix`

rotki (https://github.com/rotki/rotki)
+ rotkehlchen/api/v1/schemas.py:762:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `bool`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:762:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[tuple[str, bool]] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:762:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `int | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:762:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `int | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:762:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Timestamp | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:762:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Timestamp | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:762:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `tuple[Asset, ...] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:762:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryEventType] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:762:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryEventSubType] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:762:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Iterable[tuple[HistoryEventType, HistoryEventSubType]] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:762:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryEventSubType] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:762:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Location | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:762:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[str] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:762:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[Location] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:762:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[int] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:762:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[str] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:762:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[int] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:762:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[str] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:762:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `IncludeExcludeFilterData | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:762:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `bool`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:762:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryMappingState] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:762:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `str | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:762:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[ChecksumAddress] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:773:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Iterable[tuple[HistoryEventType, HistoryEventSubType]] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:773:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `int | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:773:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Timestamp | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:773:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Timestamp | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:773:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `tuple[Asset, ...] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:773:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryEventType] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:773:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryEventSubType] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:773:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `bool`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:773:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryEventSubType] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:773:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Location | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:773:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[str] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:773:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[Location] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:773:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[int] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:773:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[str] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:773:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[int] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:773:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[str] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:773:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `IncludeExcludeFilterData | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:773:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `bool`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:773:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryMappingState] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:773:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `str | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:773:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `int | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:773:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[tuple[str, bool]] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:786:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[str] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:786:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `int | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:786:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `int | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:786:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Timestamp | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:786:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Timestamp | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:786:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `tuple[Asset, ...] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:786:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryEventType] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:786:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryEventSubType] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:786:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Iterable[tuple[HistoryEventType, HistoryEventSubType]] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:786:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryEventSubType] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:786:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Location | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:786:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[str] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:786:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[Location] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:786:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[int] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:786:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `bool`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:786:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[int] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:786:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[str] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:786:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `IncludeExcludeFilterData | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:786:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `bool`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:786:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryMappingState] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:786:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `str | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:786:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[tuple[str, bool]] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:791:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[Location] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:791:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[tuple[str, bool]] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:791:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `int | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:791:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `int | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:791:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Timestamp | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:791:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Timestamp | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:791:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `tuple[Asset, ...] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:791:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryEventType] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:791:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryEventSubType] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:791:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Iterable[tuple[HistoryEventType, HistoryEventSubType]] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:791:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryEventSubType] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:791:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Location | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:791:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[str] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:791:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[int] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:791:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[str] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:791:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[int] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:791:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[str] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:791:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `IncludeExcludeFilterData | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:791:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `bool`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:791:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryMappingState] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:791:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `str | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:791:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `bool`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:795:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `IncludeExcludeFilterData | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:795:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[tuple[str, bool]] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:795:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `int | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:795:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `int | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:795:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Timestamp | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:795:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Timestamp | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:795:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `tuple[Asset, ...] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:795:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryEventType] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:795:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryEventSubType] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:795:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Iterable[tuple[HistoryEventType, HistoryEventSubType]] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:795:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryEventSubType] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:795:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Location | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:795:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[str] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:795:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[Location] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:795:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[int] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:795:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[str] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:795:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[int] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:795:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[str] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:795:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `bool`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:795:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryMappingState] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:795:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `str | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:795:17: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `bool`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:799:57: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryMappingState] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:799:57: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `bool`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:799:57: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[tuple[str, bool]] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:799:57: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `int | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:799:57: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `int | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:799:57: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Timestamp | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:799:57: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Timestamp | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:799:57: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `tuple[Asset, ...] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:799:57: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryEventType] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:799:57: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryEventSubType] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:799:57: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Iterable[tuple[HistoryEventType, HistoryEventSubType]] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:799:57: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[HistoryEventSubType] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:799:57: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `Location | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:799:57: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[str] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:799:57: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[Location] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:799:57: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[int] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:799:57: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[str] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:799:57: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[int] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:799:57: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `list[str] | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:799:57: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `IncludeExcludeFilterData | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:799:57: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `bool`, found `Any | IncludeExcludeFilterData | list[Any] | None`
+ rotkehlchen/api/v1/schemas.py:799:57: error[invalid-argument-type] Argument to bound method `make` is incorrect: Expected `str | None`, found `Any | IncludeExcludeFilterData | list[Any] | None`
- Found 2150 diagnostics
+ Found 2283 diagnostics

core (https://github.com/home-assistant/core)
+ homeassistant/components/eafm/__init__.py:28:50: warning[unused-type-ignore-comment] Unused blanket `type: ignore` directive
+ homeassistant/core_config.py:529:9: error[invalid-method-override] Invalid override of method `discard`: Definition is incompatible with `set.discard`
- Found 12130 diagnostics
+ Found 12132 diagnostics

@astral-sh-bot
Copy link

astral-sh-bot bot commented Mar 15, 2026

ecosystem-analyzer results

Lint rule Added Removed Changed
invalid-argument-type 137 0 1
invalid-method-override 1 0 0
unused-type-ignore-comment 1 0 0
Total 139 0 1

Full report with detailed diff (timing results)

@AlexWaygood
Copy link
Member

AlexWaygood commented Mar 15, 2026

Claude's analysis of the ecosystem results

Details

Summary

I identified two typeshed PRs responsible for the new ecosystem hits in #23963:

1. python/typeshed#14284 — Remove dict.__or__ overloads (~150 diagnostics)

This removed the identity overloads for dict.__or__ and dict.__ror__ that preserved the exact type when merging dicts of the same key/value types. Now dict[str, Any] | dict[str, int] infers as dict[str, Any | int] instead of dict[str, Any]. This affects:

  • Rotki (~137 invalid-argument-type)
  • Pydantic (~9 errors involving Divergent type)
  • OpenLibrary (4 invalid-argument-type)

2. python/typeshed#15470 — Canonicalized set/frozenset signatures (~3 diagnostics)

This changed set.discard(element: _T) to set.discard(element: object) and set.intersection(*s: Iterable[Any]) to Iterable[object]. This affects:

  • Home Assistant (1 invalid-method-override on _ComponentSet.discard, 1 unused-type-ignore-comment)
  • SymPy (1 error message text change)

I verified both changes with concrete test cases using --typeshed pointed at different typeshed commits.

I haven't checked this analysis, but it makes sense to me that python/typeshed#14284 would be much more disruptive for us than it would be for mypy (the mypy_primer report on that typeshed PR was quite minimal). As discussed in astral-sh/ty#2979, the previous overloads caused ambiguity, and mypy/zuban resolve that ambiguity quite differently to us.

@AlexWaygood AlexWaygood merged commit cdb5929 into main Mar 15, 2026
52 checks passed
@AlexWaygood AlexWaygood deleted the typeshedbot/sync-typeshed branch March 15, 2026 17:07
carljm added a commit that referenced this pull request Mar 16, 2026
@carljm
Merge branch 'main' into charlie/metaclass
f02f39b 
* main: (131 commits)
  [ty] Fixup examples in `invalid-key` docs (#23968)
  [ty] Fix compiler warning about unused variable (#23967)
  [ty] Sync vendored typeshed stubs (#23963)
  Add a `.git-blame-ignore-revs` file (#23959)
  Revert "[ty] Completely remove the `NoReturn` shortcut optimization" (#23955)
  [ty] Completely remove the `NoReturn` shortcut optimization (#23378)
  [ty] Introduce fast path for protocol non-assignability (#23952)
  Bump typing conformance suite SHA (#23951)
  Minor followup to severity display - use preview function in server instead of checking preview disabled directly (#23950)
  Document editor features for markdown code formatting (#23924)
  [ty] Add `with_recursion_guard()` helpers to `relation.rs` (#23945)
  [ty] Remove `check_optional_method_pair` methods (#23947)
  [ty] Remove unused `CycleDetector::try_visit` method (#23944)
  [ty] Ensure TypedDict subscripts for unknown keys return Unknown (#23926)
  [ty] Fix variance of frozen dataclass-transform models (#23931)
  Display output severity in preview (#23845)
  Revert "[`ruff`] use `bitcode` instead of `bincode`" (#23935)
  Fix shell injection via `shell=True` in subprocess calls (#23894)
  [ty] Refactor `relation.rs` to store state on a struct rather than passing around 7 arguments every time we recurse (#23837)
  Don't return code actions for non-Python documents (#23905)
  ...
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@carljm carljm Awaiting requested review from carljm carljm is a code owner

@MichaReiser MichaReiser Awaiting requested review from MichaReiser MichaReiser is a code owner

@AlexWaygood AlexWaygood Awaiting requested review from AlexWaygood AlexWaygood is a code owner

@sharkdp sharkdp Awaiting requested review from sharkdp sharkdp is a code owner

@dcreager dcreager Awaiting requested review from dcreager dcreager is a code owner

@ibraheemdev ibraheemdev Awaiting requested review from ibraheemdev ibraheemdev is a code owner

Assignees

No one assigned

Labels

ecosystem-analyzer ty Multi-file analysis & type inference

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@AlexWaygood