[ty] Silence all diagnostics in unreachable code by sharkdp · Pull Request #24179 · astral-sh/ruff

sharkdp · 2026-03-25T15:58:48Z

Summary

With this change, we now record reachability constraints for certain text ranges in a given scope. Using text ranges (as opposed to AST nodes) simplifies the implementation and allows us to easily record reachability for basic blocks by simply extending the range:

print("hello")  # record reachability for the full text range of this statement
print("world")  # reachability hasn't changed => extend the range to also include this statement

some_call()     # records a new reachability statement (this call could fail)

1 + "a"         # reachabilty has changed, so create a new range and track it's reachability
x: int = "foo"  # reachability is still the same, so extend the previous range

This mostly works on the statement level, but there are some special syntactic constructs which require us to also track single expressions, like ternary if statements. Here, we record reachability for both the 1 + "a" expression and the "this is fine" expression:

1 + "a" if False else "this is fine"

Combining this range-based reachability with the pre-existing scope-based reachability allows us to unconditionally silence diagnostics in unreachable code (with the exception of reveal_type diagnostics, which we still want to emit).

fixes astral-sh/ty#2891
fixes astral-sh/ty#1165

Performance

This is actually a (small) win in terms of both performance and memory!

Ecosystem

Looks great. Lots of removed diagnostics in if not TYPE_CHECKING blocks.

Conformance

Well, this test is somewhat controversial, but we now pass it.

Test Plan

Updated tests

astral-sh-bot · 2026-03-25T16:00:32Z

Typing conformance results improved 🎉

The percentage of diagnostics emitted that were expected errors increased from 86.38% to 86.46%. The percentage of expected errors that received a diagnostic held steady at 80.68%. The number of fully passing files improved from 67/133 to 68/133.

Summary

How are test cases classified?

Each test case represents one expected error annotation or a group of annotations sharing a tag. Counts are per test case, not per diagnostic — multiple diagnostics on the same line count as one. Required annotations (E) are true positives when ty flags the expected location and false negatives when it does not. Optional annotations (E?) are true positives when flagged but true negatives (not false negatives) when not. Tagged annotations (E[tag]) require ty to flag exactly one of the tagged lines; tagged multi-annotations (E[tag+]) allow any number up to the tag count. Flagging unexpected locations counts as a false positive.

Metric	Old	New	Diff	Outcome
True Positives	856	856	+0
False Positives	135	134	-1	⏬ (✅)
False Negatives	205	205	+0
Total Diagnostics	1050	1049	-1	⏬
Precision	86.38%	86.46%	+0.09%	⏫ (✅)
Recall	80.68%	80.68%	+0.00%
Passing Files	67/133	68/133	+1	⏫ (✅)

Test file breakdown

1 file altered

File	True Positives	False Positives	False Negatives	Status
directives_type_checking.py	0	0 (-1) ✅	0	✅ Newly Passing 🎉
Total (all files)	856	134 (-1) ✅	205	68/133

False positives removed (1)

1 diagnostic

Test case	Diff
directives_type_checking.py:11	-error[invalid-assignment] Object of type `Literal[""]` is not assignable to `int`

astral-sh-bot · 2026-03-25T16:01:15Z

Memory usage report

Summary

Project	Old	New	Diff	Outcome
flake8	48.44MB	47.94MB	-1.03% (512.81kB)	⬇️
trio	116.82MB	115.74MB	-0.93% (1.08MB)	⬇️
sphinx	265.09MB	262.42MB	-1.01% (2.66MB)	⬇️
prefect	712.98MB	704.93MB	-1.13% (8.04MB)	⬇️

Significant changes

Click to expand detailed breakdown

flake8

Name	Old	New	Diff	Outcome
`semantic_index`	13.97MB	13.47MB	-3.59% (513.02kB)	⬇️
`infer_definition_types`	1.92MB	1.92MB	+0.01% (216.00B)	⬇️

trio

Name	Old	New	Diff	Outcome
`semantic_index`	30.37MB	29.29MB	-3.55% (1.08MB)	⬇️
`check_file_impl`	1.83MB	1.82MB	-0.37% (6.98kB)	⬇️
`infer_expression_types_impl`	6.03MB	6.04MB	+0.02% (1.30kB)	⬇️
`infer_deferred_types`	2.37MB	2.38MB	+0.05% (1.21kB)	⬇️
`infer_scope_types_impl`	4.76MB	4.76MB	-0.01% (352.00B)	⬇️
`infer_definition_types`	7.49MB	7.49MB	+0.00% (336.00B)	⬇️
`all_negative_narrowing_constraints_for_expression`	210.84kB	210.86kB	+0.01% (24.00B)	⬇️
`all_narrowing_constraints_for_expression`	626.95kB	626.97kB	+0.00% (24.00B)	⬇️
`infer_expression_type_impl`	1.41MB	1.41MB	+0.00% (24.00B)	⬇️
`loop_header_reachability`	137.41kB	137.42kB	+0.01% (12.00B)	⬇️

sphinx

Name	Old	New	Diff	Outcome
`semantic_index`	62.38MB	59.72MB	-4.27% (2.67MB)	⬇️
`infer_expression_types_impl`	19.69MB	19.69MB	+0.00% (588.00B)	⬇️
`infer_definition_types`	24.13MB	24.13MB	+0.00% (180.00B)	⬇️
`infer_unpack_types`	440.46kB	440.51kB	+0.01% (48.00B)	⬇️
`infer_scope_types_impl`	15.52MB	15.52MB	+0.00% (36.00B)	⬇️

prefect

Name	Old	New	Diff	Outcome
`semantic_index`	175.68MB	167.64MB	-4.58% (8.04MB)	⬇️
`infer_scope_types_impl`	53.63MB	53.64MB	+0.00% (648.00B)	⬇️
`infer_definition_types`	89.85MB	89.85MB	+0.00% (528.00B)	⬇️
`infer_deferred_types`	14.61MB	14.61MB	+0.00% (408.00B)	⬇️
`infer_expression_types_impl`	56.19MB	56.19MB	+0.00% (348.00B)	⬇️
`infer_expression_type_impl`	14.05MB	14.05MB	+0.00% (160.00B)	⬇️

astral-sh-bot · 2026-03-25T16:03:28Z

`ecosystem-analyzer` results

