[ty] Type inference for comprehensions #20962

sharkdp · 2025-10-18T18:31:32Z

Summary

Naive first implementation, not ready for review. Not even for you, Alex.

Test Plan

github-actions · 2025-10-18T18:33:35Z

Diagnostic diff on typing conformance tests

Changes were detected when running ty on typing conformance tests

--- old-output.txt	2025-10-18 18:33:16.963638019 +0000
+++ new-output.txt	2025-10-18 18:33:20.334660680 +0000
@@ -37,7 +37,7 @@
 aliases_implicit.py:72:5: error[type-assertion-failure] Argument does not have asserted type `(...) -> None`
 aliases_implicit.py:107:9: error[invalid-type-form] Variable of type `list[Unknown | <class 'int'> | <class 'str'>]` is not allowed in a type expression
 aliases_implicit.py:108:9: error[invalid-type-form] Variable of type `tuple[tuple[<class 'int'>, <class 'str'>]]` is not allowed in a type expression
-aliases_implicit.py:109:9: error[invalid-type-form] Variable of type `list[@Todo(list comprehension element type)]` is not allowed in a type expression
+aliases_implicit.py:109:9: error[invalid-type-form] Variable of type `list[<class 'int'>]` is not allowed in a type expression
 aliases_implicit.py:110:9: error[invalid-type-form] Variable of type `dict[Unknown | str, Unknown | str]` is not allowed in a type expression
 aliases_implicit.py:114:9: error[invalid-type-form] Variable of type `Literal[3]` is not allowed in a type expression
 aliases_implicit.py:115:10: error[invalid-type-form] Variable of type `Literal[True]` is not allowed in a type expression

github-actions · 2025-10-18T18:37:10Z

`ecosystem-analyzer` results

Lint rule	Added	Removed	Changed
`invalid-argument-type`	262	0	84
`invalid-assignment`	280	0	15
`invalid-return-type`	180	0	10
`possibly-missing-attribute`	29	2	38
`unresolved-attribute`	45	0	1
`unsupported-operator`	30	0	12
`unused-ignore-comment`	0	21	0
`no-matching-overload`	17	0	0
`not-iterable`	5	0	9
`index-out-of-bounds`	13	0	0
`non-subscriptable`	2	0	6
`possibly-missing-implicit-call`	2	0	2
`call-non-callable`	1	0	0
`missing-argument`	1	0	0
`possibly-unresolved-reference`	0	1	0
`type-assertion-failure`	0	1	0
Total	867	25	177

Full report with detailed diff (timing results)

github-actions · 2025-10-21T07:55:08Z

`mypy_primer` results

Changes were detected when running on open source projects