Lint rule	Added	Removed	Changed
`invalid-key`	0	302	0
`invalid-type-form`	0	39	0
`invalid-type-arguments`	0	26	0
`unresolved-attribute`	0	17	0
`invalid-argument-type`	0	16	0
`invalid-method-override`	0	15	0
`invalid-return-type`	0	15	0
`invalid-yield`	0	14	0
`unknown-argument`	0	11	0
`possibly-missing-import`	0	10	0
`empty-body`	0	8	0
`invalid-parameter-default`	0	8	0
`call-non-callable`	0	7	0
`invalid-assignment`	0	4	0
`too-many-positional-arguments`	0	4	0
`unsupported-operator`	0	4	0
`deprecated`	0	2	0
`invalid-super-argument`	0	2	0
`invalid-legacy-type-variable`	0	1	0
`no-matching-overload`	0	1	0
`not-iterable`	0	1	0
`unused-awaitable`	0	1	0
`unused-type-ignore-comment`	0	1	0
Total	0	509	0

Showing a random sample of 507 of 509 changes. See the HTML report for the full diff.

Raw diff sample (507 of 509 changes)

DateType (https://github.com/glyph/DateType)
- src/datetype/__init__.py:522:20 error[invalid-return-type] Return type does not match returned value: expected `DateTime[tzinfo | None]`, found `datetime`

Expression (https://github.com/cognitedata/Expression)
- tests/test_seq_builder.py:186:9 error[invalid-yield] Yield type `None` does not match annotated yield type `Iterable[int]`
- expression/core/option.py:308:15 error[invalid-yield] Yield type `None` does not match annotated yield type `_TSourceOut@Option`
- expression/core/result.py:267:15 error[invalid-yield] Yield type `None` does not match annotated yield type `_TSourceOut@Result`
- tests/test_option_builder.py:218:9 error[invalid-yield] Yield type `None` does not match annotated yield type `Option[int]`
- tests/test_result_builder.py:221:9 error[invalid-yield] Yield type `None` does not match annotated yield type `Result[int, str]`

aiohttp (https://github.com/aio-libs/aiohttp)
- aiohttp/client.py:460:14 error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `_BaseRequestContextManager[ClientResponse]`
- aiohttp/client.py:1303:14 error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `_BaseRequestContextManager[ClientResponse]`
- aiohttp/client.py:1309:14 error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `_BaseRequestContextManager[ClientResponse]`
- aiohttp/client.py:1315:14 error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `_BaseRequestContextManager[ClientResponse]`
- aiohttp/client.py:1321:14 error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `_BaseRequestContextManager[ClientResponse]`
- aiohttp/client.py:1327:14 error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `_BaseRequestContextManager[ClientResponse]`
- aiohttp/client.py:1333:14 error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `_BaseRequestContextManager[ClientResponse]`
- aiohttp/client.py:1339:14 error[empty-body] Function always implicitly returns `None`, which is not assignable to return type `_BaseRequestContextManager[ClientResponse]`
- aiohttp/cookiejar.py:548:19 error[invalid-yield] Yield type `None` does not match annotated yield type `Morsel[str]`

altair (https://github.com/vega/altair)
- altair/datasets/_constraints.py:57:16 error[invalid-return-type] Return type does not match returned value: expected `Metadata`, found `dict[Unknown, Unknown]`
- altair/vegalite/v6/api.py:4129:19 error[invalid-super-argument] `type[_TSchemaBase@from_dict]` is not an instance or subclass of `<class 'Chart'>` in `super(<class 'Chart'>, type[_TSchemaBase@from_dict])` call

anyio (https://github.com/agronholm/anyio)
- src/anyio/_core/_fileio.py:412:51 error[unknown-argument] Argument `case_sensitive` does not match any known parameter of bound method `match`
- src/anyio/_core/_fileio.py:501:44 error[unknown-argument] Argument `case_sensitive` does not match any known parameter of bound method `glob`
- src/anyio/_core/_fileio.py:515:17 error[invalid-argument-type] Argument to bound method `glob` is incorrect: Expected `str`, found `str | PathLike[str]`
- src/anyio/_core/_fileio.py:516:17 error[unknown-argument] Argument `case_sensitive` does not match any known parameter of bound method `glob`
- src/anyio/_core/_fileio.py:517:17 error[unknown-argument] Argument `recurse_symlinks` does not match any known parameter of bound method `glob`
- src/anyio/_core/_fileio.py:654:57 error[unknown-argument] Argument `walk_up` does not match any known parameter of bound method `relative_to`
- src/anyio/_core/_fileio.py:694:45 error[unknown-argument] Argument `case_sensitive` does not match any known parameter of bound method `rglob`
- src/anyio/_core/_fileio.py:708:17 error[invalid-argument-type] Argument to bound method `rglob` is incorrect: Expected `str`, found `str | PathLike[str]`
- src/anyio/_core/_fileio.py:709:17 error[unknown-argument] Argument `case_sensitive` does not match any known parameter of bound method `rglob`
- src/anyio/_core/_fileio.py:710:17 error[unknown-argument] Argument `recurse_symlinks` does not match any known parameter of bound method `rglob`

beartype (https://github.com/beartype/beartype)
- beartype/_util/error/utilerrwarn.py:88:9 error[no-matching-overload] No overload of function `warn` matches arguments
- beartype/claw/_importlib/_clawimpload.py:478:21 error[unknown-argument] Argument `fullname` does not match any known parameter of bound method `source_to_code`

core (https://github.com/home-assistant/core)
- homeassistant/components/icloud/services.py:105:16 error[invalid-return-type] Return type does not match returned value: expected `IcloudAccount`, found `None`
- homeassistant/components/entur_public_transport/sensor.py:71:16 error[invalid-return-type] Return type does not match returned value: expected `int`, found `None`

dd-trace-py (https://github.com/DataDog/dd-trace-py)
- ddtrace/internal/coverage/instrumentation_py3_11.py:172:27 error[unsupported-operator] Operator `<<` is not supported between objects of type `int | None` and `Literal[1]`
- ddtrace/internal/coverage/instrumentation_py3_11.py:336:46 error[invalid-argument-type] Argument to bound method `from_bytes` is incorrect: Expected `Iterable[SupportsIndex] | SupportsBytes | Buffer`, found `list[bytes | Unknown]`
- ddtrace/internal/coverage/instrumentation_py3_12.py:218:46 error[invalid-argument-type] Argument to bound method `from_bytes` is incorrect: Expected `Iterable[SupportsIndex] | SupportsBytes | Buffer`, found `list[bytes | Unknown]`
- ddtrace/internal/coverage/instrumentation_py3_12.py:243:21 error[invalid-assignment] Invalid subscript assignment with key of type `int` and value of type `tuple[None | str, tuple[str, ...]]` on object of type `dict[int, tuple[str, tuple[str, ...]]]`
- ddtrace/internal/coverage/instrumentation_py3_12.py:248:21 error[invalid-assignment] Invalid subscript assignment with key of type `int` and value of type `tuple[None | str, tuple[str]]` on object of type `dict[int, tuple[str, tuple[str, ...]]]`
- ddtrace/internal/products.py:27:34 error[unknown-argument] Argument `group` does not match any known parameter of function `entry_points`
- ddtrace/vendor/psutil/__init__.py:928:20 error[unresolved-attribute] Attribute `num_handles` is not defined on `Process` in union `Unknown | Process`

discord.py (https://github.com/Rapptz/discord.py)
- discord/ext/commands/converter.py:1235:89 error[unresolved-attribute] Attribute `name` is not defined on `None` in union `Parameter | None`

jax (https://github.com/google/jax)
- jax/_src/test_loader.py:180:35 error[unresolved-attribute] Attribute `addDuration` is not defined on `TestResult` in union `Unknown | TestResult`

kopf (https://github.com/nolar/kopf)
- kopf/_cogs/structs/dicts.py:261:28 error[invalid-yield] Send type `Never` does not match annotated send type `None`

mitmproxy (https://github.com/mitmproxy/mitmproxy)
- mitmproxy/utils/vt_codes.py:11:32 warning[unused-type-ignore-comment] Unused blanket `type: ignore` directive

mkosi (https://github.com/systemd/mkosi)
- mkosi/sandbox.py:601:12 error[unsupported-operator] Operator `|` is not supported between objects of type `<class 'dict[str, dict[str, Divergent] | list[Divergent] | str | ... omitted 3 union elements]'>` and `<class 'list[dict[str, Divergent] | list[Divergent] | str | ... omitted 3 union elements]'>`
- mkosi/sandbox.py:602:10 error[unsupported-operator] Operator `|` is not supported between objects of type `<class 'int'>` and `<class 'tuple[str, int]'>`

mongo-python-driver (https://github.com/mongodb/mongo-python-driver)
- bson/codec_options.py:397:45 error[invalid-argument-type] Argument to function `issubclass` is incorrect: Expected `type`, found `object`

mypy (https://github.com/python/mypy)
- mypy/typeshed/stdlib/annotationlib.pyi:59:29 error[invalid-type-form] Type arguments for `Literal` must be `None`, a literal value (int, bool, str, or bytes), or an enum member
- mypy/typeshed/stdlib/annotationlib.pyi:69:29 error[invalid-type-form] Type arguments for `Literal` must be `None`, a literal value (int, bool, str, or bytes), or an enum member
- mypy/typeshed/stdlib/annotationlib.pyi:100:72 error[invalid-type-form] Type arguments for `Literal` must be `None`, a literal value (int, bool, str, or bytes), or an enum member
- mypy/typeshed/stdlib/annotationlib.pyi:103:49 error[invalid-type-form] Type arguments for `Literal` must be `None`, a literal value (int, bool, str, or bytes), or an enum member
- mypy/typeshed/stdlib/annotationlib.pyi:109:49 error[invalid-type-form] Type arguments for `Literal` must be `None`, a literal value (int, bool, str, or bytes), or an enum member
- mypy/typeshed/stdlib/annotationlib.pyi:113:49 error[invalid-type-form] Type arguments for `Literal` must be `None`, a literal value (int, bool, str, or bytes), or an enum member
- mypy/typeshed/stdlib/annotationlib.pyi:125:25 error[invalid-type-form] Type arguments for `Literal` must be `None`, a literal value (int, bool, str, or bytes), or an enum member
- mypy/typeshed/stdlib/annotationlib.pyi:134:25 error[invalid-type-form] Type arguments for `Literal` must be `None`, a literal value (int, bool, str, or bytes), or an enum member
- mypy/typeshed/stdlib/asyncio/tasks.pyi:450:34 error[invalid-argument-type] `Never` is not a valid argument to `Protocol`
- mypy/typeshed/stdlib/asyncio/tasks.pyi:463:33 error[invalid-argument-type] `Never` is not a valid argument to `Protocol`
- mypy/typeshed/stdlib/concurrent/interpreters/__init__.pyi:67:43 error[invalid-type-form] The first argument to `Callable` must be either a list of types, ParamSpec, Concatenate, or `...`
- mypy/typeshed/stdlib/concurrent/interpreters/__init__.pyi:68:53 error[invalid-type-form] The first argument to `Callable` must be either a list of types, ParamSpec, Concatenate, or `...`
- mypy/typeshed/stdlib/encodings/mbcs.pyi:16:13 error[invalid-method-override] Invalid override of method `_buffer_decode`: Definition is incompatible with `BufferedIncrementalDecoder._buffer_decode`
- mypy/typeshed/stdlib/encodings/mbcs.pyi:21:13 error[invalid-method-override] Invalid override of method `encode`: Definition is incompatible with `Codec.encode`
- mypy/typeshed/stdlib/encodings/mbcs.pyi:26:13 error[invalid-method-override] Invalid override of method `decode`: Definition is incompatible with `Codec.decode`
- mypy/typeshed/stdlib/encodings/oem.pyi:16:13 error[invalid-method-override] Invalid override of method `_buffer_decode`: Definition is incompatible with `BufferedIncrementalDecoder._buffer_decode`
- mypy/typeshed/stdlib/encodings/oem.pyi:21:13 error[invalid-method-override] Invalid override of method `encode`: Definition is incompatible with `Codec.encode`
- mypy/typeshed/stdlib/encodings/oem.pyi:26:13 error[invalid-method-override] Invalid override of method `decode`: Definition is incompatible with `Codec.decode`
- mypy/typeshed/stdlib/asyncio/unix_events.pyi:106:21 error[invalid-method-override] Invalid override of method `__exit__`: Definition is incompatible with `AbstractChildWatcher.__exit__`
- mypy/typeshed/stdlib/asyncio/unix_events.pyi:117:21 error[invalid-method-override] Invalid override of method `__exit__`: Definition is incompatible with `AbstractChildWatcher.__exit__`
- mypy/typeshed/stdlib/asyncio/unix_events.pyi:199:21 error[invalid-method-override] Invalid override of method `__exit__`: Definition is incompatible with `AbstractChildWatcher.__exit__`
- mypy/typeshed/stdlib/builtins.pyi:235:68 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 2
- mypy/typeshed/stdlib/builtins.pyi:235:68 error[invalid-type-form] `...` is not allowed in this context in a type expression
- mypy/typeshed/stdlib/builtins.pyi:275:94 error[invalid-parameter-default] Default value of type `Literal[False]` is not assignable to annotated parameter type `bool`
- mypy/typeshed/stdlib/builtins.pyi:283:13 error[invalid-parameter-default] Default value of type `Literal[False]` is not assignable to annotated parameter type `bool`
- mypy/typeshed/stdlib/builtins.pyi:995:68 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 2
- mypy/typeshed/stdlib/builtins.pyi:995:68 error[invalid-type-form] `...` is not allowed in this context in a type expression
- mypy/typeshed/stdlib/builtins.pyi:1004:36 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 2
- mypy/typeshed/stdlib/builtins.pyi:1004:36 error[invalid-type-form] `...` is not allowed in this context in a type expression
- mypy/typeshed/stdlib/builtins.pyi:1005:38 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 2
- mypy/typeshed/stdlib/builtins.pyi:1005:38 error[invalid-type-form] `...` is not allowed in this context in a type expression
- mypy/typeshed/stdlib/builtins.pyi:1386:34 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 2
- mypy/typeshed/stdlib/builtins.pyi:1386:34 error[invalid-type-form] `...` is not allowed in this context in a type expression
- mypy/typeshed/stdlib/builtins.pyi:1396:34 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 2
- mypy/typeshed/stdlib/builtins.pyi:1396:34 error[invalid-type-form] `...` is not allowed in this context in a type expression
- mypy/typeshed/stdlib/builtins.pyi:1464:54 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 2
- mypy/typeshed/stdlib/builtins.pyi:1464:54 error[invalid-type-form] `...` is not allowed in this context in a type expression
- mypy/typeshed/stdlib/builtins.pyi:1478:84 error[invalid-parameter-default] Default value of type `Literal[False]` is not assignable to annotated parameter type `bool`
- mypy/typeshed/stdlib/builtins.pyi:1481:103 error[invalid-parameter-default] Default value of type `Literal[False]` is not assignable to annotated parameter type `bool`
- mypy/typeshed/stdlib/builtins.pyi:1492:13 error[invalid-parameter-default] Default value of type `Literal[False]` is not assignable to annotated parameter type `bool`
- mypy/typeshed/stdlib/builtins.pyi:1504:13 error[invalid-parameter-default] Default value of type `Literal[False]` is not assignable to annotated parameter type `bool`
- mypy/typeshed/stdlib/builtins.pyi:1517:13 error[invalid-parameter-default] Default value of type `Literal[False]` is not assignable to annotated parameter type `bool`
- mypy/typeshed/stdlib/builtins.pyi:1531:13 error[invalid-parameter-default] Default value of type `Literal[False]` is not assignable to annotated parameter type `bool`
- mypy/typeshed/stdlib/builtins.pyi:1899:91 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 2
- mypy/typeshed/stdlib/builtins.pyi:1901:113 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 3
- mypy/typeshed/stdlib/builtins.pyi:1905:29 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 4
- mypy/typeshed/stdlib/builtins.pyi:1921:29 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 2
- mypy/typeshed/stdlib/builtins.pyi:1921:29 error[invalid-type-form] `...` is not allowed in this context in a type expression
- mypy/typeshed/stdlib/builtins.pyi:2164:45 error[invalid-argument-type] `Never` is not a valid argument to `Generic`
- mypy/typeshed/stdlib/builtins.pyi:2170:100 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 2
- mypy/typeshed/stdlib/builtins.pyi:2170:100 error[invalid-type-form] `...` is not allowed in this context in a type expression
- mypy/typeshed/stdlib/builtins.pyi:2173:79 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 2
- mypy/typeshed/stdlib/builtins.pyi:2173:79 error[invalid-type-form] `...` is not allowed in this context in a type expression
- mypy/typeshed/stdlib/builtins.pyi:2177:87 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 2
- mypy/typeshed/stdlib/builtins.pyi:2177:87 error[invalid-type-form] `...` is not allowed in this context in a type expression
- mypy/typeshed/stdlib/builtins.pyi:2185:79 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 2
- mypy/typeshed/stdlib/builtins.pyi:2185:79 error[invalid-type-form] `...` is not allowed in this context in a type expression
- mypy/typeshed/stdlib/builtins.pyi:2186:56 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 2
- mypy/typeshed/stdlib/builtins.pyi:2189:87 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 2
- mypy/typeshed/stdlib/builtins.pyi:2189:87 error[invalid-type-form] `...` is not allowed in this context in a type expression
- mypy/typeshed/stdlib/builtins.pyi:2190:64 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 2
- mypy/typeshed/stdlib/builtins.pyi:2194:67 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 2
- mypy/typeshed/stdlib/builtins.pyi:2206:88 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 2
- mypy/typeshed/stdlib/builtins.pyi:2206:88 error[invalid-type-form] `...` is not allowed in this context in a type expression
- mypy/typeshed/stdlib/builtins.pyi:2210:79 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 2
- mypy/typeshed/stdlib/builtins.pyi:2210:79 error[invalid-type-form] `...` is not allowed in this context in a type expression
- mypy/typeshed/stdlib/builtins.pyi:2218:79 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 2
- mypy/typeshed/stdlib/builtins.pyi:2218:79 error[invalid-type-form] `...` is not allowed in this context in a type expression
- mypy/typeshed/stdlib/builtins.pyi:2219:56 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 2
- mypy/typeshed/stdlib/builtins.pyi:2223:59 error[invalid-type-arguments] Too many type arguments to class `tuple`: expected 1, got 2
- mypy/typeshed/stdlib/contextlib.pyi:221:53 error[invalid-argument-type] `Never` is not a valid argument to `Generic`
- mypy/typeshed/stdlib/importlib/abc.pyi:97:26 warning[deprecated] The class `Finder` is deprecated: Deprecated since Python 3.3; removed in Python 3.12. Use `MetaPathFinder` or `PathEntryFinder` instead.
- mypy/typeshed/stdlib/importlib/abc.pyi:105:27 warning[deprecated] The class `Finder` is deprecated: Deprecated since Python 3.3; removed in Python 3.12. Use `MetaPathFinder` or `PathEntryFinder` instead.
- mypy/typeshed/stdlib/importlib/metadata/__init__.pyi:125:13 error[invalid-method-override] Invalid override of method `__getitem__`: Definition is incompatible with `tuple.__getitem__`
- mypy/typeshed/stdlib/multiprocessing/managers.pyi:96:13 error[invalid-method-override] Invalid override of method `keys`: Definition is incompatible with `Mapping.keys`
- mypy/typeshed/stdlib/multiprocessing/managers.pyi:97:13 error[invalid-method-override] Invalid override of method `items`: Definition is incompatible with `Mapping.items`
- mypy/typeshed/stdlib/multiprocessing/managers.pyi:98:13 error[invalid-method-override] Invalid override of method `values`: Definition is incompatible with `Mapping.values`
- mypy/typeshed/stdlib/turtle.pyi:169:13 error[invalid-method-override] Invalid override of method `__add__`: Definition is incompatible with `tuple.__add__`
- mypy/typeshed/stdlib/turtle.pyi:174:13 error[invalid-method-override] Invalid override of method `__rmul__`: Definition is incompatible with `tuple.__rmul__`
- mypy/typeshed/stdlib/typing.pyi:415:44 error[invalid-type-form] Invalid subscript of object of type `_SpecialForm` in type expression
- mypy/typeshed/stdlib/typing.pyi:415:65 error[invalid-type-form] Invalid subscript of object of type `_SpecialForm` in type expression
- mypy/typeshed/stdlib/typing.pyi:996:29 error[invalid-type-form] Invalid subscript of object of type `_SpecialForm` in type expression
- mypy/typeshed/stdlib/typing.pyi:996:38 error[invalid-type-form] `...` is not allowed in this context in a type expression
- mypy/typeshed/stdlib/typing.pyi:996:64 error[invalid-type-form] Invalid subscript of object of type `_SpecialForm` in type expression
- mypy/typeshed/stdlib/typing.pyi:996:73 error[invalid-type-form] `...` is not allowed in this context in a type expression
- mypy/typeshed/stdlib/typing.pyi:1003:45 error[invalid-type-form] Invalid subscript of object of type `_SpecialForm` in type expression
- mypy/typeshed/stdlib/typing.pyi:1003:54 error[invalid-type-form] `...` is not allowed in this context in a type expression
- mypy/typeshed/stdlib/typing.pyi:1016:25 error[invalid-type-form] Invalid subscript of object of type `_SpecialForm` in type expression
- mypy/typeshed/stdlib/typing.pyi:1041:25 error[invalid-type-form] Invalid subscript of object of type `_SpecialForm` in type expression
- mypy/typeshed/stdlib/typing.pyi:1043:28 error[invalid-type-form] Invalid subscript of object of type `_SpecialForm` in type expression
- mypy/typeshed/stdlib/typing.pyi:1044:27 error[invalid-type-form] Invalid subscript of object of type `_SpecialForm` in type expression

mypy_primer (https://github.com/hauntsaninja/mypy_primer)
- mypy_primer/utils.py:32:16 error[invalid-assignment] Object of type `str` is not assignable to `Path`
- mypy_primer/utils.py:33:16 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `Iterable[Unknown]`, found `Path`
- mypy_primer/utils.py:37:16 error[unsupported-operator] Operator `+` is not supported between objects of type `Literal["\""]` and `Path`

paasta (https://github.com/yelp/paasta)
- paasta_tools/cli/cmds/spark_run.py:1183:9 error[invalid-return-type] Return type does not match returned value: expected `int`, found `None`

packaging (https://github.com/pypa/packaging)
- src/packaging/version.py:38:38 error[invalid-type-form] `[...]` is not a valid parameter list for `Callable`: Did you mean `Callable[..., object]`?

pandera (https://github.com/pandera-dev/pandera)
- tests/io/test_pandas_io.py:2142:36 warning[possibly-missing-import] Member `Series` of module `pandera.typing` may be missing

pegen (https://github.com/we-like-parsers/pegen)
- src/pegen/grammar.py:399:13 error[invalid-yield] Yield type `None` does not match annotated yield type `tuple[str, str]`

pip (https://github.com/pypa/pip)
- src/pip/_vendor/urllib3/packages/six.py:614:44 error[too-many-positional-arguments] Too many positional arguments to function `__new__`: expected 3, got 4
- src/pip/_vendor/urllib3/packages/six.py:617:45 error[too-many-positional-arguments] Too many positional arguments to function `__new__`: expected 3, got 4

psycopg (https://github.com/psycopg/psycopg)
- psycopg/psycopg/_compat.py:47:13 error[invalid-yield] Yield type `None` does not match annotated yield type `str | Interpolation`
- psycopg_pool/psycopg_pool/pool_async.py:140:13 warning[unused-awaitable] Object of type `CoroutineType[Any, Any, None]` is not awaited
- psycopg_pool/psycopg_pool/pool_async.py:140:22 error[not-iterable] Object of type `CoroutineType[Any, Any, list[Task[None]]]` is not iterable

pwndbg (https://github.com/pwndbg/pwndbg)
- pwndbg/aglib/memory.py:307:16 error[invalid-return-type] Return type does not match returned value: expected `Value`, found `None`

pydantic (https://github.com/pydantic/pydantic)
- pydantic/_internal/_config.py:156:41 error[invalid-key] TypedDict `ConfigDict` can only be subscripted with a string literal key, got key of type `str`
- pydantic/_internal/_config.py:159:44 error[invalid-key] TypedDict `ConfigDict` can only be subscripted with a string literal key, got key of type `str`
- pydantic/functional_serializers.py:457:36 error[call-non-callable] Object of type `GenericAlias` is not callable
- pydantic/functional_validators.py:781:20 error[invalid-return-type] Return type does not match returned value: expected `AnyType@__class_getitem__`, found `<special-form 'typing.Annotated[Unknown, <metadata>]'>`
- pydantic/functional_validators.py:824:36 error[call-non-callable] Object of type `GenericAlias` is not callable
- pydantic/json_schema.py:2843:20 error[invalid-return-type] Return type does not match returned value: expected `AnyType@__class_getitem__`, found `<special-form 'typing.Annotated[Unknown, <metadata>]'>`
- pydantic/main.py:1069:58 error[call-non-callable] Object of type `object` is not callable
- pydantic/main.py:1098:21 error[invalid-assignment] Cannot assign to a subscript on an object of type `None`
- pydantic/networks.py:1185:20 error[invalid-return-type] Return type does not match returned value: expected `IPv4Address | IPv6Address`, found `Self@_validate`
- pydantic/networks.py:1224:20 error[invalid-return-type] Return type does not match returned value: expected `IPv4Interface | IPv6Interface`, found `Self@_validate`
- pydantic/networks.py:1265:20 error[invalid-return-type] Return type does not match returned value: expected `IPv4Network | IPv6Network`, found `Self@_validate`
- pydantic/types.py:1001:20 error[invalid-return-type] Return type does not match returned value: expected `AnyType@__class_getitem__`, found `<special-form 'typing.Annotated[Unknown, <metadata>]'>`
- pydantic/types.py:1517:20 error[invalid-return-type] Return type does not match returned value: expected `AnyType@__class_getitem__`, found `<special-form 'typing.Annotated[Unknown, <metadata>]'>`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `AfterValidatorFunctionSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `AnySchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `ArgumentsSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `ArgumentsV3Schema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `BeforeValidatorFunctionSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `BoolSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `BytesSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `CallSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `CallableSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `ChainSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `ComplexSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `CustomErrorSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `DataclassArgsSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `DataclassSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `DecimalSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `DefinitionReferenceSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `DefinitionsSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `DictSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `EnumSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `FloatSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `FrozenSetSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `GeneratorSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `IntSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `InvalidSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `IsInstanceSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `IsSubclassSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `JsonOrPythonSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `JsonSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `LaxOrStrictSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `ListSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `LiteralSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `MissingSentinelSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `ModelFieldsSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `ModelSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `MultiHostUrlSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `NoneSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `NullableSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `PlainValidatorFunctionSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `SetSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `StringSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `TaggedUnionSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `TimeSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `TimedeltaSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `TupleSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `TypedDictSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `UnionSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `UrlSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `UuidSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `WithDefaultSchema`
- pydantic/types.py:2217:24 error[invalid-key] Unknown key "now_op" for TypedDict `WrapValidatorFunctionSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `AfterValidatorFunctionSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `AnySchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `ArgumentsSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `ArgumentsV3Schema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `BeforeValidatorFunctionSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `BoolSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `BytesSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `CallSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `CallableSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `ChainSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `ComplexSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `CustomErrorSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `DataclassArgsSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `DataclassSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `DecimalSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `DefinitionReferenceSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `DefinitionsSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `DictSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `EnumSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `FloatSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `FrozenSetSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `GeneratorSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `IntSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `InvalidSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `IsInstanceSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `IsSubclassSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `JsonOrPythonSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `JsonSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `LaxOrStrictSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `ListSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `LiteralSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `MissingSentinelSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `ModelFieldsSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `ModelSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `MultiHostUrlSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `NoneSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `NullableSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `PlainValidatorFunctionSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `SetSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `StringSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `TaggedUnionSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `TimeSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `TimedeltaSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `TupleSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `TypedDictSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `UnionSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `UrlSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `UuidSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `WithDefaultSchema`
- pydantic/types.py:2236:24 error[invalid-key] Unknown key "now_op" for TypedDict `WrapValidatorFunctionSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `AfterValidatorFunctionSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `AnySchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `ArgumentsSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `ArgumentsV3Schema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `BeforeValidatorFunctionSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `BoolSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `BytesSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `CallSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `CallableSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `ChainSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `ComplexSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `CustomErrorSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `DataclassArgsSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `DataclassSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `DateSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `DecimalSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `DefinitionReferenceSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `DefinitionsSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `DictSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `EnumSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `FloatSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `FrozenSetSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `GeneratorSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `IntSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `InvalidSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `IsInstanceSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `IsSubclassSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `JsonOrPythonSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `JsonSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `LaxOrStrictSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `ListSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `LiteralSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `MissingSentinelSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `ModelFieldsSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `ModelSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `MultiHostUrlSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `NoneSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `NullableSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `PlainValidatorFunctionSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `SetSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `StringSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `TaggedUnionSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `TimedeltaSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `TupleSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `TypedDictSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `UnionSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `UrlSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `UuidSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `WithDefaultSchema`
- pydantic/types.py:2293:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `WrapValidatorFunctionSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `AfterValidatorFunctionSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `AnySchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `ArgumentsSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `ArgumentsV3Schema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `BeforeValidatorFunctionSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `BoolSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `BytesSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `CallSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `CallableSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `ChainSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `ComplexSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `CustomErrorSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `DataclassArgsSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `DataclassSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `DateSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `DecimalSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `DefinitionReferenceSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `DefinitionsSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `DictSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `EnumSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `FloatSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `FrozenSetSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `GeneratorSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `IntSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `InvalidSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `IsInstanceSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `IsSubclassSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `JsonOrPythonSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `JsonSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `LaxOrStrictSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `ListSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `LiteralSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `MissingSentinelSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `ModelFieldsSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `ModelSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `MultiHostUrlSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `NoneSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `NullableSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `PlainValidatorFunctionSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `SetSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `StringSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `TaggedUnionSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `TimedeltaSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `TupleSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `TypedDictSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `UnionSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `UrlSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `UuidSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `WithDefaultSchema`
- pydantic/types.py:2312:24 error[invalid-key] Unknown key "tz_constraint" for TypedDict `WrapValidatorFunctionSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `AfterValidatorFunctionSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `AnySchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `ArgumentsSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `ArgumentsV3Schema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `BeforeValidatorFunctionSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `BoolSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `BytesSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `CallSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `CallableSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `ChainSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `ComplexSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `CustomErrorSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `DataclassArgsSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `DataclassSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `DecimalSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `DefinitionReferenceSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `DefinitionsSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `DictSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `EnumSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `FloatSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `FrozenSetSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `GeneratorSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `IntSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `InvalidSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `IsInstanceSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `IsSubclassSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `JsonOrPythonSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `JsonSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `LaxOrStrictSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `ListSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `LiteralSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `MissingSentinelSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `ModelFieldsSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `ModelSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `MultiHostUrlSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `NoneSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `NullableSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `PlainValidatorFunctionSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `SetSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `StringSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `TaggedUnionSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `TimeSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `TimedeltaSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `TupleSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `TypedDictSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `UnionSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `UrlSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `UuidSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `WithDefaultSchema`
- pydantic/types.py:2331:24 error[invalid-key] Unknown key "now_op" for TypedDict `WrapValidatorFunctionSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `AfterValidatorFunctionSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `AnySchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `ArgumentsSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `ArgumentsV3Schema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `BeforeValidatorFunctionSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `BoolSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `BytesSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `CallSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `CallableSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `ChainSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `ComplexSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `CustomErrorSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `DataclassArgsSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `DataclassSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `DecimalSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `DefinitionReferenceSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `DefinitionsSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `DictSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `EnumSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `FloatSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `FrozenSetSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `GeneratorSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `IntSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `InvalidSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `IsInstanceSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `IsSubclassSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `JsonOrPythonSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `JsonSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `LaxOrStrictSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `ListSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `LiteralSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `MissingSentinelSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `ModelFieldsSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `ModelSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `MultiHostUrlSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `NoneSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `NullableSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `PlainValidatorFunctionSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `SetSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `StringSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `TaggedUnionSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `TimeSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `TimedeltaSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `TupleSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `TypedDictSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `UnionSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `UrlSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `UuidSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `WithDefaultSchema`
- pydantic/types.py:2350:24 error[invalid-key] Unknown key "now_op" for TypedDict `WrapValidatorFunctionSchema`
- pydantic/v1/typing.py:296:26 error[invalid-type-arguments] No type arguments provided for required type variables `_P`, `_R_co` of class `classmethod`

pylint (https://github.com/pycqa/pylint)
- pylint/checkers/utils.py:2055:28 error[invalid-yield] Send type `Never` does not match annotated send type `None`
- pylint/checkers/utils.py:2067:28 error[invalid-yield] Send type `Never` does not match annotated send type `None`
- pylint/checkers/utils.py:2070:28 error[invalid-yield] Send type `Never` does not match annotated send type `None`

pywin32 (https://github.com/mhammond/pywin32)
- Pythonwin/pywin/idle/PyParse.py:10:9 error[unresolved-attribute] Attribute `write` is not defined on `None` in union `TextIOWrapper[_WrappedBuffer] | None`

schema_salad (https://github.com/common-workflow-language/schema_salad)
- schema_salad/ref_resolver.py:1101:20 error[invalid-return-type] Return type does not match returned value: expected `str | CommentedSeq | CommentedMap`, found `None`

schemathesis (https://github.com/schemathesis/schemathesis)
- src/schemathesis/engine/core.py:144:28 error[invalid-yield] Send type `Never` does not match annotated send type `None`

scikit-build-core (https://github.com/scikit-build/scikit-build-core)
- src/scikit_build_core/_compat/typing.py:38:20 error[invalid-legacy-type-variable] A `TypeVar` definition must be a simple variable assignment
- src/scikit_build_core/_compat/typing.py:38:35 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `str`, found `object`
- src/scikit_build_core/_compat/typing.py:38:42 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `bool`, found `object`

scipy (https://github.com/scipy/scipy)
- scipy/_lib/_util.py:61:34 error[unknown-argument] Argument `annotation_format` does not match any known parameter of function `signature`

spack (https://github.com/spack/spack)
- lib/spack/spack/vendor/six.py:574:44 error[too-many-positional-arguments] Too many positional arguments to function `__new__`: expected 3, got 4
- lib/spack/spack/vendor/six.py:577:45 error[too-many-positional-arguments] Too many positional arguments to function `__new__`: expected 3, got 4

starlette (https://github.com/encode/starlette)
- tests/test_routing.py:697:9 error[invalid-yield] Yield type `None` does not match annotated yield type `Never`

sympy (https://github.com/sympy/sympy)
- sympy/external/gmpy.py:707:20 error[unresolved-attribute] Attribute `iroot` is not defined on `None` in union `ModuleType | None`
- sympy/external/gmpy.py:741:16 error[unresolved-attribute] Attribute `fmpz` is not defined on `None` in union `ModuleType | None`
- sympy/external/gmpy.py:746:16 error[unresolved-attribute] Attribute `fmpz` is not defined on `None` in union `ModuleType | None`
- sympy/external/gmpy.py:749:16 error[unresolved-attribute] Attribute `fmpz` is not defined on `None` in union `ModuleType | None`
- sympy/external/gmpy.py:752:23 error[unresolved-attribute] Attribute `fmpz` is not defined on `None` in union `ModuleType | None`
- sympy/external/gmpy.py:752:45 error[unresolved-attribute] Attribute `fmpz` is not defined on `None` in union `ModuleType | None`
- sympy/external/gmpy.py:755:23 error[unresolved-attribute] Attribute `fmpz` is not defined on `None` in union `ModuleType | None`
- sympy/external/gmpy.py:755:45 error[unresolved-attribute] Attribute `fmpz` is not defined on `None` in union `ModuleType | None`
- sympy/external/gmpy.py:764:16 error[unresolved-attribute] Attribute `fmpz` is not defined on `None` in union `ModuleType | None`
- sympy/external/gmpy.py:770:17 error[unresolved-attribute] Attribute `fmpz` is not defined on `None` in union `ModuleType | None`

trio (https://github.com/python-trio/trio)
- src/trio/_core/__init__.py:81:9 warning[possibly-missing-import] Member `current_iocp` of module `trio._core._run` may be missing
- src/trio/_core/__init__.py:82:9 warning[possibly-missing-import] Member `monitor_completion_key` of module `trio._core._run` may be missing
- src/trio/_core/__init__.py:83:9 warning[possibly-missing-import] Member `readinto_overlapped` of module `trio._core._run` may be missing
- src/trio/_core/__init__.py:84:9 warning[possibly-missing-import] Member `register_with_iocp` of module `trio._core._run` may be missing
- src/trio/_core/__init__.py:85:9 warning[possibly-missing-import] Member `wait_overlapped` of module `trio._core._run` may be missing
- src/trio/_core/__init__.py:86:9 warning[possibly-missing-import] Member `write_overlapped` of module `trio._core._run` may be missing
- src/trio/_core/__init__.py:92:23 warning[possibly-missing-import] Member `current_kqueue` of module `trio._core._run` may be missing
- src/trio/_core/__init__.py:92:39 warning[possibly-missing-import] Member `monitor_kevent` of module `trio._core._run` may be missing
- src/trio/_core/__init__.py:92:55 warning[possibly-missing-import] Member `wait_kevent` of module `trio._core._run` may be missing
- src/trio/_core/_generated_io_windows.py:112:68 error[invalid-argument-type] Argument to bound method `notify_closing` is incorrect: Expected `int | _HasFileNo`, found `Handle | int | _HasFileNo`
- src/trio/_core/_io_windows.py:322:16 error[call-non-callable] Object of type `object` is not callable
- src/trio/_core/_io_windows.py:367:24 error[call-non-callable] Object of type `object` is not callable
- src/trio/_core/_io_windows.py:711:25 error[invalid-argument-type] Argument to bound method `DeviceIoControl` is incorrect: Expected `_CDataBase`, found `CType`
- src/trio/_core/_io_windows.py:713:25 error[invalid-argument-type] Argument to bound method `DeviceIoControl` is incorrect: Expected `_CDataBase`, found `CType`
- src/trio/_core/_tests/test_windows.py:263:20 error[call-non-callable] Object of type `object` is not callable
- src/trio/_core/_tests/test_windows.py:294:20 error[call-non-callable] Object of type `object` is not callable
- src/trio/_windows_pipes.py:137:24 error[invalid-return-type] Return type does not match returned value: expected `bytes`, found `bytearray`
- src/trio/_socket.py:879:20 error[unresolved-attribute] Attribute `share` is not defined on `socket` in union `Unknown | socket`

urllib3 (https://github.com/urllib3/urllib3)
- src/urllib3/connection.py:298:37 error[unresolved-attribute] Attribute `encode` is not defined on `None` in union `str | None`
- src/urllib3/connection.py:311:48 error[invalid-argument-type] Argument to bound method `__init__` is incorrect: Expected `socket`, found `socket | Any | None`
- src/urllib3/connection.py:315:21 error[unresolved-attribute] Unresolved attribute `_raw_proxy_headers` on type `Self@_tunnel`

Full report with detailed diff (timing results)

AlexWaygood

This is a very cool approach! We could probably use a very similar technique to tackle astral-sh/ty#1553, right?

crates/ty_python_semantic/src/semantic_index/use_def.rs

sharkdp · 2026-03-25T18:49:01Z

We could probably use a very similar technique to tackle astral-sh/ty#1553, right?

I think so!

carljm · 2026-03-25T19:18:06Z

This is beautiful

* main: [ty] make `test-case` a dev-dependency (#24187) [ty] implement cycle normalization for more types to prevent too-many-cycle panics (#24061) [ty] Silence all diagnostics in unreachable code (#24179) [ty] Intern `InferableTypeVars` (#24161) Implement unnecessary-if (RUF050) (#24114) Recognize `Self` annotation and `self` assignment in SLF001 (#24144) Bump the npm version before publish (#24178) [ty] Disallow Self in metaclass and static methods (#23231) Use trusted publishing for NPM packages (#24171) [ty] Respect non-explicitly defined dataclass params (#24170) Add RUF072: warn when using operator on an f-string (#24162) [ty] Check return type of generator functions (#24026) Implement useless-finally (RUF-072) (#24165) [ty] Add test for a dataclass with a default field converter (#24169) [ty] Dataclass field converters (#23088) [flake8-bandit] Treat sys.executable as trusted input in S603 (#24106) [ty] Add support for `typing.Concatenate` (#23689) `ASYNC115`: autofix to use full qualified `anyio.lowlevel` import (#24166) [ty] Disallow read-only fields in TypedDict updates (#24128) Speed up diagnostic rendering (#24146)

sharkdp added the ty Multi-file analysis & type inference label Mar 25, 2026

sharkdp added 6 commits March 25, 2026 17:09

[ty] Silence diagnostics in unreachable code

d8fc481

Remove is_reachable

8a794ab

Remove constraint recording infrastructure

ea3db7b

Rename

3061e2e

Simple basic-block optimization

5ac5496

Simplify

2171224

sharkdp force-pushed the david/unreachable-silence-2 branch from a6046f1 to 2171224 Compare March 25, 2026 16:30

sharkdp marked this pull request as ready for review March 25, 2026 16:44

sharkdp requested review from AlexWaygood, carljm, dcreager and ibraheemdev as code owners March 25, 2026 16:44

astral-sh-bot bot assigned ibraheemdev Mar 25, 2026

sharkdp changed the title ~~[ty] Silence diagnostics in unreachable code~~ [ty] Silence all diagnostics in unreachable code Mar 25, 2026

AlexWaygood approved these changes Mar 25, 2026

View reviewed changes

crates/ty_python_semantic/src/semantic_index/use_def.rs Outdated Show resolved Hide resolved

give names to things

3361776

sharkdp enabled auto-merge (squash) March 25, 2026 18:51

sharkdp merged commit 677f6c9 into main Mar 25, 2026
48 checks passed

sharkdp deleted the david/unreachable-silence-2 branch March 25, 2026 18:57

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

[ty] Silence all diagnostics in unreachable code#24179

[ty] Silence all diagnostics in unreachable code#24179
sharkdp merged 7 commits intomainfrom
david/unreachable-silence-2

sharkdp commented Mar 25, 2026 •

edited

Loading

Uh oh!

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

edited

Loading

Uh oh!

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

edited

Loading

flake8

trio

sphinx

prefect

Uh oh!

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

edited

Loading

Uh oh!

AlexWaygood left a comment

Uh oh!

Uh oh!

sharkdp commented Mar 25, 2026

Uh oh!

Uh oh!

carljm commented Mar 25, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

4 participants

Conversation

sharkdp commented Mar 25, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Summary

Performance

Ecosystem

Conformance

Test Plan

Uh oh!

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

Uh oh!

Typing conformance results improved 🎉

Summary

Test file breakdown

False positives removed (1)

Uh oh!

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

Uh oh!

Memory usage report

Summary

Significant changes

flake8

trio

sphinx

prefect

Uh oh!

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

Uh oh!

ecosystem-analyzer results

Uh oh!

AlexWaygood left a comment

Choose a reason for hiding this comment

Uh oh!

Uh oh!

sharkdp commented Mar 25, 2026

Uh oh!

Uh oh!

carljm commented Mar 25, 2026

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

4 participants

sharkdp commented Mar 25, 2026 •

edited

Loading

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

edited

Loading

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

edited

Loading

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

edited

Loading

`ecosystem-analyzer` results