attrs (https://github.com/python-attrs/attrs)
+ src/attr/_make.py:2644:33: error[unresolved-attribute] Type `Attribute` has no attribute `name`
+ src/attr/_make.py:2646:29: error[unresolved-attribute] Type `Attribute` has no attribute `hash`
+ src/attr/_make.py:2646:40: error[unresolved-attribute] Type `Attribute` has no attribute `name`
- Found 561 diagnostics
+ Found 564 diagnostics

pegen (https://github.com/we-like-parsers/pegen)
+ src/pegen/sccutils.py:116:5: error[invalid-assignment] Object of type `dict[str, set[str]]` is not assignable to `dict[str, AbstractSet[str]]`
- Found 47 diagnostics
+ Found 48 diagnostics

anyio (https://github.com/agronholm/anyio)
- src/anyio/_core/_sockets.py:385:56: error[invalid-argument-type] Argument to function `setup_raw_socket` is incorrect: Expected `tuple[str, int] | tuple[str, int, int, int]`, found `tuple[@Todo, int, @Todo]`
+ src/anyio/_core/_sockets.py:385:56: error[invalid-argument-type] Argument to function `setup_raw_socket` is incorrect: Expected `tuple[str, int] | tuple[str, int, int, int]`, found `tuple[str, int, @Todo]`

python-chess (https://github.com/niklasf/python-chess)
+ chess/engine.py:1327:17: error[invalid-assignment] Object of type `dict[Unknown | str, Literal[""]]` is not assignable to `dict[str, str]`
+ chess/syzygy.py:350:5: error[invalid-assignment] Method `__setitem__` of type `Overload[(key: SupportsIndex, value: Literal[0], /) -> None, (key: slice[Any, Any, Any], value: Iterable[Literal[0]], /) -> None]` cannot be called with a key of type `int` and a value of type `int` on object of type `list[Literal[0]]`
+ chess/syzygy.py:644:9: error[invalid-assignment] Object of type `list[Literal[0]]` is not assignable to attribute `symlen` of type `list[int]`
+ chess/syzygy.py:660:9: error[invalid-assignment] Object of type `list[Literal[0]]` is not assignable to attribute `base` of type `list[int]`
+ chess/syzygy.py:1209:21: error[invalid-assignment] Method `__setitem__` of type `Overload[(key: SupportsIndex, value: Literal[0], /) -> None, (key: slice[Any, Any, Any], value: Iterable[Literal[0]], /) -> None]` cannot be called with a key of type `Literal[0]` and a value of type `int` on object of type `list[Literal[0]]`
+ chess/syzygy.py:1223:17: error[invalid-assignment] Method `__setitem__` of type `Overload[(key: SupportsIndex, value: Literal[0], /) -> None, (key: slice[Any, Any, Any], value: Iterable[Literal[0]], /) -> None]` cannot be called with a key of type `Literal[0]` and a value of type `int` on object of type `list[Literal[0]]`
+ chess/syzygy.py:1234:21: error[invalid-assignment] Method `__setitem__` of type `Overload[(key: SupportsIndex, value: Literal[0], /) -> None, (key: slice[Any, Any, Any], value: Iterable[Literal[0]], /) -> None]` cannot be called with a key of type `Literal[0, 1]` and a value of type `int` on object of type `list[Literal[0]]`
+ chess/syzygy.py:1387:21: error[invalid-assignment] Method `__setitem__` of type `Overload[(key: SupportsIndex, value: Literal[0], /) -> None, (key: slice[Any, Any, Any], value: Iterable[Literal[0]], /) -> None]` cannot be called with a key of type `Literal[0]` and a value of type `int` on object of type `list[Literal[0]]`
+ chess/syzygy.py:1412:17: error[invalid-assignment] Method `__setitem__` of type `Overload[(key: SupportsIndex, value: Literal[0], /) -> None, (key: slice[Any, Any, Any], value: Iterable[Literal[0]], /) -> None]` cannot be called with a key of type `Literal[0]` and a value of type `int` on object of type `list[Literal[0]]`
+ chess/syzygy.py:1425:21: error[invalid-assignment] Method `__setitem__` of type `Overload[(key: SupportsIndex, value: Literal[0], /) -> None, (key: slice[Any, Any, Any], value: Iterable[Literal[0]], /) -> None]` cannot be called with a key of type `Literal[0, 1]` and a value of type `int` on object of type `list[Literal[0]]`
- Found 12 diagnostics
+ Found 22 diagnostics

kornia (https://github.com/kornia/kornia)
- kornia/contrib/models/efficient_vit/utils/network.py:30:69: warning[unused-ignore-comment] Unused blanket `type: ignore` directive
+ kornia/feature/scale_space_detector.py:364:9: error[invalid-assignment] Object of type `list[int]` is not assignable to `list[int | float]`
+ kornia/metrics/mean_average_precision.py:179:12: error[invalid-return-type] Return type does not match returned value: expected `tuple[Unknown, dict[int, int | float]]`, found `tuple[Unknown, dict[int, float]]`
- Found 793 diagnostics
+ Found 794 diagnostics

pip (https://github.com/pypa/pip)
+ src/pip/_internal/models/link.py:607:9: error[invalid-argument-type] Argument is incorrect: Expected `dict[str, str]`, found `dict[Literal["sha512", "sha384", "sha256", "sha224", "sha1", "md5"], Unknown | str]`
+ src/pip/_internal/operations/prepare.py:552:50: warning[possibly-missing-attribute] Attribute `is_wheel` on type `Unknown | Link | None` may be missing
+ src/pip/_internal/operations/prepare.py:554:49: error[invalid-argument-type] Argument to function `_check_download_dir` is incorrect: Expected `Link`, found `Unknown | Link | None`
+ src/pip/_internal/operations/prepare.py:556:38: warning[possibly-missing-attribute] Attribute `url` on type `Unknown | Link | None` may be missing
+ src/pip/_vendor/resolvelib/resolvers/resolution.py:40:5: error[invalid-assignment] Object of type `dict[int, KT@_build_result]` is not assignable to `dict[int, KT@_build_result | None]`
+ src/pip/_vendor/rich/console.py:1581:13: error[invalid-assignment] Object of type `list[Styled]` is not assignable to `list[ConsoleRenderable]`
+ src/pip/_vendor/rich/console.py:1987:36: error[invalid-argument-type] Argument to bound method `append` is incorrect: Expected `Styled`, found `ConsoleRenderable`
+ src/pip/_vendor/rich/table.py:548:64: error[invalid-argument-type] Argument to function `ratio_distribute` is incorrect: Expected `list[int]`, found `list[(Unknown & ~AlwaysFalsy) | Literal[0]]`
+ src/pip/_vendor/rich/table.py:582:69: error[invalid-argument-type] Argument to function `ratio_distribute` is incorrect: Expected `list[int]`, found `list[(Unknown & ~AlwaysFalsy) | Literal[1]] | list[(Unknown & ~AlwaysFalsy) | Literal[0]]`
+ src/pip/_vendor/rich/table.py:585:16: error[invalid-return-type] Return type does not match returned value: expected `list[int]`, found `list[(Unknown & ~AlwaysFalsy) | Literal[1]] | list[(Unknown & ~AlwaysFalsy) | Literal[0]] | list[Unknown]`
+ src/pip/_vendor/rich/table.py:620:53: error[invalid-argument-type] Argument to function `ratio_reduce` is incorrect: Expected `list[int]`, found `list[Literal[1, 0]]`
+ src/pip/_vendor/urllib3/util/ssl_.py:199:33: error[invalid-argument-type] Argument to bound method `get` is incorrect: Expected `Literal[32, 40, 64]`, found `int`
+ src/pip/_vendor/urllib3/util/url.py:373:26: warning[possibly-missing-attribute] Attribute `groups` on type `Match[str] | None` may be missing
- Found 453 diagnostics
+ Found 466 diagnostics

spack (https://github.com/spack/spack)
+ lib/spack/spack/detection/common.py:428:12: error[invalid-return-type] Return type does not match returned value: expected `list[str]`, found `list[Never]`
+ lib/spack/spack/detection/path.py:399:9: error[invalid-assignment] Object of type `list[Pattern[str]]` is not assignable to `list[str]`
+ lib/spack/spack/detection/path.py:403:20: error[unresolved-attribute] Type `str` has no attribute `search`
+ lib/spack/spack/repo.py:683:13: error[invalid-argument-type] Argument to function `from_descriptors` is incorrect: Expected `dict[str, Any] | None`, found `dict[Unknown & ~Literal["all"], Unknown]`
+ lib/spack/spack/repo.py:878:16: error[invalid-return-type] Return type does not match returned value: expected `list[str]`, found `list[Unknown & ~AlwaysFalsy]`
+ lib/spack/spack/solver/asp.py:3422:12: error[invalid-return-type] Return type does not match returned value: expected `list[str]`, found `list[str & ~AlwaysFalsy]`
+ lib/spack/spack/solver/asp.py:3997:69: error[invalid-assignment] Not enough values to unpack: Expected 3
+ lib/spack/spack/util/path.py:207:22: error[invalid-argument-type] Argument to bound method `append` is incorrect: Expected `Literal["__spack_path_placeholder__"]`, found `LiteralString`
+ lib/spack/spack/vendor/attr/_make.py:2653:33: error[unresolved-attribute] Type `Attribute` has no attribute `name`
+ lib/spack/spack/vendor/attr/_make.py:2655:29: error[unresolved-attribute] Type `Attribute` has no attribute `hash`
+ lib/spack/spack/vendor/attr/_make.py:2655:40: error[unresolved-attribute] Type `Attribute` has no attribute `name`
+ lib/spack/spack/vendor/jinja2/filters.py:1236:12: error[invalid-return-type] Return type does not match returned value: expected `list[tuple[Any, list[V@sync_do_groupby]]]`, found `list[_GroupTuple]`
+ lib/spack/spack/vendor/jinja2/filters.py:1250:12: error[invalid-return-type] Return type does not match returned value: expected `list[tuple[Any, list[V@do_groupby]]]`, found `list[_GroupTuple]`
- Found 7565 diagnostics
+ Found 7578 diagnostics

stone (https://github.com/dropbox/stone)
- test/test_backend.py:373:29: warning[possibly-missing-attribute] Attribute `fields` on type `@Todo | None` may be missing
+ test/test_backend.py:373:29: warning[possibly-missing-attribute] Attribute `fields` on type `Unknown | None` may be missing
- test/test_backend.py:374:29: warning[possibly-missing-attribute] Attribute `fields` on type `@Todo | None` may be missing
+ test/test_backend.py:374:29: warning[possibly-missing-attribute] Attribute `fields` on type `Unknown | None` may be missing
- test/test_backend.py:376:17: warning[possibly-missing-attribute] Attribute `fields` on type `@Todo | None` may be missing
+ test/test_backend.py:376:17: warning[possibly-missing-attribute] Attribute `fields` on type `Unknown | None` may be missing
- test/test_backend.py:380:17: warning[possibly-missing-attribute] Attribute `fields` on type `@Todo | None` may be missing
+ test/test_backend.py:380:17: warning[possibly-missing-attribute] Attribute `fields` on type `Unknown | None` may be missing
- test/test_backend.py:469:30: warning[possibly-missing-attribute] Attribute `fields` on type `@Todo | None` may be missing
+ test/test_backend.py:469:30: warning[possibly-missing-attribute] Attribute `fields` on type `Unknown | None` may be missing
- test/test_backend.py:471:22: warning[possibly-missing-attribute] Attribute `fields` on type `@Todo | None` may be missing
+ test/test_backend.py:471:22: warning[possibly-missing-attribute] Attribute `fields` on type `Unknown | None` may be missing
- test/test_backend.py:495:30: warning[possibly-missing-attribute] Attribute `fields` on type `@Todo | None` may be missing
+ test/test_backend.py:495:30: warning[possibly-missing-attribute] Attribute `fields` on type `Unknown | None` may be missing
- test/test_backend.py:497:17: warning[possibly-missing-attribute] Attribute `fields` on type `@Todo | None` may be missing
+ test/test_backend.py:497:17: warning[possibly-missing-attribute] Attribute `fields` on type `Unknown | None` may be missing

isort (https://github.com/pycqa/isort)
+ isort/main.py:941:9: error[invalid-assignment] Method `__setitem__` of type `bound method dict[str, Any & ~AlwaysFalsy].__setitem__(key: str, value: Any & ~AlwaysFalsy, /) -> None` cannot be called with a key of type `Literal["order_by_type"]` and a value of type `Literal[False]` on object of type `dict[str, Any & ~AlwaysFalsy]`
+ isort/main.py:944:9: error[invalid-assignment] Method `__setitem__` of type `bound method dict[str, Any & ~AlwaysFalsy].__setitem__(key: str, value: Any & ~AlwaysFalsy, /) -> None` cannot be called with a key of type `Literal["follow_links"]` and a value of type `Literal[False]` on object of type `dict[str, Any & ~AlwaysFalsy]`
+ isort/main.py:951:13: error[invalid-assignment] Method `__setitem__` of type `bound method dict[str, Any & ~AlwaysFalsy].__setitem__(key: str, value: Any & ~AlwaysFalsy, /) -> None` cannot be called with a key of type `Literal["float_to_top"]` and a value of type `Literal[False]` on object of type `dict[str, Any & ~AlwaysFalsy]`
- Found 35 diagnostics
+ Found 38 diagnostics

werkzeug (https://github.com/pallets/werkzeug)
+ src/werkzeug/routing/rules.py:770:13: error[invalid-assignment] Object of type `list[Call | Constant]` is not assignable to `list[expr]`
- tests/test_routing.py:601:5: warning[possibly-missing-attribute] Attribute `add` on type `Unknown | None | set[@Todo]` may be missing
+ tests/test_routing.py:601:5: warning[possibly-missing-attribute] Attribute `add` on type `Unknown | None | set[str]` may be missing
- tests/test_routing.py:603:5: warning[possibly-missing-attribute] Attribute `discard` on type `Unknown | None | set[@Todo]` may be missing
+ tests/test_routing.py:603:5: warning[possibly-missing-attribute] Attribute `discard` on type `Unknown | None | set[str]` may be missing
- Found 382 diagnostics
+ Found 383 diagnostics

aiortc (https://github.com/aiortc/aiortc)
- src/aiortc/sdp.py:446:52: error[invalid-argument-type] Argument is incorrect: Expected `str`, found `None | Unknown`
+ src/aiortc/sdp.py:446:52: error[invalid-argument-type] Argument is incorrect: Expected `str`, found `None | Unknown | str`

black (https://github.com/psf/black)
+ src/black/cache.py:144:17: error[invalid-assignment] Object of type `dict[Unknown, tuple[@Todo]]` is not assignable to `dict[str, tuple[int | float, int, str]]`
+ src/blib2to3/pgen2/parse.py:46:12: error[invalid-return-type] Return type does not match returned value: expected `list[tuple[tuple[list[list[tuple[int, int]]], dict[int, int]], int, tuple[int, str | None, tuple[str, tuple[int, int]] | None, list[@Todo] | None]]]`, found `list[tuple[tuple[list[list[tuple[int, int]]], dict[int, int]], int, tuple[Literal[-1], None, None, None]]]`
- Found 66 diagnostics
+ Found 68 diagnostics

paasta (https://github.com/yelp/paasta)
- paasta_tools/instance/kubernetes.py:1146:12: error[invalid-return-type] Return type does not match returned value: expected `KubernetesVersionDict`, found `dict[Unknown | str, Unknown | str | int | list[@Todo] | None]`
+ paasta_tools/instance/kubernetes.py:1146:12: error[invalid-return-type] Return type does not match returned value: expected `KubernetesVersionDict`, found `dict[Unknown | str, Unknown | str | int | list[Mapping[str, Any]] | None]`
+ paasta_tools/kubernetes_tools.py:3765:12: error[invalid-return-type] Return type does not match returned value: expected `Mapping[str, Sequence[Unknown]]`, found `dict[Unknown & ~AlwaysFalsy, list[Unknown]]`
+ paasta_tools/mesos_tools.py:893:16: error[non-subscriptable] Cannot subscript object of type `int` with no `__getitem__` method
+ paasta_tools/setup_kubernetes_job.py:440:24: warning[possibly-missing-attribute] Attribute `get_bounce_method` on type `Unknown | None | KubernetesDeploymentConfig` may be missing
+ paasta_tools/smartstack_tools.py:372:17: error[invalid-assignment] Method `__setitem__` of type `bound method dict[str, Literal[False]].__setitem__(key: str, value: Literal[False], /) -> None` cannot be called with a key of type `str` and a value of type `Literal[True]` on object of type `dict[str, Literal[False]]`
- Found 913 diagnostics
+ Found 917 diagnostics

scrapy (https://github.com/scrapy/scrapy)
+ scrapy/http/request/form.py:181:5: error[invalid-assignment] Object of type `list[tuple[@Todo & ~AlwaysFalsy, Literal[""] | (@Todo & ~None)]]` is not assignable to `list[tuple[str, @Todo]]`
+ scrapy/spidermiddlewares/referer.py:290:1: error[invalid-assignment] Object of type `dict[str, <class 'NoReferrerPolicy'> | <class 'NoReferrerWhenDowngradePolicy'> | <class 'SameOriginPolicy'> | ... omitted 6 union elements]` is not assignable to `dict[str, type[ReferrerPolicy]]`
+ scrapy/utils/python.py:247:9: error[invalid-assignment] Object of type `dict[(Unknown & ~Literal["self"]) | (str & ~Literal["self"]), Unknown | Parameter]` is not assignable to `Mapping[str, Parameter]`
+ scrapy/utils/python.py:335:16: error[invalid-return-type] Return type does not match returned value: expected `Iterable[_KT@without_none_values]`, found `dict[object, ~None]`
- Found 1065 diagnostics
+ Found 1069 diagnostics

alerta (https://github.com/alerta/alerta)
+ alerta/commands.py:73:13: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[str]`, found `(list[Scope] & ~AlwaysFalsy) | list[Unknown | str]`
+ alerta/models/key.py:52:13: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[str]`, found `list[Scope]`
+ alerta/models/key.py:90:13: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[str]`, found `(list[Scope] & ~AlwaysFalsy) | (list[str] & ~AlwaysFalsy) | list[Unknown]`
+ alerta/models/key.py:105:13: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[str]`, found `list[Scope]`
- Found 513 diagnostics
+ Found 517 diagnostics

pytest (https://github.com/pytest-dev/pytest)
+ src/_pytest/assertion/rewrite.py:839:9: error[invalid-assignment] Object of type `list[Constant]` is not assignable to `list[expr | None]`
+ src/_pytest/assertion/rewrite.py:936:17: error[invalid-assignment] Object of type `list[Name]` is not assignable to `list[expr]`
+ src/_pytest/assertion/rewrite.py:963:13: error[invalid-assignment] Object of type `list[Name]` is not assignable to `list[expr]`
+ src/_pytest/assertion/rewrite.py:1124:9: error[invalid-assignment] Object of type `list[Name]` is not assignable to `list[expr]`
+ src/_pytest/pathlib.py:457:12: error[invalid-return-type] Return type does not match returned value: expected `set[str]`, found `set[(str & ~AlwaysFalsy) | LiteralString]`
+ src/_pytest/python.py:1564:16: error[invalid-return-type] Return type does not match returned value: expected `Scope`, found `Scope | Unknown | (((str, Config, /) -> @Todo) & ~(() -> object) & ~str)`
+ testing/test_assertion.py:1365:49: error[invalid-argument-type] Argument to function `_truncate_explanation` is incorrect: Expected `list[str]`, found `list[Literal["aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"]]`
+ testing/test_assertion.py:1370:49: error[invalid-argument-type] Argument to function `_truncate_explanation` is incorrect: Expected `list[str]`, found `list[Literal[""]]`
+ testing/test_assertion.py:1382:49: error[invalid-argument-type] Argument to function `_truncate_explanation` is incorrect: Expected `list[str]`, found `list[Literal["a"]]`
+ testing/test_assertion.py:1393:49: error[invalid-argument-type] Argument to function `_truncate_explanation` is incorrect: Expected `list[str]`, found `list[Literal["a"]]`
+ testing/test_assertion.py:1425:49: error[invalid-argument-type] Argument to function `_truncate_explanation` is incorrect: Expected `list[str]`, found `list[Literal["aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"]]`
+ testing/test_assertion.py:1435:49: error[invalid-argument-type] Argument to function `_truncate_explanation` is incorrect: Expected `list[str]`, found `list[Literal["aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa"]]`
- Found 483 diagnostics
+ Found 495 diagnostics

pylint (https://github.com/pycqa/pylint)
+ pylint/checkers/classes/class_checker.py:120:32: error[invalid-argument-type] Argument is incorrect: Expected `list[str]`, found `list[Unknown & ~Literal["self"]]`
- Found 193 diagnostics
+ Found 194 diagnostics

rich (https://github.com/Textualize/rich)
+ rich/console.py:1581:13: error[invalid-assignment] Object of type `list[Styled]` is not assignable to `list[ConsoleRenderable]`
+ rich/console.py:1987:36: error[invalid-argument-type] Argument to bound method `append` is incorrect: Expected `Styled`, found `ConsoleRenderable`
+ rich/table.py:548:64: error[invalid-argument-type] Argument to function `ratio_distribute` is incorrect: Expected `list[int]`, found `list[(Unknown & ~AlwaysFalsy) | Literal[0]]`
+ rich/table.py:582:69: error[invalid-argument-type] Argument to function `ratio_distribute` is incorrect: Expected `list[int]`, found `list[(Unknown & ~AlwaysFalsy) | Literal[1]] | list[(Unknown & ~AlwaysFalsy) | Literal[0]]`
+ rich/table.py:585:16: error[invalid-return-type] Return type does not match returned value: expected `list[int]`, found `list[(Unknown & ~AlwaysFalsy) | Literal[1]] | list[(Unknown & ~AlwaysFalsy) | Literal[0]] | list[Unknown]`
+ rich/table.py:620:53: error[invalid-argument-type] Argument to function `ratio_reduce` is incorrect: Expected `list[int]`, found `list[Literal[1, 0]]`
- Found 311 diagnostics
+ Found 317 diagnostics

PyGithub (https://github.com/PyGithub/PyGithub)
+ github/Requester.py:1264:21: error[invalid-assignment] Object of type `dict[str & ~Literal["Authorization"], str]` is not assignable to `dict[str, str]`
- Found 347 diagnostics
+ Found 348 diagnostics

dulwich (https://github.com/dulwich/dulwich)
+ dulwich/client.py:224:12: error[invalid-return-type] Return type does not match returned value: expected `dict[bytes, bytes | None]`, found `dict[bytes, bytes]`
- dulwich/diff_tree.py:403:26: error[invalid-argument-type] Argument to function `_all_eq` is incorrect: Expected `(@Todo, /) -> Literal["delete"]`, found `def change_type(c: TreeChange) -> str`
+ dulwich/diff_tree.py:403:26: error[invalid-argument-type] Argument to function `_all_eq` is incorrect: Expected `(Unknown & ~None, /) -> Literal["delete"]`, found `def change_type(c: TreeChange) -> str`
+ dulwich/ignore.py:638:35: error[invalid-argument-type] Argument to bound method `insert` is incorrect: Expected `tuple[Literal[0], Unknown]`, found `tuple[int, Unknown & ~None]`
+ dulwich/porcelain.py:4030:5: error[invalid-assignment] Object of type `list[tuple[bytes, bytes, bytes & ~Literal[b"HEAD"]]]` is not assignable to `list[tuple[bytes, bytes, bytes]]`
+ dulwich/refs.py:1588:12: error[invalid-return-type] Return type does not match returned value: expected `T@strip_peeled_refs`, found `dict[bytes, bytes | None]`
+ dulwich/refs.py:1604:12: error[invalid-return-type] Return type does not match returned value: expected `tuple[T@split_peeled_refs, dict[bytes, bytes]]`, found `tuple[dict[bytes, bytes | None], dict[bytes, bytes]]`
+ dulwich/refs.py:1883:12: error[invalid-return-type] Return type does not match returned value: expected `T@filter_ref_prefix`, found `dict[bytes, bytes | None]`
- Found 186 diagnostics
+ Found 192 diagnostics

sockeye (https://github.com/awslabs/sockeye)
- sockeye/data_io.py:506:28: error[invalid-argument-type] Method `__getitem__` of type `Overload[(i: SupportsIndex, /) -> @Todo, (s: slice[Any, Any, Any], /) -> list[@Todo]]` cannot be called with key of type `int | None` on object of type `list[@Todo]`
+ sockeye/data_io.py:506:28: error[invalid-argument-type] Method `__getitem__` of type `Overload[(i: SupportsIndex, /) -> Literal[0], (s: slice[Any, Any, Any], /) -> list[Literal[0]]]` cannot be called with key of type `int | None` on object of type `list[Literal[0]]`
- sockeye/data_io.py:508:17: error[invalid-argument-type] Method `__getitem__` of type `Overload[(i: SupportsIndex, /) -> @Todo, (s: slice[Any, Any, Any], /) -> list[@Todo]]` cannot be called with key of type `int | None` on object of type `list[@Todo]`
+ sockeye/data_io.py:508:17: error[invalid-argument-type] Method `__getitem__` of type `Overload[(i: SupportsIndex, /) -> Unknown, (s: slice[Any, Any, Any], /) -> list[Unknown]]` cannot be called with key of type `int | None` on object of type `list[Unknown]`
- sockeye/data_io.py:513:21: error[invalid-argument-type] Method `__getitem__` of type `Overload[(i: SupportsIndex, /) -> @Todo, (s: slice[Any, Any, Any], /) -> list[@Todo]]` cannot be called with key of type `int | None` on object of type `list[@Todo]`
+ sockeye/data_io.py:513:21: error[invalid-argument-type] Method `__getitem__` of type `Overload[(i: SupportsIndex, /) -> Unknown, (s: slice[Any, Any, Any], /) -> list[Unknown]]` cannot be called with key of type `int | None` on object of type `list[Unknown]`
- sockeye/data_io.py:517:21: error[invalid-argument-type] Method `__getitem__` of type `Overload[(i: SupportsIndex, /) -> @Todo, (s: slice[Any, Any, Any], /) -> list[@Todo]]` cannot be called with key of type `int | None` on object of type `list[@Todo]`
+ sockeye/data_io.py:517:21: error[invalid-argument-type] Method `__getitem__` of type `Overload[(i: SupportsIndex, /) -> Unknown, (s: slice[Any, Any, Any], /) -> list[Unknown]]` cannot be called with key of type `int | None` on object of type `list[Unknown]`
- sockeye/data_io.py:519:17: error[invalid-argument-type] Method `__getitem__` of type `Overload[(i: SupportsIndex, /) -> @Todo, (s: slice[Any, Any, Any], /) -> list[@Todo]]` cannot be called with key of type `int | None` on object of type `list[@Todo]`
+ sockeye/data_io.py:519:17: error[invalid-argument-type] Method `__getitem__` of type `Overload[(i: SupportsIndex, /) -> Unknown, (s: slice[Any, Any, Any], /) -> list[Unknown]]` cannot be called with key of type `int | None` on object of type `list[Unknown]`
- sockeye/data_io.py:522:13: error[invalid-argument-type] Method `__getitem__` of type `Overload[(i: SupportsIndex, /) -> @Todo, (s: slice[Any, Any, Any], /) -> list[@Todo]]` cannot be called with key of type `int | None` on object of type `list[@Todo]`
+ sockeye/data_io.py:522:13: error[invalid-argument-type] Method `__getitem__` of type `Overload[(i: SupportsIndex, /) -> Literal[0], (s: slice[Any, Any, Any], /) -> list[Literal[0]]]` cannot be called with key of type `int | None` on object of type `list[Literal[0]]`
- sockeye/inference.py:350:50: error[invalid-argument-type] Argument to function `len` is incorrect: Expected `Sized`, found `(Unknown & ~Top[list[Unknown]]) | None | list[@Todo]`
+ sockeye/inference.py:350:50: error[invalid-argument-type] Argument to function `len` is incorrect: Expected `Sized`, found `(Unknown & ~Top[list[Unknown]]) | None | list[list[Unknown]]`
- sockeye/inference.py:352:34: error[invalid-argument-type] Argument to function `len` is incorrect: Expected `Sized`, found `(Unknown & ~Top[list[Unknown]]) | None | list[@Todo]`
+ sockeye/inference.py:352:34: error[invalid-argument-type] Argument to function `len` is incorrect: Expected `Sized`, found `(Unknown & ~Top[list[Unknown]]) | None | list[list[Unknown]]`
+ sockeye/inference.py:1137:16: error[invalid-return-type] Return type does not match returned value: expected `tuple[list[str], str, list[list[str]], list[str]]`, found `tuple[Unknown | list[Unknown], Unknown | Literal[""], list[Unknown] | list[list[Unknown]], list[Unknown] | list[Literal[""]]]`
+ sockeye/lr_scheduler.py:64:16: error[invalid-return-type] Return type does not match returned value: expected `dict[str, Any]`, found `dict[Unknown & ~Literal["optimizer"], Unknown]`
- sockeye/test_utils.py:105:101: error[not-iterable] Object of type `None | list[@Todo]` may not be iterable
+ sockeye/test_utils.py:105:101: error[not-iterable] Object of type `None | list[list[str]]` may not be iterable
+ test/unit/test_data_io.py:304:9: error[invalid-assignment] Object of type `list[None]` is not assignable to `list[int | None] | None`
+ test/unit/test_data_io.py:305:5: error[invalid-assignment] Object of type `list[int]` is not assignable to `list[int | None] | None`
+ test/unit/test_data_io.py:306:41: error[not-iterable] Object of type `list[int | None] | None` may not be iterable
+ test/unit/test_data_io.py:308:40: error[invalid-argument-type] Argument to function `__new__` is incorrect: Expected `Iterable[int | None]`, found `list[int | None] | None`
+ test/unit/test_data_io.py:310:40: error[invalid-argument-type] Argument to function `__new__` is incorrect: Expected `Iterable[int | None]`, found `list[int | None] | None`
+ test/unit/test_data_io.py:311:78: error[not-iterable] Object of type `list[int | None] | None` may not be iterable
- test/unit/test_data_io.py:313:12: error[invalid-return-type] Return type does not match returned value: expected `tuple[list[Unknown], list[Unknown], list[Unknown]]`, found `tuple[list[@Todo], list[@Todo], list[@Todo] | None]`
+ test/unit/test_data_io.py:313:12: error[invalid-return-type] Return type does not match returned value: expected `tuple[list[Unknown], list[Unknown], list[Unknown]]`, found `tuple[list[Unknown], list[Unknown], list[Unknown] | None]`
+ test/unit/test_data_io.py:730:67: error[invalid-argument-type] Argument to function `_get_random_bucketed_data` is incorrect: Expected `list[int | None] | None`, found `list[Literal[20]]`
+ test/unit/test_data_io.py:732:67: error[invalid-argument-type] Argument to function `_get_random_bucketed_data` is incorrect: Expected `list[int | None] | None`, found `list[Literal[20]]`
+ test/unit/test_data_io.py:763:66: error[invalid-argument-type] Argument to function `_get_random_bucketed_data` is incorrect: Expected `list[int | None] | None`, found `list[Literal[20]]`
- Found 322 diagnostics
+ Found 333 diagnostics

dedupe (https://github.com/dedupeio/dedupe)
+ dedupe/branch_and_bound.py:29:12: error[invalid-return-type] Return type does not match returned value: expected `dict[Any, frozenset[int]]`, found `dict[Any, frozenset[int] & ~AlwaysFalsy]`
- Found 56 diagnostics
+ Found 57 diagnostics

ignite (https://github.com/pytorch/ignite)
+ ignite/handlers/lr_finder.py:134:21: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[ParamScheduler]`, found `list[PiecewiseLinear]`
+ ignite/handlers/polyaxon_logger.py:312:9: error[invalid-assignment] Method `__setitem__` of type `bound method dict[str, float].__setitem__(key: str, value: float, /) -> None` cannot be called with a key of type `Literal["step"]` and a value of type `Unknown | int` on object of type `dict[str, float]`
- Found 2158 diagnostics
+ Found 2160 diagnostics

pydantic (https://github.com/pydantic/pydantic)
+ pydantic/json_schema.py:1497:16: error[invalid-return-type] Return type does not match returned value: expected `list[tuple[str, bool, ComputedField]]`, found `list[tuple[str, Literal[True], ComputedField]]`
- pydantic/v1/datetime_parse.py:170:29: warning[unused-ignore-comment] Unused blanket `type: ignore` directive
+ pydantic/v1/datetime_parse.py:166:5: error[invalid-assignment] Object of type `dict[str, int]` is not assignable to `dict[str, None | int | timezone]`
- pydantic/v1/datetime_parse.py:208:33: warning[unused-ignore-comment] Unused blanket `type: ignore` directive
+ pydantic/v1/datetime_parse.py:204:5: error[invalid-assignment] Object of type `dict[str, int]` is not assignable to `dict[str, None | int | timezone]`
- Found 765 diagnostics
+ Found 766 diagnostics

PyWinCtl (https://github.com/Kalmat/PyWinCtl)
+ src/pywinctl/_main.py:853:9: error[invalid-assignment] Method `__setitem__` of type `Overload[(key: SupportsIndex, value: Literal[0], /) -> None, (key: slice[Any, Any, Any], value: Iterable[Literal[0]], /) -> None]` cannot be called with a key of type `Literal[0]` and a value of type `int` on object of type `list[Literal[0]]`
+ src/pywinctl/_main.py:854:5: error[invalid-assignment] Method `__setitem__` of type `Overload[(key: SupportsIndex, value: list[Literal[0]], /) -> None, (key: slice[Any, Any, Any], value: Iterable[list[Literal[0]]], /) -> None]` cannot be called with a key of type `Literal[0]` and a value of type `list[int]` on object of type `list[list[Literal[0]]]`
+ src/pywinctl/_main.py:859:17: error[invalid-assignment] Method `__setitem__` of type `Overload[(key: SupportsIndex, value: Literal[0], /) -> None, (key: slice[Any, Any, Any], value: Iterable[Literal[0]], /) -> None]` cannot be called with a key of type `int` and a value of type `Literal[1, 0]` on object of type `list[Literal[0]]`
+ src/pywinctl/_main.py:865:17: error[invalid-assignment] Method `__setitem__` of type `Overload[(key: SupportsIndex, value: Literal[0], /) -> None, (key: slice[Any, Any, Any], value: Iterable[Literal[0]], /) -> None]` cannot be called with a key of type `int` and a value of type `Literal[1]` on object of type `list[Literal[0]]`
- Found 30 diagnostics
+ Found 34 diagnostics

mkosi (https://github.com/systemd/mkosi)
+ mkosi/completion.py:125:13: error[invalid-argument-type] Argument to function `to_bash_hasharray` is incorrect: Expected `Mapping[str, str | int]`, found `dict[str & ~AlwaysFalsy, str]`
+ mkosi/completion.py:132:13: error[invalid-argument-type] Argument to function `to_bash_hasharray` is incorrect: Expected `Mapping[str, str | int]`, found `dict[str & ~AlwaysFalsy, str]`
- mkosi/config.py:1926:27: warning[possibly-missing-attribute] Attribute `section` on type `@Todo | None` may be missing
+ mkosi/config.py:1926:27: warning[possibly-missing-attribute] Attribute `section` on type `ConfigSetting[object] | None` may be missing
- mkosi/config.py:1928:83: warning[possibly-missing-attribute] Attribute `section` on type `@Todo | None` may be missing
+ mkosi/config.py:1928:83: warning[possibly-missing-attribute] Attribute `section` on type `ConfigSetting[object] | None` may be missing
- mkosi/config.py:1932:24: warning[possibly-missing-attribute] Attribute `name` on type `@Todo | None` may be missing
+ mkosi/config.py:1932:24: warning[possibly-missing-attribute] Attribute `name` on type `ConfigSetting[object] | None` may be missing
- mkosi/config.py:1934:84: warning[possibly-missing-attribute] Attribute `name` on type `@Todo | None` may be missing
+ mkosi/config.py:1934:84: warning[possibly-missing-attribute] Attribute `name` on type `ConfigSetting[object] | None` may be missing
- mkosi/config.py:1937:20: warning[possibly-missing-attribute] Attribute `dest` on type `@Todo | None` may be missing
+ mkosi/config.py:1937:20: warning[possibly-missing-attribute] Attribute `dest` on type `ConfigSetting[object] | None` may be missing
- mkosi/config.py:1937:30: warning[possibly-missing-attribute] Attribute `parse` on type `@Todo | None` may be missing
+ mkosi/config.py:1937:30: warning[possibly-missing-attribute] Attribute `parse` on type `ConfigSetting[object] | None` may be missing
- mkosi/config.py:1937:56: warning[possibly-missing-attribute] Attribute `dest` on type `@Todo | None` may be missing
+ mkosi/config.py:1937:56: warning[possibly-missing-attribute] Attribute `dest` on type `ConfigSetting[object] | None` may be missing
+ mkosi/config.py:4864:30: error[call-non-callable] Object of type `None` is not callable
- mkosi/config.py:4986:31: warning[possibly-missing-attribute] Attribute `section` on type `@Todo | None` may be missing
+ mkosi/config.py:4986:31: warning[possibly-missing-attribute] Attribute `section` on type `ConfigSetting[Any] | None` may be missing
- mkosi/config.py:4988:87: warning[possibly-missing-attribute] Attribute `section` on type `@Todo | None` may be missing
+ mkosi/config.py:4988:87: warning[possibly-missing-attribute] Attribute `section` on type `ConfigSetting[Any] | None` may be missing
- mkosi/config.py:4992:28: warning[possibly-missing-attribute] Attribute `name` on type `@Todo | None` may be missing
+ mkosi/config.py:4992:28: warning[possibly-missing-attribute] Attribute `name` on type `ConfigSetting[Any] | None` may be missing
- mkosi/config.py:4994:88: warning[possibly-missing-attribute] Attribute `name` on type `@Todo | None` may be missing
+ mkosi/config.py:4994:88: warning[possibly-missing-attribute] Attribute `name` on type `ConfigSetting[Any] | None` may be missing
- mkosi/config.py:4999:29: warning[possibly-missing-attribute] Attribute `dest` on type `@Todo | None` may be missing
+ mkosi/config.py:4999:29: warning[possibly-missing-attribute] Attribute `dest` on type `ConfigSetting[Any] | None` may be missing
- mkosi/config.py:4999:39: warning[possibly-missing-attribute] Attribute `parse` on type `@Todo | None` may be missing
+ mkosi/config.py:4999:39: warning[possibly-missing-attribute] Attribute `parse` on type `ConfigSetting[Any] | None` may be missing
- mkosi/config.py:4999:66: warning[possibly-missing-attribute] Attribute `dest` on type `@Todo | None` may be missing
+ mkosi/config.py:4999:66: warning[possibly-missing-attribute] Attribute `dest` on type `ConfigSetting[Any] | None` may be missing
- Found 113 diagnostics
+ Found 116 diagnostics

flake8 (https://github.com/pycqa/flake8)
+ src/flake8/utils.py:42:12: error[invalid-return-type] Return type does not match returned value: expected `list[str]`, found `list[@Todo & ~AlwaysFalsy]`
- Found 40 diagnostics
+ Found 41 diagnostics

nox (https://github.com/wntrblm/nox)
- nox/_option_set.py:307:56: warning[unused-ignore-comment] Unused blanket `type: ignore` directive
- Found 26 diagnostics
+ Found 25 diagnostics

tornado (https://github.com/tornadoweb/tornado)
+ tornado/netutil.py:436:16: error[invalid-return-type] Return type does not match returned value: expected `list[tuple[int, Any]]`, found `list[tuple[AddressFamily, tuple[str, int] | tuple[str, int, int, int]]]`
- Found 244 diagnostics
+ Found 245 diagnostics

schemathesis (https://github.com/schemathesis/schemathesis)
+ src/schemathesis/core/errors.py:462:12: error[invalid-return-type] Return type does not match returned value: expected `list[str]`, found `list[str & ~AlwaysFalsy]`
+ src/schemathesis/graphql/loaders.py:197:37: error[invalid-argument-type] Argument to function `_on_invalid_schema` is incorrect: Expected `list[str] | None`, found `list[str & ~AlwaysFalsy]`
+ src/schemathesis/openapi/loaders.py:296:13: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[str] | None`, found `list[str & ~AlwaysFalsy]`
+ src/schemathesis/openapi/loaders.py:309:42: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[str] | None`, found `list[str & ~AlwaysFalsy]`
+ src/schemathesis/pytest/lazy.py:289:12: error[invalid-return-type] Return type does not match returned value: expected `dict[str, Any]`, found `dict[str & ~Literal["case"], Unknown]`
+ src/schemathesis/specs/openapi/adapter/parameters.py:297:13: error[invalid-assignment] Method `__setitem__` of type `bound method dict[str & ~Literal["schema"], Any].__setitem__(key: str & ~Literal["schema"], value: Any, /) -> None` cannot be called with a key of type `Literal["schema"]` and a value of type `@Todo` on object of type `dict[str & ~Literal["schema"], Any]`
+ src/schemathesis/specs/openapi/stateful/dependencies/naming.py:30:42: error[invalid-argument-type] Argument to bound method `index` is incorrect: Expected `str & ~AlwaysFalsy`, found `str`
- Found 289 diagnostics
+ Found 296 diagnostics

urllib3 (https://github.com/urllib3/urllib3)
+ src/urllib3/contrib/pyopenssl.py:271:12: error[invalid-return-type] Return type does not match returned value: expected `list[tuple[str, str]]`, found `list[tuple[Literal["DNS"], Unknown & ~None]]`
+ src/urllib3/util/response.py:88:34: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[MessageDefect]`, found `list[MessageDefect & ~StartBoundaryNotFoundDefect & ~MultipartInvariantViolationDefect]`
+ src/urllib3/util/ssl_.py:169:33: error[invalid-argument-type] Argument to bound method `get` is incorrect: Expected `Literal[32, 40, 64]`, found `int`
- src/urllib3/util/url.py:423:67: warning[unused-ignore-comment] Unused blanket `type: ignore` directive
+ test/with_dummyserver/test_https.py:1159:33: error[invalid-argument-type] Argument to bound method `setitem` is incorrect: Expected `Mapping[int, Any | None]`, found `dict[Literal[32, 40, 64], Any | None]`
- Found 368 diagnostics
+ Found 371 diagnostics

pandera (https://github.com/pandera-dev/pandera)
- pandera/backends/pyspark/container.py:603:34: warning[unused-ignore-comment] Unused blanket `type: ignore` directive
+ pandera/strategies/pandas_strategies.py:1222:49: error[invalid-argument-type] Argument expression after ** must be a mapping with `str` key type: Found `Unknown | int`

dragonchain (https://github.com/dragonchain/dragonchain)
+ dragonchain/lib/dao/interchain_dao.py:88:12: error[invalid-return-type] Return type does not match returned value: expected `list[InterchainModel]`, found `list[BitcoinNetwork | EthereumNetwork | BinanceNetwork]`
- Found 305 diagnostics
+ Found 306 diagnostics

cki-lib (https://gitlab.com/cki-project/cki-lib)
+ cki_lib/owners.py:242:16: error[invalid-return-type] Return type does not match returned value: expected `None`, found `str`
- Found 168 diagnostics
+ Found 169 diagnostics

mypy (https://github.com/python/mypy)
+ mypy/checker.py:2925:13: error[invalid-assignment] Object of type `list[Instance | AnyType]` is not assignable to `list[Type]`
+ mypy/checker.py:2929:13: error[invalid-assignment] Object of type `list[UninhabitedType | AnyType]` is not assignable to `list[Type]`
+ mypy/checker.py:4376:37: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[Type]`, found `list[(Unknown & ~AlwaysFalsy) | UninhabitedType]`
+ mypy/checkexpr.py:982:13: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[ArgKind]`, found `list[Literal[ArgKind.ARG_NAMED, ArgKind.ARG_NAMED_OPT]]`
+ mypy/checkexpr.py:2940:33: error[invalid-argument-type] Argument to function `all_same_types` is incorrect: Expected `list[Type]`, found `list[ProperType]`
+ mypy/errors.py:1068:16: error[invalid-return-type] Return type does not match returned value: expected `set[str]`, found `set[Unknown & ~AlwaysFalsy]`
+ mypy/exprtotype.py:194:13: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[Type]`, found `list[ProperType]`
+ mypy/fastparse.py:971:21: error[invalid-assignment] Object of type `list[(Unknown & ~None) | AnyType]` is not assignable to `list[Type | None]`
+ mypy/fastparse.py:1205:13: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[tuple[str, Expression]] | None`, found `list[tuple[str & ~AlwaysFalsy, Unknown]]`
+ mypy/fastparse.py:1646:13: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[ArgKind]`, found `list[Literal[ArgKind.ARG_STAR2, ArgKind.ARG_NAMED, ArgKind.ARG_STAR, ArgKind.ARG_POS]]`
+ mypy/meet.py:1067:40: error[invalid-argument-type] Argument to bound method `copy_modified` is incorrect: Expected `list[Type] | None`, found `list[ProperType]`
+ mypy/mro.py:50:9: error[invalid-assignment] Object of type `list[list[TypeInfo] & ~AlwaysFalsy]` is not assignable to `list[list[TypeInfo]]`
+ mypy/plugins/attrs.py:918:5: error[invalid-assignment] Object of type `list[(Instance & ~AlwaysFalsy) | AnyType]` is not assignable to `list[Type]`
+ mypy/plugins/attrs.py:964:9: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[Type]`, found `list[Instance]`
+ mypy/plugins/attrs.py:977:13: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[Type]`, found `list[Instance]`
+ mypy/plugins/dataclasses.py:383:13: error[invalid-assignment] Object of type `list[LiteralType]` is not assignable to `list[Type]`
+ mypy/semanal.py:5897:13: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[tuple[Expression | None, Expression]]`, found `list[tuple[StrExpr | None, Unknown]]`
+ mypy/semanal_namedtuple.py:434:13: error[invalid-assignment] Object of type `list[AnyType]` is not assignable to `list[Type]`
+ mypy/semanal_namedtuple.py:523:9: error[invalid-assignment] Object of type `list[LiteralType]` is not assignable to `list[Type]`
+ mypy/semanal_typeddict.py:210:13: error[invalid-assignment] Object of type `list[AnyType]` is not assignable to `list[Type]`
+ mypy/stubgenc.py:370:52: error[invalid-argument-type] Argument to function `infer_method_arg_types` is incorrect: Expected `list[str] | None`, found `list[(Unknown & ~AlwaysFalsy) | (str & ~AlwaysFalsy)]`
+ mypy/stubtest.py:2305:17: error[invalid-assignment] Method `__setitem__` of type `bound method dict[str, Literal[False]].__setitem__(key: str, value: Literal[False], /) -> None` cannot be called with a key of type `Unknown | str` and a value of type `Literal[True]` on object of type `dict[str, Literal[False]]`
+ mypy/stubtest.py:2310:21: error[invalid-assignment] Method `__setitem__` of type `bound method dict[str, Literal[False]].__setitem__(key: str, value: Literal[False], /) -> None` cannot be called with a key of type `str` and a value of type `Literal[True]` on object of type `dict[str, Literal[False]]`
+ mypy/util.py:376:9: error[invalid-assignment] Method `__setitem__` of type `bound method dict[type, list[str]].__setitem__(key: type, value: list[str], /) -> None` cannot be called with a key of type `type` and a value of type `list[@Todo & ~Literal["__weakref__"] & ~Literal["__dict__"]]` on object of type `dict[type, list[str]]`
+ mypyc/build.py:381:9: error[invalid-assignment] Object of type `list[tuple[list[Unknown | BuildSource], None]]` is not assignable to `list[tuple[list[BuildSource], str | None]]`
+ mypyc/codegen/emitmodule.py:185:16: error[invalid-return-type] Return type does not match returned value: expected `list[tuple[int, str, int]]`, found `list[tuple[Literal[10], Unknown, Literal[-1]]]`
+ mypyc/codegen/emitmodule.py:291:33: error[invalid-argument-type] Argument to function `load_scc_from_cache` is incorrect: Expected `list[MypyFile]`, found `list[Unknown & ~AlwaysFalsy] & ~AlwaysFalsy`
+ mypyc/codegen/emitmodule.py:293:40: error[invalid-argument-type] Argument to function `compile_scc_to_ir` is incorrect: Expected `list[MypyFile]`, found `list[Unknown & ~AlwaysFalsy] & ~AlwaysFalsy`
+ mypyc/irbuild/ll_builder.py:1250:21: error[invalid-assignment] Object of type `list[Literal[ArgKind.ARG_POS]]` is not assignable to `list[ArgKind] | None`
+ mypyc/irbuild/ll_builder.py:1251:21: error[invalid-assignment] Object of type `list[None]` is not assignable to `list[str | None] | None`
+ mypyc/transform/spill.py:31:44: error[invalid-argument-type] Argument to function `spill_regs` is incorrect: Expected `set[Value]`, found `set[Unknown & ~Register]`
- Found 1846 diagnostics
+ Found 1877 diagnostics

artigraph (https://github.com/artigraph/artigraph)
+ src/arti/types/pydantic.py:51:16: error[no-matching-overload] No overload of function `create_model` matches arguments
- Found 138 diagnostics
+ Found 139 diagnostics

schema_salad (https://github.com/common-workflow-language/schema_salad)
+ schema_salad/dlang_codegen.py:226:21: error[unsupported-operator] Operator `+=` is unsupported between objects of type `list[Unknown & ~Literal["None"]]` and `list[Unknown | str]`
- Found 164 diagnostics
+ Found 165 diagnostics

psycopg (https://github.com/psycopg/psycopg)
+ tests/pq/test_pgconn.py:694:5: error[no-matching-overload] No overload of bound method `update` matches arguments
+ tests/types/test_array.py:314:12: error[non-subscriptable] Cannot subscript object of type `int` with no `__getitem__` method
- Found 706 diagnostics
+ Found 708 diagnostics

freqtrade (https://github.com/freqtrade/freqtrade)
+ freqtrade/commands/data_commands.py:172:21: error[invalid-assignment] Not enough values to unpack: Expected 6
+ freqtrade/commands/data_commands.py:226:21: error[invalid-assignment] Not enough values to unpack: Expected 4
+ freqtrade/config_schema/config_schema.py:25:1: error[invalid-assignment] Object of type `dict[RPCMessageType, dict[Unknown | str, Unknown | str]]` is not assignable to `dict[str, dict[str, str]]`
+ freqtrade/optimize/hyperopt/hyperopt.py:200:16: error[invalid-return-type] Return type does not match returned value: expected `tuple[list[Any], list[bool]]`, found `tuple[list[Unknown], list[Literal[False]]]`
+ freqtrade/plugins/pairlist/AgeFilter.py:103:9: error[invalid-assignment] Object of type `list[tuple[str, Literal["1d"], Unknown]]` is not assignable to `list[tuple[str, str, CandleType]]`
+ freqtrade/plugins/pairlist/VolatilityFilter.py:118:9: error[invalid-assignment] Object of type `list[tuple[str, Literal["1d"], Unknown]]` is not assignable to `list[tuple[str, str, CandleType]]`
+ freqtrade/plugins/pairlist/rangestabilityfilter.py:115:9: error[invalid-assignment] Object of type `list[tuple[str, Literal["1d"], Unknown]]` is not assignable to `list[tuple[str, str, CandleType]]`
- Found 410 diagnostics
+ Found 417 diagnostics

optuna (https://github.com/optuna/optuna)
+ optuna/_gp/optim_mixed.py:78:13: error[invalid-argument-type] Argument to function `batched_lbfgsb` is incorrect: Expected `list[tuple[int | float, int | float]] | None`, found `list[tuple[Literal[0], Any]]`
+ optuna/cli.py:144:25: error[invalid-assignment] Method `__setitem__` of type `bound method dict[Unknown, dict[Unknown, Unknown]].__setitem__(key: Unknown, value: dict[Unknown, Unknown], /) -> None` cannot be called with a key of type `str` and a value of type `list[Unknown]` on object of type `dict[Unknown, dict[Unknown, Unknown]]`
+ optuna/cli.py:145:21: error[unsupported-operator] Operator `+=` is unsupported between objects of type `dict[Unknown, Unknown]` and `list[Unknown | None]`
+ optuna/importance/_ped_anova/evaluator.py:214:20: error[invalid-return-type] Return type does not match returned value: expected `dict[str, int | float]`, found `dict[str, float]`
+ optuna/storages/_grpc/client.py:193:16: error[invalid-return-type] Return type does not match returned value: expected `list[StudyDirection]`, found `list[Literal[StudyDirection.MINIMIZE, StudyDirection.MAXIMIZE]]`
+ optuna/storages/_rdb/storage.py:366:16: error[invalid-return-type] Return type does not match returned value: expected `dict[str, Any]`, found `dict[Unknown | Column[Unknown], Any]`
+ optuna/storages/_rdb/storage.py:375:16: error[invalid-return-type] Return type does not match returned value: expected `dict[str, Any]`, found `dict[Unknown | Column[Unknown], Any]`
+ optuna/storages/_rdb/storage.py:385:16: error[invalid-return-type] Return type does not match returned value: expected `dict[str, Any]`, found `dict[Unknown | Column[Unknown], Any]`
+ optuna/storages/_rdb/storage.py:395:16: error[invalid-return-type] Return type does not match returned value: expected `dict[str, Any]`, found `dict[Unknown | Column[Unknown], Any]`
+ optuna/storages/_rdb/storage.py:879:13: error[invalid-assignment] Object of type `list[Literal[0]]` is not assignable to `list[int | float] | None`
+ optuna/storages/_rdb/storage.py:881:17: warning[possibly-missing-implicit-call] Method `__setitem__` of type `list[int | float] | None` may be missing
- optuna/study/_multi_objective.py:27:16: error[invalid-argument-type] Argument to function `len` is incorrect: Expected `Sized`, found `@Todo | list[int | float] | None`
+ optuna/study/_multi_objective.py:27:16: error[invalid-argument-type] Argument to function `len` is incorrect: Expected `Sized`, found `Unknown | list[int | float] | None`
- optuna/study/_multi_objective.py:33:50: error[invalid-argument-type] Argument to function `__new__` is incorrect: Expected `Iterable[Unknown]`, found `@Todo | list[int | float] | None`
+ optuna/study/_multi_objective.py:33:50: error[invalid-argument-type] Argument to function `__new__` is incorrect: Expected `Iterable[Unknown]`, found `Unknown | list[int | float] | None`
+ optuna/study/_tell.py:177:12: error[invalid-return-type] Return type does not match returned value: expected `tuple[TrialState, list[int | float] | None, str | None]`, found `tuple[TrialState, None | list[float], None]`
+ optuna/visualization/_contour.py:373:9: error[invalid-assignment] Object of type `list[str | None]` is not assignable to `list[str | int | float | None]`
+ optuna/visualization/_rank.py:216:9: error[invalid-assignment] Object of type `list[str | None]` is not assignable to `list[str | int | float | None]`
+ tests/gp_tests/test_acqf.py:41:24: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `dict[str, BaseDistribution]`, found `dict[str, FloatDistribution]`
+ tests/gp_tests/test_search_space.py:158:9: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `dict[str, BaseDistribution]`, found `dict[Unknown | str, (Unknown & ~CategoricalDistribution) | (FloatDistribution & ~CategoricalDistribution) | (IntDistribution & ~CategoricalDistribution)]`
+ tests/pruners_tests/test_wilcoxon.py:69:13: error[invalid-argument-type] Argument to function `create_trial` is incorrect: Expected `dict[int, int | float] | None`, found `dict[int, Literal[0]]`
+ tests/samplers_tests/test_qmc.py:189:5: error[invalid-assignment] Object of type `dict[str, FloatDistribution]` is not assignable to `dict[str, BaseDistribution]`
+ tests/samplers_tests/test_qmc.py:219:5: error[invalid-assignment] Object of type `dict[str, FloatDistribution]` is not assignable to `dict[str, BaseDistribution]`
- Found 561 diagnostics
+ Found 580 diagnostics

koda-validate (https://github.com/keithasaurus/koda-validate)
+ koda_validate/union.py:158:9: error[invalid-assignment] Object of type `list[(Unknown & ~AlwaysFalsy) | (Validator[T2@typed] & ~AlwaysFalsy) | (Validator[T3@typed] & ~AlwaysFalsy) | ... omitted 5 union elements]` is not assignable to `list[Validator[Any]]`
- Found 68 diagnostics
+ Found 69 diagnostics

mkdocs (https://github.com/mkdocs/mkdocs)
- mkdocs/structure/toc.py:24:31: warning[unused-ignore-comment] Unused blanket `type: ignore` directive
- Found 204 diagnostics
+ Found 203 diagnostics

Tanjun (https://github.com/FasterSpeeding/Tanjun)
+ tanjun/clients.py:3136:16: error[invalid-return-type] Return type does not match returned value: expected `list[Path | str]`, found `list[str]`
+ tanjun/clients.py:3138:12: error[invalid-return-type] Return type does not match returned value: expected `list[Path | str]`, found `list[Path]`
- Found 99 diagnostics
+ Found 101 diagnostics

meson (https://github.com/mesonbuild/meson)
+ mesonbuild/backend/backends.py:1271:16: error[invalid-return-type] Return type does not match returned value: expected `list[str]`, found `list[Unknown] | list[bytes]`
+ mesonbuild/backend/backends.py:1572:9: error[invalid-assignment] Object of type `list[str | (ExternalProgram & ~str)]` is not assignable to `list[str | ExternalProgram]`
+ mesonbuild/build.py:2087:29: warning[possibly-missing-attribute] Attribute `absolute_path` on type `Unknown | FileInTargetPrivateDir | (File & ~CustomTarget & ~CustomTargetIndex & ~GeneratedList & ~str)` may be missing
+ mesonbuild/cargo/interpreter.py:132:38: error[invalid-argument-type] Argument to bound method `array` is incorrect: Expected `list[BaseNode]`, found `list[StringNode]`
+ mesonbuild/cargo/interpreter.py:459:36: error[invalid-argument-type] Argument to bound method `array` is incorrect: Expected `list[BaseNode]`, found `list[StringNode]`
+ mesonbuild/cargo/interpreter.py:487:36: error[invalid-argument-type] Argument to bound method `array` is incorrect: Expected `list[BaseNode]`, found `list[StringNode]`
+ mesonbuild/cargo/interpreter.py:530:38: error[invalid-argument-type] Argument to bound method `array` is incorrect: Expected `list[BaseNode]`, found `list[StringNode]`
+ mesonbuild/cargo/manifest.py:116:17: error[invalid-assignment] Method `__setitem__` of type `bound method dict[str & ~Literal["workspace"], object].__setitem__(key: str & ~Literal["workspace"], value: object, /) -> None` cannot be called with a key of type `str` and a value of type `@Todo` on object of type `dict[str & ~Literal["workspace"], object]`
+ mesonbuild/cargo/manifest.py:118:21: error[invalid-assignment] Method `__setitem__` of type `bound method dict[str & ~Literal["workspace"], object].__setitem__(key: str & ~Literal["workspace"], value: object, /) -> None` cannot be called with a key of type `str` and a value of type `object` on object of type `dict[str & ~Literal["workspace"], object]`
+ mesonbuild/cargo/manifest.py:118:46: error[invalid-argument-type] Method `__getitem__` of type `bound method dict[str & ~Literal["workspace"], object].__getitem__(key: str & ~Literal["workspace"], /) -> object` cannot be called with key of type `str` on object of type `dict[str & ~Literal["workspace"], object]`
+ mesonbuild/cargo/manifest.py:120:21: error[invalid-argument-type] Method `__getitem__` of type `bound method dict[str & ~Literal["workspace"], object].__getitem__(key: str & ~Literal["workspace"], /) -> object` cannot be called with key of type `str` on object of type `dict[str & ~Literal["workspace"], object]`
+ mesonbuild/cargo/manifest.py:127:17: error[invalid-assignment] Method `__setitem__` of type `bound method dict[str & ~Literal["workspace"], object].__setitem__(key: str & ~Literal["workspace"], value: object, /) -> None` cannot be called with a key of type `str` and a value of type `object` on object of type `dict[str & ~Literal["workspace"], object]`
+ mesonbuild/cargo/manifest.py:128:12: error[invalid-return-type] Return type does not match returned value: expected `Mapping[str, object]`, found `dict[str & ~Literal["workspace"], object]`
+ mesonbuild/cmake/fileapi.py:195:21: error[unsupported-operator] Operator `+=` is unsupported between objects of type `list[Path]` and `list[Unknown | dict[Unknown, Unknown]]`
+ mesonbuild/cmake/fileapi.py:200:21: error[unsupported-operator] Operator `+=` is unsupported between objects of type `list[Path]` and `list[Unknown | dict[Unknown, Unknown]]`
+ mesonbuild/cmake/fileapi.py:218:17: error[unsupported-operator] Operator `+=` is unsupported between objects of type `list[Path]` and `list[Unknown | dict[Unknown | str, Unknown | bool | (list[Unknown] & ~AlwaysFalsy)]]`
+ mesonbuild/cmake/fileapi.py:223:17: error[unsupported-operator] Operator `+=` is unsupported between objects of type `list[Path]` and `list[Unknown | dict[Unknown | str, Unknown | bool | (list[Unknown] & ~AlwaysFalsy)]]`
+ mesonbuild/cmake/interpreter.py:1049:13: error[invalid-assignment] Object of type `dict[IdNode, BaseNode]` is not assignable to attribute `kwargs` of type `dict[BaseNode, BaseNode]`
+ mesonbuild/cmake/interpreter.py:1061:13: error[invalid-assignment] Object of type `dict[IdNode, BaseNode]` is not assignable to attribute `kwargs` of type `dict[BaseNode, BaseNode]`
+ mesonbuild/cmake/toolchain.py:232:31: error[no-matching-overload] No overload of bound method `join` matches arguments
+ mesonbuild/compilers/mixins/visualstudio.py:187:16: error[invalid-return-type] Return type does not match returned value: expected `list[str]`, found `list[str] | list[str & ~Literal["/Gw"]]`
+ mesonbuild/coredata.py:496:5: error[no-matching-overload] No overload of bound method `update` matches arguments
+ mesonbuild/coredata.py:497:5: error[invalid-assignment] Object of type `dict[OptionKey, str]` is not assignable to attribute `cmd_line_options` of type `dict[OptionKey, str | None]`
+ mesonbuild/dependencies/cmake.py:128:9: error[unsupported-operator] Operator `+=` is unsupported between objects of type `list[tuple[str | Unknown, Literal[True]]]` and `list[tuple[str | Unknown, Literal[False]]]`
+ mesonbuild/dependencies/cuda.py:185:16: error[invalid-return-type] Return type does not match returned value: expected `list[tuple[str, bool]]`, found `list[tuple[str, Literal[False]]]`
+ mesonbuild/dependencies/mpi.py:75:31: error[invalid-argument-type] Argument to bound method `extend` is incorrect: Expected `Iterable[str & ~AlwaysFalsy]`, found `list[Unknown | str]`
+ mesonbuild/dependencies/mpi.py:77:31: error[invalid-argument-type] Argument to bound method `extend` is incorrect: Expected `Iterable[str & ~AlwaysFalsy]`, found `list[Unknown | str]`
+ mesonbuild/dependencies/mpi.py:79:27: error[invalid-assignment] Invalid assignment to key "tools" with declared type `list[str]` on TypedDict `DependencyObjectKWs`: value of type `list[str & ~AlwaysFalsy]`
- mesonbuild/dependencies/pkgconfig.py:215:16: error[invalid-return-type] Return type does not match returned value: expected `ImmutableListProtocol[str]`, found `list[@Todo]`
+ mesonbuild/dependencies/pkgconfig.py:215:16: error[invalid-return-type] Return type does not match returned value: expected `ImmutableListProtocol[str]`, found `list[Unknown]`
+ mesonbuild/interpreter/interpreter.py:1774:46: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `list[str]`, found `list[str & ~AlwaysFalsy]`
- mesonbuild/mintro.py:452:5: error[invalid-assignment] Object of type `dict[Unknown | str, Unknown | str | None | list[str] | list[@Todo]]` is not assignable to `dict[str, str | list[str] | list[dict[str, str]]]`
+ mesonbuild/mintro.py:452:5: error[invalid-assignment] Object of type `dict[Unknown | str, Unknown | str | None | list[str] | list[Unknown | str]]` is not assignable to `dict[str, str | list[str] | list[dict[str, str]]]`
+ mesonbuild/modules/external_project.py:190:9: error[invalid-assignment] Object of type `dict[str, tuple[str, None]]` is not assignable to `dict[str, tuple[str, str | None]]`
+ mesonbuild/rewriter.py:909:13: error[invalid-assignment] Object of type `list[StringNode]` is not assignable to attribute `arguments` of type `list[BaseNode]`
+ mesonbuild/rewriter.py:969:13: error[invalid-assignment] Object of type `list[BaseNode & ~StringNode]` is not assignable to `list[BaseNode]`
- mesonbuild/utils/universal.py:714:12: error[invalid-return-type] Return type does not match returned value: expected `ImmutableListProtocol[str]`, found `list[@Todo]`
+ mesonbuild/utils/universal.py:714:12: error[invalid-return-type] Return type does not match returned value: expected `ImmutableListProtocol[str]`, found `list[Unknown | str]`
+ run_project_tests.py:408:9: error[invalid-assignment] Method `__setitem__` of type `bound method dict[Path, Literal[False]].__setitem__(key: Path, value: Literal[False], /) -> None` cannot be called with a key of type `Path` and a value of type `Literal[True]` on object of type `dict[Path, Literal[False]]`
- test cases/common/22 object extraction/check-obj.py:19:35: error[unsupported-operator] Operator `not in` is not supported for types `str` and `None`, in comparing `str` with `None | set[@Todo]`
+ test cases/common/22 object extraction/check-obj.py:19:35: error[unsupported-operator] Operator `not in` is not supported for types `str` and `None`, in comparing `str` with `None | set[Any]`
- unittests/allplatformstests.py:3117:13: warning[possibly-missing-implicit-call] Method `__setitem__` of type `Unknown | str | dict[Unknown | str, Unknown | str | dict[@Todo, @Todo]] | ... omitted 5 union elements` may be missing
+ unittests/allplatformstests.py:3117:13: warning[possibly-missing-implicit-call] Method `__setitem__` of type `Unknown | str | dict[Unknown | str, Unknown | str | dict[str, Any]] | ... omitted 5 union elements` may be missing
- unittests/allplatformstests.py:3143:21: warning[possibly-missing-implicit-call] Method `__setitem__` of type `Unknown | str | dict[Unknown | str, Unknown | str | dict[@Todo, @Todo]] | ... omitted 5 union elements` may be missing
+ unittests/allplatformstests.py:3143:21: warning[possibly-missing-implicit-call] Method `__setitem__` of type `Unknown | str | dict[Unknown | str, Unknown | str | dict[str, Any]] | ... omitted 5 union elements` may be missing
- Found 887 diagnostics
+ Found 920 diagnostics

speedrun.com_global_scoreboard_webapp (https://github.com/Avasam/speedrun.com_global_scoreboard_webapp)
+ backend/services/utils.py:167:5: error[invalid-assignment] Object of type `dict[str, str]` is not assignable to `dict[str, str | int]`
- Found 65 diagnostics
+ Found 66 diagnostics

vision (https://github.com/pytorch/vision)
+ references/optical_flow/train.py:91:26: warning[possibly-missing-attribute] Attribute `to` on type `Unknown | None` may be missing
+ references/optical_flow/train.py:91:45: warning[possibly-missing-attribute] Attribute `to` on type `Unknown | None` may be missing
+ test/test_datasets_download.py:67:17: error[invalid-assignment] Method `__setitem__` of type `bound method dict[Literal["data", "headers", "origin_req_host", "unverifiable"], Any].__setitem__(key: Literal["data", "headers", "origin_req_host", "unverifiable"], value: Any, /) -> None` cannot be called with a key of type `Literal["method"]` and a value of type `(Unknown & str) | (Unknown & None)` on object of type `dict[Literal["data", "headers", "origin_req_host", "unverifiable"], Any]`
- test/test_transforms_v2.py:3512:35: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `Literal["constant", "edge", "reflect", "symmetric"]`, found `list[@Todo] | Unknown`
+ test/test_transforms_v2.py:3512:35: error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `Literal["constant", "edge", "reflect", "symmetric"]`, found `list[Unknown] | Unknown`
+ torchvision/prototype/datasets/_builtin/pcam.py:104:16: error[invalid-return-type] Return type does not match returned value: expected `list[OnlineResource]`, found `list[GDriveResource]`
+ torchvision/transforms/autoaugment.py:279:92: error[invalid-argument-type]...*[Comment body truncated]*

[ty] Type inference for comprehensions

53de76f

sharkdp added ty Multi-file analysis & type inference ecosystem-analyzer labels Oct 18, 2025

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

[ty] Type inference for comprehensions #20962

[ty] Type inference for comprehensions #20962

Uh oh!

sharkdp commented Oct 18, 2025

Uh oh!

github-actions bot commented Oct 18, 2025

Uh oh!

github-actions bot commented Oct 18, 2025

Uh oh!

github-actions bot commented Oct 21, 2025 •

edited

Loading

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

[ty] Type inference for comprehensions #20962

Are you sure you want to change the base?

[ty] Type inference for comprehensions #20962

Uh oh!

Conversation

sharkdp commented Oct 18, 2025

Summary

Test Plan

Uh oh!

github-actions bot commented Oct 18, 2025

Diagnostic diff on typing conformance tests

Uh oh!

github-actions bot commented Oct 18, 2025

ecosystem-analyzer results

Uh oh!

github-actions bot commented Oct 21, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

mypy_primer results

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

`ecosystem-analyzer` results

github-actions bot commented Oct 21, 2025 •

edited

Loading

`mypy_primer` results