Show bound methods without their receiver parameter - #4561
Show bound methods without their receiver parameter#4561ting-hong-shieh wants to merge 2 commits into
Conversation
|
This pull request has been imported. If you are a Meta employee, you can view this in D116226003. (Because this pull request was imported automatically, there will not be any future comments.) |
|
@ting-hong-shieh this looks pretty good to me! Could you rebase and make sure conformance tests pass? I'm seeing failures in the imported diff. It's likely just some type errors that this commit improves |
This comment has been minimized.
This comment has been minimized.
A bound method's type was displayed as the underlying function type, receiver parameter and all, so it printed identically to the unbound method it came from. That makes assignment diagnostics unreadable: assigning `A().g` to `A.f` reported that `(self: A) -> None` is not assignable to `(self: A) -> None`. Bind the display to what callers see. `BoundMethodType::strip_receiver` drops the parameter that binding already consumed, mirroring what the solver's `bind_bound_method_type` does when it checks a call, and the standard display mode now renders that view. The signature-mismatch block in override errors is unaffected, since it renders declarations rather than types.
2c37b0a to
91f8d21
Compare
This comment has been minimized.
This comment has been minimized.
|
Cool! I see one failing test, which I think is just a stale expectation(?) And the conformance tests are still failing. I'm not actually sure that we run them in external CI, I'm not seeing a signal, but if you just run I'll also try to fix that gap in github CI |
|
Diff from mypy_primer, showing the effect of this PR on open source code: ============================================================
SUMMARY
============================================================
Total: +211 new errors, -213 fixed errors
Projects with changes (36):
tornado: +1 -1
cloud-init: +4 -4
egglog-python: +1 -1
mitmproxy: +1 -1
flake8: +1 -1
jax: +48 -48
prefect: +1 -1
spark: +3 -3
pyppeteer: +5 -5
alerta: +3 -3
scikit-learn: +8 -8
Expression: +6 -6
zipp: +1 -1
setuptools: +3 -3
comtypes: +2 -2
apprise: +16 -16
operator: +1 -1
manticore: +8 -8
stone: +4 -4
ibis: +5 -5
strawberry: +2 -2
zope.interface: +6 -8
static-frame: +1 -1
pandas: +3 -3
mypy: +28 -28
meson: +8 -8
werkzeug: +1 -1
paasta: +1 -1
xarray: +1 -1
spack: +26 -26
pydantic: +2 -2
check-jsonschema: +1 -1
scrapy: +1 -1
PyGithub: +4 -4
attrs: +1 -1
graphql-core: +3 -3
============================================================
FULL DIFF DETAILS
------------------------------------------------------------
tornado (https://github.com/tornadoweb/tornado)
- ERROR tornado/test/tcpclient_test.py:241:37-55: Argument `(self: Self@ConnectorTest, af: Unknown, addr: Unknown) -> tuple[ConnectorTest.FakeStream, Future[ConnectorTest.FakeStream]]` is not assignable to parameter `connect` with type `(AddressFamily, tuple[Unknown, ...]) -> tuple[IOStream, Future[IOStream]]` in function `tornado.tcpclient._Connector.__init__` [bad-argument-type]
+ ERROR tornado/test/tcpclient_test.py:241:37-55: Argument `(af: Unknown, addr: Unknown) -> tuple[ConnectorTest.FakeStream, Future[ConnectorTest.FakeStream]]` is not assignable to parameter `connect` with type `(AddressFamily, tuple[Unknown, ...]) -> tuple[IOStream, Future[IOStream]]` in function `tornado.tcpclient._Connector.__init__` [bad-argument-type]
cloud-init (https://github.com/canonical/cloud-init)
- ERROR cloudinit/net/network_manager.py:56:35-38: `type[str]` is not assignable to attribute `optionxform` with type `(self: ConfigParser, optionstr: str) -> str` [bad-assignment]
+ ERROR cloudinit/net/network_manager.py:56:35-38: `type[str]` is not assignable to attribute `optionxform` with type `(optionstr: str) -> str` [bad-assignment]
- ERROR cloudinit/sources/helpers/vmware/imc/config_file.py:61:30-33: `type[str]` is not assignable to attribute `optionxform` with type `(self: ConfigParser, optionstr: str) -> str` [bad-assignment]
+ ERROR cloudinit/sources/helpers/vmware/imc/config_file.py:61:30-33: `type[str]` is not assignable to attribute `optionxform` with type `(optionstr: str) -> str` [bad-assignment]
- ERROR tests/unittests/config/test_cc_growpart.py:522:40-74: `(self: Self@TestEncrypted, value: Unknown) -> Unknown` is not assignable to attribute `device_part_info` with type `(devpath: str) -> tuple[Unknown, ...]` [bad-assignment]
+ ERROR tests/unittests/config/test_cc_growpart.py:522:40-74: `(value: Unknown) -> Unknown` is not assignable to attribute `device_part_info` with type `(devpath: str) -> tuple[Unknown, ...]` [bad-assignment]
- ERROR tests/unittests/sources/test_scaleway.py:194:36-49: `str` is not assignable to attribute `get_tmp_exec_path` with type `(self: Distro) -> str` [bad-assignment]
+ ERROR tests/unittests/sources/test_scaleway.py:194:36-49: `str` is not assignable to attribute `get_tmp_exec_path` with type `() -> str` [bad-assignment]
egglog-python (https://github.com/egraphs-good/egglog-python)
- ERROR python/egglog/egraph.py:1618:36-58: `(self: Self@Ruleset) -> Unknown` is not assignable to attribute `__egg_decls_thunk__` with type `() -> Unknown` [bad-assignment]
+ ERROR python/egglog/egraph.py:1618:36-58: `() -> Unknown` is not assignable to attribute `__egg_decls_thunk__` with type `() -> Unknown` [bad-assignment]
mitmproxy (https://github.com/mitmproxy/mitmproxy)
- ERROR mitmproxy/tools/console/commands.py:109:38-50: Argument `(self: Self@CommandHelp, txt: Unknown) -> Unknown` is not assignable to parameter `receiver` with type `(text: Unknown) -> None` in function `mitmproxy.utils.signals._SyncSignal.connect` [bad-argument-type]
+ ERROR mitmproxy/tools/console/commands.py:109:38-50: Argument `(txt: Unknown) -> Unknown` is not assignable to parameter `receiver` with type `(text: Unknown) -> None` in function `mitmproxy.utils.signals._SyncSignal.connect` [bad-argument-type]
flake8 (https://github.com/pycqa/flake8)
- ERROR tests/integration/test_checker.py:122:40-52: `() -> Literal[True]` is not assignable to attribute `build_ast` with type `(self: FileProcessor) -> AST` [bad-assignment]
+ ERROR tests/integration/test_checker.py:122:40-52: `() -> Literal[True]` is not assignable to attribute `build_ast` with type `() -> AST` [bad-assignment]
jax (https://github.com/google/jax)
- ERROR jax/_src/ad_checkpoint.py:569:16-27: `(*args: Unknown, *, jaxpr: Unknown, prevent_cse: Unknown, differentiated: Unknown, policy: Unknown) -> Unknown` is not assignable to attribute `bind` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/ad_checkpoint.py:569:16-27: `(*args: Unknown, *, jaxpr: Unknown, prevent_cse: Unknown, differentiated: Unknown, policy: Unknown) -> Unknown` is not assignable to attribute `bind` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/ad_checkpoint.py:881:19-33: `(*_: Unknown, *, jaxpr: Unknown, **__: Unknown) -> bool` is not assignable to attribute `is_high` with type `(self: Primitive, *avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
+ ERROR jax/_src/ad_checkpoint.py:881:19-33: `(*_: Unknown, *, jaxpr: Unknown, **__: Unknown) -> bool` is not assignable to attribute `is_high` with type `(*avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
- ERROR jax/_src/ad_checkpoint.py:891:20-35: `(*hi_args: Unknown, *, jaxpr: Unknown, **kwds: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/ad_checkpoint.py:891:20-35: `(*hi_args: Unknown, *, jaxpr: Unknown, **kwds: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/compute_on.py:399:25-45: `(*hi_args: Unknown, *, jaxpr: Unknown, compute_type: Unknown, out_memory_spaces: Unknown, compiler_options_json: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/compute_on.py:399:25-45: `(*hi_args: Unknown, *, jaxpr: Unknown, compute_type: Unknown, out_memory_spaces: Unknown, compiler_options_json: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/core.py:2915:17-70: `(aval: Unknown, memory_space: Unknown, kind: Unknown, pin: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(self: Primitive, *avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
+ ERROR jax/_src/core.py:2915:17-70: `(aval: Unknown, memory_space: Unknown, kind: Unknown, pin: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(*avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
- ERROR jax/_src/core.py:2921:18-31: `(init_val: Unknown, *, memory_space: Unknown, kind: Unknown, pin: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/core.py:2921:18-31: `(init_val: Unknown, *, memory_space: Unknown, kind: Unknown, pin: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/core.py:2957:23-66: `(ty: Unknown, memory_space: Unknown, pin: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(self: Primitive, *avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
+ ERROR jax/_src/core.py:2957:23-66: `(ty: Unknown, memory_space: Unknown, pin: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(*avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
- ERROR jax/_src/core.py:2965:24-43: `(*, ty: Unknown, memory_space: Unknown, pin: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/core.py:2965:24-43: `(*, ty: Unknown, memory_space: Unknown, pin: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/core.py:3026:20-45: `(aval: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(self: Primitive, *avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
+ ERROR jax/_src/core.py:3026:20-45: `(aval: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(*avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
- ERROR jax/_src/core.py:3032:21-37: `(ref: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/core.py:3032:21-37: `(ref: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/core.py:3046:31-46: `(*_: Unknown) -> Literal[True]` is not assignable to attribute `is_high` with type `(self: Primitive, *avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
+ ERROR jax/_src/core.py:3046:31-46: `(*_: Unknown) -> Literal[True]` is not assignable to attribute `is_high` with type `(*avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
- ERROR jax/_src/core.py:3047:32-43: `(x: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/core.py:3047:32-43: `(x: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/custom_batching.py:355:26-42: `(*args: Unknown, *, call: Unknown, rule: Unknown, in_tree: Unknown, out_tree: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/custom_batching.py:355:26-42: `(*args: Unknown, *, call: Unknown, rule: Unknown, in_tree: Unknown, out_tree: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/custom_derivatives.py:1934:23-68: `(fwd_jaxpr: Unknown, *_: Unknown, **__: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(self: Primitive, *avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
+ ERROR jax/_src/custom_derivatives.py:1934:23-68: `(fwd_jaxpr: Unknown, *_: Unknown, **__: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(*avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
- ERROR jax/_src/custom_derivatives.py:1935:24-43: `(*hi_args: Unknown, *, fwd_jaxpr: Jaxpr, num_consts: Unknown, **params: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/custom_derivatives.py:1935:24-43: `(*hi_args: Unknown, *, fwd_jaxpr: Jaxpr, num_consts: Unknown, **params: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/hijax.py:387:31-56: `(_prim: Unknown, *args: Unknown) -> Literal[True]` is not assignable to attribute `is_high` with type `(self: Primitive, *avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
+ ERROR jax/_src/hijax.py:387:31-56: `(_prim: Unknown, *args: Unknown) -> Literal[True]` is not assignable to attribute `is_high` with type `(*avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
- ERROR jax/_src/hijax.py:412:32-59: `(*args_flat: Unknown, *, _prim: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/hijax.py:412:32-59: `(*args_flat: Unknown, *, _prim: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/hijax.py:489:42-72: `(_prim: Unknown, *args: Unknown, **_: Unknown) -> Literal[True]` is not assignable to attribute `is_high` with type `(self: Primitive, *avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
+ ERROR jax/_src/hijax.py:489:42-72: `(_prim: Unknown, *args: Unknown, **_: Unknown) -> Literal[True]` is not assignable to attribute `is_high` with type `(*avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
- ERROR jax/_src/interpreters/partial_eval.py:2428:25-68: `(*hi_args: Unknown, *, call_jaxpr: Jaxpr, **params: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/interpreters/partial_eval.py:2428:25-68: `(*hi_args: Unknown, *, call_jaxpr: Jaxpr, **params: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/lax/control_flow/conditionals.py:1045:18-31: `(*_: Unknown, *, branches: Unknown, **__: Unknown) -> bool` is not assignable to attribute `is_high` with type `(self: Primitive, *avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
+ ERROR jax/_src/lax/control_flow/conditionals.py:1045:18-31: `(*_: Unknown, *, branches: Unknown, **__: Unknown) -> bool` is not assignable to attribute `is_high` with type `(*avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
- ERROR jax/_src/lax/control_flow/conditionals.py:1060:19-33: `(pred: Unknown, *hi_args: Unknown, *, branches: Unknown, **kwds: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/lax/control_flow/conditionals.py:1060:19-33: `(pred: Unknown, *hi_args: Unknown, *, branches: Unknown, **kwds: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/lax/control_flow/loops.py:1572:18-31: `(*_: Unknown, *, jaxpr: Unknown, **__: Unknown) -> bool` is not assignable to attribute `is_high` with type `(self: Primitive, *avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
+ ERROR jax/_src/lax/control_flow/loops.py:1572:18-31: `(*_: Unknown, *, jaxpr: Unknown, **__: Unknown) -> bool` is not assignable to attribute `is_high` with type `(*avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
- ERROR jax/_src/lax/control_flow/loops.py:1602:19-33: `(*hi_args: Unknown, *, jaxpr: Unknown, ft_in: Unknown, ft_out: Unknown, **params: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/lax/control_flow/loops.py:1602:19-33: `(*hi_args: Unknown, *, jaxpr: Unknown, ft_in: Unknown, ft_out: Unknown, **params: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/lax/control_flow/loops.py:2456:19-33: `(*_: Unknown, *, cond_jaxpr: Unknown, body_jaxpr: Unknown, **__: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(self: Primitive, *avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
+ ERROR jax/_src/lax/control_flow/loops.py:2456:19-33: `(*_: Unknown, *, cond_jaxpr: Unknown, body_jaxpr: Unknown, **__: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(*avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
- ERROR jax/_src/lax/control_flow/loops.py:2481:20-35: `(*hi_args: Unknown, *, cond_jaxpr: Unknown, body_jaxpr: Unknown, cond_nconsts: Unknown, body_nconsts: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/lax/control_flow/loops.py:2481:20-35: `(*hi_args: Unknown, *, cond_jaxpr: Unknown, body_jaxpr: Unknown, cond_nconsts: Unknown, body_nconsts: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/lax/eval_jaxpr.py:126:19-57: `(*hi_args: Unknown, *, call_jaxpr: Jaxpr, **params: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/lax/eval_jaxpr.py:126:19-57: `(*hi_args: Unknown, *, call_jaxpr: Jaxpr, **params: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/pallas/mosaic/pipeline.py:2477:27-49: `(*avals: Unknown, *, body_jaxpr: Unknown, grid_mapping: Unknown, args_tree: Unknown, **_: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(self: Primitive, *avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
+ ERROR jax/_src/pallas/mosaic/pipeline.py:2477:27-49: `(*avals: Unknown, *, body_jaxpr: Unknown, grid_mapping: Unknown, args_tree: Unknown, **_: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(*avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
- ERROR jax/_src/pallas/mosaic/pipeline.py:2514:28-51: `(*args_flat: Unknown, *, body_jaxpr: Unknown, grid_mapping: Unknown, args_tree: Unknown, refs_tree: Unknown, **params: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/pallas/mosaic/pipeline.py:2514:28-51: `(*args_flat: Unknown, *, body_jaxpr: Unknown, grid_mapping: Unknown, args_tree: Unknown, refs_tree: Unknown, **params: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/pallas/mosaic/primitives.py:343:24-43: `(*args: Unknown, *, tree: Unknown, device_id_type: Unknown, priority: Unknown, add: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/pallas/mosaic/primitives.py:343:24-43: `(*args: Unknown, *, tree: Unknown, device_id_type: Unknown, priority: Unknown, add: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/pallas/mosaic/primitives.py:596:23-41: `(*args: Unknown, *, tree: Unknown, device_id_type: Unknown, insert_dummy_device: bool, is_wait_send: bool) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/pallas/mosaic/primitives.py:596:23-41: `(*args: Unknown, *, tree: Unknown, device_id_type: Unknown, insert_dummy_device: bool, is_wait_send: bool) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/pallas/mpmd.py:442:22-39: `(*args: Unknown, *, jaxprs: Unknown, **params: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(self: HiPrimitive, *avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
+ ERROR jax/_src/pallas/mpmd.py:442:22-39: `(*args: Unknown, *, jaxprs: Unknown, **params: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(*avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
- ERROR jax/_src/pallas/mpmd.py:505:23-41: `(*hi_args: Unknown, *, meshes: Unknown, jaxprs: Unknown, external_meshes: Unknown, out_avals: Unknown, input_output_aliases: Unknown, compiler_params: Unknown, interpret: Unknown, debug: Unknown, cost_estimate: Unknown, metadata: Unknown, name: Unknown, **params: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: HiPrimitive, *lotypes_wrapped_in_hitypes: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/pallas/mpmd.py:505:23-41: `(*hi_args: Unknown, *, meshes: Unknown, jaxprs: Unknown, external_meshes: Unknown, out_avals: Unknown, input_output_aliases: Unknown, compiler_params: Unknown, interpret: Unknown, debug: Unknown, cost_estimate: Unknown, metadata: Unknown, name: Unknown, **params: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*lotypes_wrapped_in_hitypes: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/pallas/pallas_call.py:146:25-45: `(*_: Unknown, *, jaxpr: Unknown, **params: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(self: HiPrimitive, *avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
+ ERROR jax/_src/pallas/pallas_call.py:146:25-45: `(*_: Unknown, *, jaxpr: Unknown, **params: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(*avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
- ERROR jax/_src/pallas/pallas_call.py:242:26-47: `(*hi_args: Unknown, *, jaxpr: Jaxpr, input_output_aliases: tuple[tuple[int, int], ...], grid_mapping: GridMapping, mesh: Mesh | None, debug: bool, interpret: Any, compiler_params: Any, cost_estimate: CostEstimate | None, out_avals: tuple[AbstractValue, ...], metadata: FrozenDict[str, str] | None, name: str | None) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: HiPrimitive, *lotypes_wrapped_in_hitypes: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/pallas/pallas_call.py:242:26-47: `(*hi_args: Unknown, *, jaxpr: Jaxpr, input_output_aliases: tuple[tuple[int, int], ...], grid_mapping: GridMapping, mesh: Mesh | None, debug: bool, interpret: Any, compiler_params: Any, cost_estimate: CostEstimate | None, out_avals: tuple[AbstractValue, ...], metadata: FrozenDict[str, str] | None, name: str | None) -> Unknown` is not assignable to attribute `to_lojax` with type `(*lotypes_wrapped_in_hitypes: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/pallas/primitives.py:669:24-43: `(*avals: Unknown, *, jaxpr: Unknown, **params: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(self: Primitive, *avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
+ ERROR jax/_src/pallas/primitives.py:669:24-43: `(*avals: Unknown, *, jaxpr: Unknown, **params: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(*avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
- ERROR jax/_src/pallas/primitives.py:676:25-45: `(*args: Unknown, *, jaxpr: Unknown, **params: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/pallas/primitives.py:676:25-45: `(*args: Unknown, *, jaxpr: Unknown, **params: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/pjit.py:882:17-25: `(*_: Unknown, *, jaxpr: Unknown, **__: Unknown) -> bool` is not assignable to attribute `is_high` with type `(self: Primitive, *avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
+ ERROR jax/_src/pjit.py:882:17-25: `(*_: Unknown, *, jaxpr: Unknown, **__: Unknown) -> bool` is not assignable to attribute `is_high` with type `(*avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
- ERROR jax/_src/pjit.py:895:18-27: `(*hi_args: Unknown, *, jaxpr: Unknown, **params: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/pjit.py:895:18-27: `(*hi_args: Unknown, *, jaxpr: Unknown, **params: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/shard_map.py:745:23-60: `(jaxpr: Unknown, *_: Unknown, **__: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(self: ShardMapPrimitive, *avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
+ ERROR jax/_src/shard_map.py:745:23-60: `(jaxpr: Unknown, *_: Unknown, **__: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(*avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
- ERROR jax/_src/shard_map.py:779:24-43: `(*hi_args: Unknown, *, jaxpr: Unknown, in_specs: Unknown, out_specs: Unknown, **params: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: ShardMapPrimitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/shard_map.py:779:24-43: `(*hi_args: Unknown, *, jaxpr: Unknown, in_specs: Unknown, out_specs: Unknown, **params: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/state/discharge.py:692:23-41: `(*_: Unknown, *, jaxpr: Unknown, **__: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(self: Primitive, *avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
+ ERROR jax/_src/state/discharge.py:692:23-41: `(*_: Unknown, *, jaxpr: Unknown, **__: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(*avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
- ERROR jax/_src/state/discharge.py:705:24-43: `(*args: Unknown, *, jaxpr: Unknown, is_initialized: Unknown, **params: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/state/discharge.py:705:24-43: `(*args: Unknown, *, jaxpr: Unknown, is_initialized: Unknown, **params: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/state/primitives.py:78:17-60: `(ref_aval: Unknown, tree: Unknown, *_: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(self: Primitive, *avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
+ ERROR jax/_src/state/primitives.py:78:17-60: `(ref_aval: Unknown, tree: Unknown, *_: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(*avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
- ERROR jax/_src/state/primitives.py:87:18-31: `(ref: Unknown, *idx: Unknown, *, tree: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/state/primitives.py:87:18-31: `(ref: Unknown, *idx: Unknown, *, tree: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/state/primitives.py:185:18-61: `(ref_aval: Unknown, tree: Unknown, *_: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(self: Primitive, *avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
+ ERROR jax/_src/state/primitives.py:185:18-61: `(ref_aval: Unknown, tree: Unknown, *_: Unknown) -> Unknown` is not assignable to attribute `is_high` with type `(*avals: Unknown, **params: Unknown) -> bool` [bad-assignment]
- ERROR jax/_src/state/primitives.py:199:19-33: `(ref: Unknown, val: Unknown, *idx: Unknown, *, tree: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/state/primitives.py:199:19-33: `(ref: Unknown, val: Unknown, *idx: Unknown, *, tree: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/_src/xla_metadata.py:477:32-59: `(*hi_args: Unknown, *, jaxpr: Unknown, xla_metadata: Unknown, ad_metadata: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/_src/xla_metadata.py:477:32-59: `(*hi_args: Unknown, *, jaxpr: Unknown, xla_metadata: Unknown, ad_metadata: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
- ERROR jax/experimental/fused.py:165:20-35: `(*hi_args: Unknown, *, jaxpr: Unknown, out_spaces: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(self: Primitive, *args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
+ ERROR jax/experimental/fused.py:165:20-35: `(*hi_args: Unknown, *, jaxpr: Unknown, out_spaces: Unknown) -> Unknown` is not assignable to attribute `to_lojax` with type `(*args: Unknown, **params: Unknown) -> Unknown` [bad-assignment]
prefect (https://github.com/PrefectHQ/prefect)
- ERROR src/prefect/utilities/pydantic.py:192:26-34: `(__pydantic_self__: M, **data: Unknown) -> None` is not assignable to attribute `__init__` with type `Overload[ (self: type, o: object, /) -> None (self: type, name: str, bases: tuple[type[Any], ...], dict: dict[str, Any], /, **kwds: Any) -> None ]` [bad-assignment]
+ ERROR src/prefect/utilities/pydantic.py:192:26-34: `(__pydantic_self__: M, **data: Unknown) -> None` is not assignable to attribute `__init__` with type `Overload[ (o: object, /) -> None (name: str, bases: tuple[type[Any], ...], dict: dict[str, Any], /, **kwds: Any) -> None ]` [bad-assignment]
spark (https://github.com/apache/spark)
- ERROR python/pyspark/pandas/plot/core.py:563:20-72: Implicit conversion of `(self: SampledPlotBase, data: Unknown) -> Unknown | (self: TopNPlotBase, data: Unknown) -> Unknown` to `bool` is not allowed [implicit-bool]
+ ERROR python/pyspark/pandas/plot/core.py:563:20-72: Implicit conversion of `(data: Unknown) -> Unknown` to `bool` is not allowed [implicit-bool]
- ERROR python/pyspark/pandas/tests/groupby/test_describe.py:63:36-70: No matching overload found for function `pandas.core.series.Series.rename` called with arguments: (columns=Overload[ (self: LiteralString, *args: LiteralString, **kwargs: LiteralString) -> LiteralString (self: LiteralString, *args: object, **kwargs: object) -> str ], level=Literal[1]) [no-matching-overload]
+ ERROR python/pyspark/pandas/tests/groupby/test_describe.py:63:36-70: No matching overload found for function `pandas.core.series.Series.rename` called with arguments: (columns=Overload[ (*args: LiteralString, **kwargs: LiteralString) -> LiteralString (*args: object, **kwargs: object) -> str ], level=Literal[1]) [no-matching-overload]
- ERROR python/pyspark/pandas/tests/groupby/test_describe.py:110:32-66: No matching overload found for function `pandas.core.series.Series.rename` called with arguments: (columns=Overload[ (self: LiteralString, *args: LiteralString, **kwargs: LiteralString) -> LiteralString (self: LiteralString, *args: object, **kwargs: object) -> str ], level=Literal[2]) [no-matching-overload]
+ ERROR python/pyspark/pandas/tests/groupby/test_describe.py:110:32-66: No matching overload found for function `pandas.core.series.Series.rename` called with arguments: (columns=Overload[ (*args: LiteralString, **kwargs: LiteralString) -> LiteralString (*args: object, **kwargs: object) -> str ], level=Literal[2]) [no-matching-overload]
pyppeteer (https://github.com/pyppeteer/pyppeteer)
- ERROR pyppeteer/network_manager.py:62:9-82: Result of call expression is of type `(((self: Self@NetworkManager, event: dict[Unknown, Unknown]) -> None) -> (self: Self@NetworkManager, event: dict[Unknown, Unknown]) -> None) | (self: Self@NetworkManager, event: dict[Unknown, Unknown]) -> None` and is not used; assign to `_` if this is intentional [unused-call-result]
- ERROR pyppeteer/network_manager.py:63:9-90: Result of call expression is of type `(((self: Self@NetworkManager, event: dict[Unknown, Unknown]) -> None) -> (self: Self@NetworkManager, event: dict[Unknown, Unknown]) -> None) | (self: Self@NetworkManager, event: dict[Unknown, Unknown]) -> None` and is not used; assign to `_` if this is intentional [unused-call-result]
- ERROR pyppeteer/network_manager.py:64:9-78: Result of call expression is of type `(((self: Self@NetworkManager, event: dict[Unknown, Unknown]) -> None) -> (self: Self@NetworkManager, event: dict[Unknown, Unknown]) -> None) | (self: Self@NetworkManager, event: dict[Unknown, Unknown]) -> None` and is not used; assign to `_` if this is intentional [unused-call-result]
- ERROR pyppeteer/network_manager.py:65:9-76: Result of call expression is of type `(((self: Self@NetworkManager, event: dict[Unknown, Unknown]) -> None) -> (self: Self@NetworkManager, event: dict[Unknown, Unknown]) -> None) | (self: Self@NetworkManager, event: dict[Unknown, Unknown]) -> None` and is not used; assign to `_` if this is intentional [unused-call-result]
- ERROR pyppeteer/network_manager.py:66:9-72: Result of call expression is of type `(((self: Self@NetworkManager, event: dict[Unknown, Unknown]) -> None) -> (self: Self@NetworkManager, event: dict[Unknown, Unknown]) -> None) | (self: Self@NetworkManager, event: dict[Unknown, Unknown]) -> None` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR pyppeteer/network_manager.py:62:9-82: Result of call expression is of type `(((event: dict[Unknown, Unknown]) -> None) -> (event: dict[Unknown, Unknown]) -> None) | (event: dict[Unknown, Unknown]) -> None` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR pyppeteer/network_manager.py:63:9-90: Result of call expression is of type `(((event: dict[Unknown, Unknown]) -> None) -> (event: dict[Unknown, Unknown]) -> None) | (event: dict[Unknown, Unknown]) -> None` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR pyppeteer/network_manager.py:64:9-78: Result of call expression is of type `(((event: dict[Unknown, Unknown]) -> None) -> (event: dict[Unknown, Unknown]) -> None) | (event: dict[Unknown, Unknown]) -> None` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR pyppeteer/network_manager.py:65:9-76: Result of call expression is of type `(((event: dict[Unknown, Unknown]) -> None) -> (event: dict[Unknown, Unknown]) -> None) | (event: dict[Unknown, Unknown]) -> None` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR pyppeteer/network_manager.py:66:9-72: Result of call expression is of type `(((event: dict[Unknown, Unknown]) -> None) -> (event: dict[Unknown, Unknown]) -> None) | (event: dict[Unknown, Unknown]) -> None` and is not used; assign to `_` if this is intentional [unused-call-result]
alerta (https://github.com/alerta/alerta)
- ERROR alerta/models/alarms/alerta.py:78:22-76: No matching overload found for function `sorted` called with arguments: (dict[Unknown, Unknown], key=Overload[ (self: dict[Unknown, Unknown], key: Unknown, default: None = None, /) -> Unknown | None (self: dict[Unknown, Unknown], key: Unknown, default: Unknown, /) -> Unknown [_T](self: dict[Unknown, Unknown], key: Unknown, default: _T, /) -> _T | Unknown ]) [no-matching-overload]
+ ERROR alerta/models/alarms/alerta.py:78:22-76: No matching overload found for function `sorted` called with arguments: (dict[Unknown, Unknown], key=Overload[ (key: Unknown, default: None = None, /) -> Unknown | None (key: Unknown, default: Unknown, /) -> Unknown [_T](key: Unknown, default: _T, /) -> _T | Unknown ]) [no-matching-overload]
- ERROR alerta/models/alarms/alerta.py:120:34-88: No matching overload found for function `sorted` called with arguments: (dict[Unknown, Unknown], key=Overload[ (self: dict[Unknown, Unknown], key: Unknown, default: None = None, /) -> Unknown | None (self: dict[Unknown, Unknown], key: Unknown, default: Unknown, /) -> Unknown [_T](self: dict[Unknown, Unknown], key: Unknown, default: _T, /) -> _T | Unknown ]) [no-matching-overload]
+ ERROR alerta/models/alarms/alerta.py:120:34-88: No matching overload found for function `sorted` called with arguments: (dict[Unknown, Unknown], key=Overload[ (key: Unknown, default: None = None, /) -> Unknown | None (key: Unknown, default: Unknown, /) -> Unknown [_T](key: Unknown, default: _T, /) -> _T | Unknown ]) [no-matching-overload]
- ERROR alerta/models/alarms/isa_18_2.py:88:34-88: No matching overload found for function `sorted` called with arguments: (dict[Unknown, Unknown], key=Overload[ (self: dict[Unknown, Unknown], key: Unknown, default: None = None, /) -> Unknown | None (self: dict[Unknown, Unknown], key: Unknown, default: Unknown, /) -> Unknown [_T](self: dict[Unknown, Unknown], key: Unknown, default: _T, /) -> _T | Unknown ]) [no-matching-overload]
+ ERROR alerta/models/alarms/isa_18_2.py:88:34-88: No matching overload found for function `sorted` called with arguments: (dict[Unknown, Unknown], key=Overload[ (key: Unknown, default: None = None, /) -> Unknown | None (key: Unknown, default: Unknown, /) -> Unknown [_T](key: Unknown, default: _T, /) -> _T | Unknown ]) [no-matching-overload]
scikit-learn (https://github.com/scikit-learn/scikit-learn)
- ERROR sklearn/feature_extraction/tests/test_text.py:618:21-46: `Literal['_invalid_analyzer_type_']` is not assignable to attribute `set_params` with type `(self: CountVectorizer, **params: Unknown) -> CountVectorizer` [bad-assignment]
+ ERROR sklearn/feature_extraction/tests/test_text.py:618:21-46: `Literal['_invalid_analyzer_type_']` is not assignable to attribute `set_params` with type `(**params: Unknown) -> CountVectorizer` [bad-assignment]
- ERROR sklearn/linear_model/_glm/_newton_solver.py:288:42-301:10: No matching overload found for function `scipy.optimize._minimize.minimize` called with arguments: ((self: LinearModelLoss, coef: Unknown, X: Unknown, y: Unknown, sample_weight: Unknown | None = None, l1_reg_strength: float | Unknown = 0.0, l2_reg_strength: float | Unknown = 0.0, n_threads: int | Unknown = 1, raw_prediction: Unknown | None = None) -> tuple[float, ndarray[tuple[Unknown], Unknown] | ndarray[tuple[Any, ...], Unknown] | Unknown] | Unknown, Unknown, method=Literal['L-BFGS-B'], jac=Literal[True], options=dict[str | Unknown, float | float64 | int | Unknown], args=tuple[Unknown, Unknown, Unknown, Literal[0], float | Unknown, int | Unknown]) [no-matching-overload]
+ ERROR sklearn/linear_model/_glm/_newton_solver.py:288:42-301:10: No matching overload found for function `scipy.optimize._minimize.minimize` called with arguments: ((coef: Unknown, X: Unknown, y: Unknown, sample_weight: Unknown | None = None, l1_reg_strength: float | Unknown = 0.0, l2_reg_strength: float | Unknown = 0.0, n_threads: int | Unknown = 1, raw_prediction: Unknown | None = None) -> tuple[float, ndarray[tuple[Unknown], Unknown] | ndarray[tuple[Any, ...], Unknown] | Unknown] | Unknown, Unknown, method=Literal['L-BFGS-B'], jac=Literal[True], options=dict[str | Unknown, float | float64 | int | Unknown], args=tuple[Unknown, Unknown, Unknown, Literal[0], float | Unknown, int | Unknown]) [no-matching-overload]
- ERROR sklearn/linear_model/_glm/glm.py:355:46-371:14: No matching overload found for function `scipy.optimize._minimize.minimize` called with arguments: ((self: LinearModelLoss, coef: Unknown, X: Unknown, y: Unknown, sample_weight: Unknown | None = None, l1_reg_strength: float | Unknown = 0.0, l2_reg_strength: float | Unknown = 0.0, n_threads: int | Unknown = 1, raw_prediction: Unknown | None = None) -> tuple[float, ndarray[tuple[Unknown], Unknown] | ndarray[tuple[Any, ...], Unknown] | Unknown], ndarray | ndarray[Unknown] | Unknown, method=Literal['L-BFGS-B'], jac=Literal[True], options=dict[str | Unknown, float | float64 | int | Unknown], args=tuple[Unknown, Unknown, Unknown | None, Literal[0], float | Unknown, Unknown]) [no-matching-overload]
+ ERROR sklearn/linear_model/_glm/glm.py:355:46-371:14: No matching overload found for function `scipy.optimize._minimize.minimize` called with arguments: ((coef: Unknown, X: Unknown, y: Unknown, sample_weight: Unknown | None = None, l1_reg_strength: float | Unknown = 0.0, l2_reg_strength: float | Unknown = 0.0, n_threads: int | Unknown = 1, raw_prediction: Unknown | None = None) -> tuple[float, ndarray[tuple[Unknown], Unknown] | ndarray[tuple[Any, ...], Unknown] | Unknown], ndarray | ndarray[Unknown] | Unknown, method=Literal['L-BFGS-B'], jac=Literal[True], options=dict[str | Unknown, float | float64 | int | Unknown], args=tuple[Unknown, Unknown, Unknown | None, Literal[0], float | Unknown, Unknown]) [no-matching-overload]
- ERROR sklearn/linear_model/_logistic.py:613:40-627:14: No matching overload found for function `scipy.optimize._minimize.minimize` called with arguments: ((self: LinearModelLoss, coef: Unknown, X: Unknown, y: Unknown, sample_weight: Unknown | None = None, l1_reg_strength: float | Unknown = 0.0, l2_reg_strength: float | Unknown = 0.0, n_threads: int | Unknown = 1, raw_prediction: Unknown | None = None) -> float | (self: LinearModelLoss, coef: Unknown, X: Unknown, y: Unknown, sample_weight: Unknown | None = None, l1_reg_strength: float | Unknown = 0.0, l2_reg_strength: float | Unknown = 0.0, n_threads: int | Unknown = 1, raw_prediction: Unknown | None = None) -> tuple[float, ndarray[tuple[Unknown], Unknown] | ndarray[tuple[Any, ...], Unknown] | Unknown], ndarray[tuple[int], dtype[Unknown]] | ndarray[tuple[Any, ...], dtype[Unknown]] | ndarray[Unknown, dtype[Unknown]] | Unknown, method=Literal['L-BFGS-B'], jac=Literal[True], args=tuple[Unknown, Unknown, Unknown | None, Literal[0], float64 | Unknown, int | Unknown], options=dict[str | Unknown, float | float64 | int | Unknown], callback=_LbfgsCallbackBridge | None) [no-matching-overload]
+ ERROR sklearn/linear_model/_logistic.py:613:40-627:14: No matching overload found for function `scipy.optimize._minimize.minimize` called with arguments: ((coef: Unknown, X: Unknown, y: Unknown, sample_weight: Unknown | None = None, l1_reg_strength: float | Unknown = 0.0, l2_reg_strength: float | Unknown = 0.0, n_threads: int | Unknown = 1, raw_prediction: Unknown | None = None) -> float | (coef: Unknown, X: Unknown, y: Unknown, sample_weight: Unknown | None = None, l1_reg_strength: float | Unknown = 0.0, l2_reg_strength: float | Unknown = 0.0, n_threads: int | Unknown = 1, raw_prediction: Unknown | None = None) -> tuple[float, ndarray[tuple[Unknown], Unknown] | ndarray[tuple[Any, ...], Unknown] | Unknown], ndarray[tuple[int], dtype[Unknown]] | ndarray[tuple[Any, ...], dtype[Unknown]] | ndarray[Unknown, dtype[Unknown]] | Unknown, method=Literal['L-BFGS-B'], jac=Literal[True], args=tuple[Unknown, Unknown, Unknown | None, Literal[0], float64 | Unknown, int | Unknown], options=dict[str | Unknown, float | float64 | int | Unknown], callback=_LbfgsCallbackBridge | None) [no-matching-overload]
- ERROR sklearn/neighbors/_nca.py:335:30-50: No matching overload found for function `scipy.optimize._minimize.minimize` called with arguments: (**dict[str, (self: Self@NeighborhoodComponentsAnalysis, transformation: Unknown) -> None | (self: Self@NeighborhoodComponentsAnalysis, transformation: Unknown, X: Unknown, same_class_mask: Unknown, sign: float | Unknown = 1.0) -> tuple[Unknown, ndarray[tuple[Any, ...], dtype[Unknown]] | Unknown] | bool | dict[str | Unknown, int | Unknown] | float | ndarray[tuple[int], dtype[Unknown]] | str | tuple[Unknown, Unknown, float] | Unknown]) [no-matching-overload]
+ ERROR sklearn/neighbors/_nca.py:335:30-50: No matching overload found for function `scipy.optimize._minimize.minimize` called with arguments: (**dict[str, (transformation: Unknown) -> None | (transformation: Unknown, X: Unknown, same_class_mask: Unknown, sign: float | Unknown = 1.0) -> tuple[Unknown, ndarray[tuple[Any, ...], dtype[Unknown]] | Unknown] | bool | dict[str | Unknown, int | Unknown] | float | ndarray[tuple[int], dtype[Unknown]] | str | tuple[Unknown, Unknown, float] | Unknown]) [no-matching-overload]
- ERROR sklearn/neural_network/_multilayer_perceptron.py:585:42-605:10: No matching overload found for function `scipy.optimize._minimize.minimize` called with arguments: ((self: Self@BaseMultilayerPerceptron, packed_coef_inter: Unknown, X: Unknown, y: Unknown, sample_weight: Unknown, activations: Unknown, deltas: Unknown, coef_grads: Unknown, intercept_grads: Unknown) -> tuple[Unknown, ndarray[tuple[Any, ...], dtype[Unknown]]], ndarray[tuple[Any, ...], dtype[Unknown]], method=Literal['L-BFGS-B'], jac=Literal[True], options=dict[str | Unknown, Unknown], args=tuple[Unknown, Unknown, Unknown, Unknown, Unknown, Unknown, Unknown]) [no-matching-overload]
+ ERROR sklearn/neural_network/_multilayer_perceptron.py:585:42-605:10: No matching overload found for function `scipy.optimize._minimize.minimize` called with arguments: ((packed_coef_inter: Unknown, X: Unknown, y: Unknown, sample_weight: Unknown, activations: Unknown, deltas: Unknown, coef_grads: Unknown, intercept_grads: Unknown) -> tuple[Unknown, ndarray[tuple[Any, ...], dtype[Unknown]]], ndarray[tuple[Any, ...], dtype[Unknown]], method=Literal['L-BFGS-B'], jac=Literal[True], options=dict[str | Unknown, Unknown], args=tuple[Unknown, Unknown, Unknown, Unknown, Unknown, Unknown, Unknown]) [no-matching-overload]
- ERROR sklearn/preprocessing/_label.py:937:21-59: No matching overload found for function `sorted` called with arguments: (defaultdict[Unknown, int], key=Overload[ (self: defaultdict[Unknown, int], key: Unknown, default: None = None, /) -> int | None (self: defaultdict[Unknown, int], key: Unknown, default: int, /) -> int [_T](self: defaultdict[Unknown, int], key: Unknown, default: _T, /) -> int | _T ]) [no-matching-overload]
+ ERROR sklearn/preprocessing/_label.py:937:21-59: No matching overload found for function `sorted` called with arguments: (defaultdict[Unknown, int], key=Overload[ (key: Unknown, default: None = None, /) -> int | None (key: Unknown, default: int, /) -> int [_T](key: Unknown, default: _T, /) -> int | _T ]) [no-matching-overload]
- ERROR sklearn/svm/tests/test_bounds.py:106:36-52: Argument `Overload[ (self: rv_continuous_frozen[uniform_gen], /, x: ToFloat) -> _FloatOrND (self: rv_continuous_frozen[uniform_gen], /, x: ToFloatND) -> ndarray[tuple[Any, ...], dtype[float64]] ]` is not assignable to parameter `cdf` with type `((float) -> float | floating) | SequenceND[_CanArray[floating_co] | float] | _CanArrayND[floating_co] | str` in function `scipy.stats._stats_py.kstest` [bad-argument-type]
+ ERROR sklearn/svm/tests/test_bounds.py:106:36-52: Argument `Overload[ (x: ToFloat) -> _FloatOrND (x: ToFloatND) -> ndarray[tuple[Any, ...], dtype[float64]] ]` is not assignable to parameter `cdf` with type `((float) -> float | floating) | SequenceND[_CanArray[floating_co] | float] | _CanArrayND[floating_co] | str` in function `scipy.stats._stats_py.kstest` [bad-argument-type]
Expression (https://github.com/cognitedata/Expression)
- ERROR expression/core/tagged_union.py:108:24-32: `(self: Any, **kwargs: Any) -> None` is not assignable to attribute `__init__` with type `Overload[ (self: type, o: object, /) -> None (self: type, name: str, bases: tuple[type[Any], ...], dict: dict[str, Any], /, **kwds: Any) -> None ]` [bad-assignment]
+ ERROR expression/core/tagged_union.py:108:24-32: `(self: Any, **kwargs: Any) -> None` is not assignable to attribute `__init__` with type `Overload[ (o: object, /) -> None (name: str, bases: tuple[type[Any], ...], dict: dict[str, Any], /, **kwds: Any) -> None ]` [bad-assignment]
- ERROR expression/core/tagged_union.py:117:28-36: `(self: Any) -> str` is not assignable to attribute `__repr__` with type `(self: type) -> str` [bad-assignment]
+ ERROR expression/core/tagged_union.py:117:28-36: `(self: Any) -> str` is not assignable to attribute `__repr__` with type `() -> str` [bad-assignment]
- ERROR expression/core/tagged_union.py:131:26-32: `(self: Any, other: Any) -> bool` is not assignable to attribute `__eq__` with type `(self: type, value: object, /) -> bool` [bad-assignment]
+ ERROR expression/core/tagged_union.py:131:26-32: `(self: Any, other: Any) -> bool` is not assignable to attribute `__eq__` with type `(value: object, /) -> bool` [bad-assignment]
- ERROR expression/core/tagged_union.py:163:28-36: `(self: Any) -> int` is not assignable to attribute `__hash__` with type `(self: type) -> int` [bad-assignment]
+ ERROR expression/core/tagged_union.py:163:28-36: `(self: Any) -> int` is not assignable to attribute `__hash__` with type `() -> int` [bad-assignment]
- ERROR expression/core/tagged_union.py:164:31-42: `(self: Any, name: str, value: Any) -> None` is not assignable to attribute `__setattr__` with type `(self: type, name: str, value: Any, /) -> None` [bad-assignment]
+ ERROR expression/core/tagged_union.py:164:31-42: `(self: Any, name: str, value: Any) -> None` is not assignable to attribute `__setattr__` with type `(name: str, value: Any, /) -> None` [bad-assignment]
- ERROR expression/core/tagged_union.py:165:31-42: `(self: Any, name: str) -> None` is not assignable to attribute `__delattr__` with type `(self: type, name: str, /) -> None` [bad-assignment]
+ ERROR expression/core/tagged_union.py:165:31-42: `(self: Any, name: str) -> None` is not assignable to attribute `__delattr__` with type `(name: str, /) -> None` [bad-assignment]
zipp (https://github.com/jaraco/zipp)
- ERROR zipp/__init__.py:423:38-69: No matching overload found for function `filter.__new__` called with arguments: (type[filter[_T]], Overload[ (self: Pattern[str], string: str, pos: int = 0, endpos: int = ...) -> Match[str] | None (self: Pattern[bytes], string: Buffer, pos: int = 0, endpos: int = ...) -> Match[bytes] | None (self: Pattern[str], string: str, pos: int = 0, endpos: int = ...) -> Match[str] | None ], list[object | str] | list[str]) [no-matching-overload]
+ ERROR zipp/__init__.py:423:38-69: No matching overload found for function `filter.__new__` called with arguments: (type[filter[_T]], Overload[ (string: str, pos: int = 0, endpos: int = ...) -> Match[str] | None (string: Buffer, pos: int = 0, endpos: int = ...) -> Match[bytes] | None (string: str, pos: int = 0, endpos: int = ...) -> Match[str] | None ], list[object | str] | list[str]) [no-matching-overload]
setuptools (https://github.com/pypa/setuptools)
- ERROR setuptools/_vendor/zipp/__init__.py:429:38-69: No matching overload found for function `filter.__new__` called with arguments: (type[filter[_T]], Overload[ (self: Pattern[str], string: str, pos: int = 0, endpos: int = ...) -> Match[str] | None (self: Pattern[bytes], string: Buffer, pos: int = 0, endpos: int = ...) -> Match[bytes] | None (self: Pattern[str], string: str, pos: int = 0, endpos: int = ...) -> Match[str] | None ], list[object | str] | list[str]) [no-matching-overload]
+ ERROR setuptools/_vendor/zipp/__init__.py:429:38-69: No matching overload found for function `filter.__new__` called with arguments: (type[filter[_T]], Overload[ (string: str, pos: int = 0, endpos: int = ...) -> Match[str] | None (string: Buffer, pos: int = 0, endpos: int = ...) -> Match[bytes] | None (string: str, pos: int = 0, endpos: int = ...) -> Match[str] | None ], list[object | str] | list[str]) [no-matching-overload]
- ERROR setuptools/config/expand.py:372:26-29: `type[str]` is not assignable to attribute `optionxform` with type `(self: ConfigParser, optionstr: str) -> str` [bad-assignment]
+ ERROR setuptools/config/expand.py:372:26-29: `type[str]` is not assignable to attribute `optionxform` with type `(optionstr: str) -> str` [bad-assignment]
- ERROR setuptools/dist.py:584:30-33: `type[str]` is not assignable to attribute `optionxform` with type `(self: ConfigParser, optionstr: str) -> str` [bad-assignment]
+ ERROR setuptools/dist.py:584:30-33: `type[str]` is not assignable to attribute `optionxform` with type `(optionstr: str) -> str` [bad-assignment]
comtypes (https://github.com/enthought/comtypes)
- ERROR comtypes/__init__.py:215:1-27: Result of call expression is of type `(func: Unknown = ..., _debug: (self: Logger, msg: object, *args: object, *, exc_info: _ExcInfoType = None, stack_info: bool = ..., stacklevel: int = 1, extra: Mapping[str, object] | None = None) -> None | Unknown = ...) -> None` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR comtypes/__init__.py:215:1-27: Result of call expression is of type `(func: Unknown = ..., _debug: (msg: object, *args: object, *, exc_info: _ExcInfoType = None, stack_info: bool = ..., stacklevel: int = 1, extra: Mapping[str, object] | None = None) -> None | Unknown = ...) -> None` and is not used; assign to `_` if this is intentional [unused-call-result]
- ERROR comtypes/logutil.py:49:26-29: `type[str]` is not assignable to attribute `optionxform` with type `(self: ConfigParser, optionstr: str) -> str` [bad-assignment]
+ ERROR comtypes/logutil.py:49:26-29: `type[str]` is not assignable to attribute `optionxform` with type `(optionstr: str) -> str` [bad-assignment]
apprise (https://github.com/caronc/apprise)
- ERROR apprise/plugins/fcm/__init__.py:324:22-62: `FCMColorManager` is not assignable to attribute `color` with type `(self: Self@NotifyFCM, notify_type: NotifyType, color_type: type[Any] | None = None) -> int | str | tuple[int, int, int]` [bad-assignment]
+ ERROR apprise/plugins/fcm/__init__.py:324:22-62: `FCMColorManager` is not assignable to attribute `color` with type `(notify_type: NotifyType, color_type: type[Any] | None = None) -> int | str | tuple[int, int, int]` [bad-assignment]
- ERROR apprise/plugins/fcm/__init__.py:414:20-30: Implicit conversion of `(self: Self@NotifyFCM, notify_type: NotifyType, color_type: type[Any] | None = None) -> int | str | tuple[int, int, int]` to `bool` is not allowed [implicit-bool]
+ ERROR apprise/plugins/fcm/__init__.py:414:20-30: Implicit conversion of `(notify_type: NotifyType, color_type: type[Any] | None = None) -> int | str | tuple[int, int, int]` to `bool` is not allowed [implicit-bool]
- ERROR apprise/plugins/fcm/__init__.py:448:20-30: Implicit conversion of `(self: Self@NotifyFCM, notify_type: NotifyType, color_type: type[Any] | None = None) -> int | str | tuple[int, int, int]` to `bool` is not allowed [implicit-bool]
+ ERROR apprise/plugins/fcm/__init__.py:448:20-30: Implicit conversion of `(notify_type: NotifyType, color_type: type[Any] | None = None) -> int | str | tuple[int, int, int]` to `bool` is not allowed [implicit-bool]
- ERROR apprise/plugins/notifico.py:276:22-27: `bool | Unknown` is not assignable to attribute `color` with type `(self: Self@NotifyNotifico, notify_type: NotifyType, color_type: type[Any] | None = None) -> int | str | tuple[int, int, int]` [bad-assignment]
+ ERROR apprise/plugins/notifico.py:276:22-27: `bool | Unknown` is not assignable to attribute `color` with type `(notify_type: NotifyType, color_type: type[Any] | None = None) -> int | str | tuple[int, int, int]` [bad-assignment]
- ERROR apprise/plugins/notifico.py:303:31-41: Implicit conversion of `(self: Self@NotifyNotifico, notify_type: NotifyType, color_type: type[Any] | None = None) -> int | str | tuple[int, int, int]` to `bool` is not allowed [implicit-bool]
+ ERROR apprise/plugins/notifico.py:303:31-41: Implicit conversion of `(notify_type: NotifyType, color_type: type[Any] | None = None) -> int | str | tuple[int, int, int]` to `bool` is not allowed [implicit-bool]
- ERROR apprise/plugins/notifico.py:384:12-22: Implicit conversion of `(self: Self@NotifyNotifico, notify_type: NotifyType, color_type: type[Any] | None = None) -> int | str | tuple[int, int, int]` to `bool` is not allowed [implicit-bool]
+ ERROR apprise/plugins/notifico.py:384:12-22: Implicit conversion of `(notify_type: NotifyType, color_type: type[Any] | None = None) -> int | str | tuple[int, int, int]` to `bool` is not allowed [implicit-bool]
- ERROR apprise/plugins/notifico.py:400:30-40: Implicit conversion of `(self: Self@NotifyNotifico, notify_type: NotifyType, color_type: type[Any] | None = None) -> int | str | tuple[int, int, int]` to `bool` is not allowed [implicit-bool]
+ ERROR apprise/plugins/notifico.py:400:30-40: Implicit conversion of `(notify_type: NotifyType, color_type: type[Any] | None = None) -> int | str | tuple[int, int, int]` to `bool` is not allowed [implicit-bool]
- ERROR apprise/plugins/notifico.py:402:44-54: Implicit conversion of `(self: Self@NotifyNotifico, notify_type: NotifyType, color_type: type[Any] | None = None) -> int | str | tuple[int, int, int]` to `bool` is not allowed [implicit-bool]
+ ERROR apprise/plugins/notifico.py:402:44-54: Implicit conversion of `(notify_type: NotifyType, color_type: type[Any] | None = None) -> int | str | tuple[int, int, int]` to `bool` is not allowed [implicit-bool]
- ERROR apprise/plugins/notifico.py:404:44-54: Implicit conversion of `(self: Self@NotifyNotifico, notify_type: NotifyType, color_type: type[Any] | None = None) -> int | str | tuple[int, int, int]` to `bool` is not allowed [implicit-bool]
+ ERROR apprise/plugins/notifico.py:404:44-54: Implicit conversion of `(notify_type: NotifyType, color_type: type[Any] | None = None) -> int | str | tuple[int, int, int]` to `bool` is not allowed [implicit-bool]
- ERROR apprise/plugins/notifico.py:406:45-55: Implicit conversion of `(self: Self@NotifyNotifico, notify_type: NotifyType, color_type: type[Any] | None = None) -> int | str | tuple[int, int, int]` to `bool` is not allowed [implicit-bool]
+ ERROR apprise/plugins/notifico.py:406:45-55: Implicit conversion of `(notify_type: NotifyType, color_type: type[Any] | None = None) -> int | str | tuple[int, int, int]` to `bool` is not allowed [implicit-bool]
- ERROR apprise/plugins/notifico.py:410:45-55: Implicit conversion of `(self: Self@NotifyNotifico, notify_type: NotifyType, color_type: type[Any] | None = None) -> int | str | tuple[int, int, int]` to `bool` is not allowed [implicit-bool]
+ ERROR apprise/plugins/notifico.py:410:45-55: Implicit conversion of `(notify_type: NotifyType, color_type: type[Any] | None = None) -> int | str | tuple[int, int, int]` to `bool` is not allowed [implicit-bool]
- ERROR apprise/plugins/trigv.py:246:26-35: `Unknown | None` is not assignable to attribute `image_url` with type `(self: Self@NotifyTrigv, notify_type: NotifyType, image_size: NotifyImageSize | None = None, logo: bool = False, extension: str | None = None) -> str | None` [bad-assignment]
+ ERROR apprise/plugins/trigv.py:246:26-35: `Unknown | None` is not assignable to attribute `image_url` with type `(notify_type: NotifyType, image_size: NotifyImageSize | None = None, logo: bool = False, extension: str | None = None) -> str | None` [bad-assignment]
- ERROR apprise/plugins/trigv.py:316:16-30: Implicit conversion of `(self: Self@NotifyTrigv, notify_type: NotifyType, image_size: NotifyImageSize | None = None, logo: bool = False, extension: str | None = None) -> str | None` to `bool` is not allowed [implicit-bool]
+ ERROR apprise/plugins/trigv.py:316:16-30: Implicit conversion of `(notify_type: NotifyType, image_size: NotifyImageSize | None = None, logo: bool = False, extension: str | None = None) -> str | None` to `bool` is not allowed [implicit-bool]
- ERROR apprise/plugins/trigv.py:430:12-26: Implicit conversion of `(self: Self@NotifyTrigv, notify_type: NotifyType, image_size: NotifyImageSize | None = None, logo: bool = False, extension: str | None = None) -> str | None` to `bool` is not allowed [implicit-bool]
+ ERROR apprise/plugins/trigv.py:430:12-26: Implicit conversion of `(notify_type: NotifyType, image_size: NotifyImageSize | None = None, logo: bool = False, extension: str | None = None) -> str | None` to `bool` is not allowed [implicit-bool]
- ERROR tests/test_plugin_matrix.py:2364:18-32: `(path: Unknown, payload: Unknown | None = None, **kw: Unknown) -> Unknown` is not assignable to attribute `_fetch` with type `(self: NotifyMatrix, path: Unknown, payload: Unknown | None = None, params: Unknown | None = None, attachment: Unknown | None = None, method: str | Unknown = 'POST', url_override: Unknown | None = None, ok_status: Unknown | None = None) -> Unknown` [bad-assignment]
+ ERROR tests/test_plugin_matrix.py:2364:18-32: `(path: Unknown, payload: Unknown | None = None, **kw: Unknown) -> Unknown` is not assignable to attribute `_fetch` with type `(path: Unknown, payload: Unknown | None = None, params: Unknown | None = None, attachment: Unknown | None = None, method: str | Unknown = 'POST', url_override: Unknown | None = None, ok_status: Unknown | None = None) -> Unknown` [bad-assignment]
- ERROR tests/test_plugin_matrix.py:5041:18-32: `(path: Unknown, payload: Unknown | None = None, **kw: Unknown) -> Unknown` is not assignable to attribute `_fetch` with type `(self: NotifyMatrix, path: Unknown, payload: Unknown | None = None, params: Unknown | None = None, attachment: Unknown | None = None, method: str | Unknown = 'POST', url_override: Unknown | None = None, ok_status: Unknown | None = None) -> Unknown` [bad-assignment]
+ ERROR tests/test_plugin_matrix.py:5041:18-32: `(path: Unknown, payload: Unknown | None = None, **kw: Unknown) -> Unknown` is not assignable to attribute `_fetch` with type `(path: Unknown, payload: Unknown | None = None, params: Unknown | None = None, attachment: Unknown | None = None, method: str | Unknown = 'POST', url_override: Unknown | None = None, ok_status: Unknown | None = None) -> Unknown` [bad-assignment]
operator (https://github.com/canonical/operator)
- ERROR ops/framework.py:672:34-49: `(self: Self@Framework, name: str | None = None) -> None` is not assignable to attribute `breakpointhook` with type `(*args: Any, **kwargs: Any) -> Any` [bad-assignment]
+ ERROR ops/framework.py:672:34-49: `(name: str | None = None) -> None` is not assignable to attribute `breakpointhook` with type `(*args: Any, **kwargs: Any) -> Any` [bad-assignment]
manticore (https://github.com/trailofbits/manticore)
- ERROR manticore/binary/binary.py:55:21-81: `str` is not assignable to attribute `arch` with type `(self: Self@CGCElf) -> None` [bad-assignment]
+ ERROR manticore/binary/binary.py:55:21-81: `str` is not assignable to attribute `arch` with type `() -> None` [bad-assignment]
- ERROR manticore/binary/binary.py:95:21-81: `str` is not assignable to attribute `arch` with type `(self: Self@Elf) -> None` [bad-assignment]
+ ERROR manticore/binary/binary.py:95:21-81: `str` is not assignable to attribute `arch` with type `() -> None` [bad-assignment]
- ERROR manticore/core/manticore.py:1146:12-26: Implicit conversion of `(self: Self@ManticoreBase, name: Unknown, callback: Unknown) -> None` to `bool` is not allowed [implicit-bool]
+ ERROR manticore/core/manticore.py:1146:12-26: Implicit conversion of `(name: Unknown, callback: Unknown) -> None` to `bool` is not allowed [implicit-bool]
- ERROR manticore/core/manticore.py:1148:30-34: `None` is not assignable to attribute `subscribe` with type `(self: Self@ManticoreBase, name: Unknown, callback: Unknown) -> None` [bad-assignment]
+ ERROR manticore/core/manticore.py:1148:30-34: `None` is not assignable to attribute `subscribe` with type `(name: Unknown, callback: Unknown) -> None` [bad-assignment]
- ERROR tests/native/test_unicorn_concrete.py:153:61-75: Argument `(self: Self@UnicornResumeTest, state: State) -> None` is not assignable to parameter `callback` with type `(StateBase) -> None` in function `manticore.native.manticore.Manticore.add_hook` [bad-argument-type]
+ ERROR tests/native/test_unicorn_concrete.py:153:61-75: Argument `(state: State) -> None` is not assignable to parameter `callback` with type `(StateBase) -> None` in function `manticore.native.manticore.Manticore.add_hook` [bad-argument-type]
- ERROR tests/native/test_unicorn_concrete.py:154:65-83: Argument `(self: Self@UnicornResumeTest, state: State) -> None` is not assignable to parameter `callback` with type `(StateBase) -> None` in function `manticore.native.manticore.Manticore.add_hook` [bad-argument-type]
+ ERROR tests/native/test_unicorn_concrete.py:154:65-83: Argument `(state: State) -> None` is not assignable to parameter `callback` with type `(StateBase) -> None` in function `manticore.native.manticore.Manticore.add_hook` [bad-argument-type]
- ERROR tests/native/test_unicorn_concrete.py:155:61-79: Argument `(self: Self@UnicornResumeTest, state: State) -> None` is not assignable to parameter `callback` with type `(StateBase) -> None` in function `manticore.native.manticore.Manticore.add_hook` [bad-argument-type]
+ ERROR tests/native/test_unicorn_concrete.py:155:61-79: Argument `(state: State) -> None` is not assignable to parameter `callback` with type `(StateBase) -> None` in function `manticore.native.manticore.Manticore.add_hook` [bad-argument-type]
- ERROR tests/native/test_unicorn_concrete.py:156:61-79: Argument `(self: Self@UnicornResumeTest, state: State) -> None` is not assignable to parameter `callback` with type `(StateBase) -> None` in function `manticore.native.manticore.Manticore.add_hook` [bad-argument-type]
+ ERROR tests/native/test_unicorn_concrete.py:156:61-79: Argument `(state: State) -> None` is not assignable to parameter `callback` with type `(StateBase) -> None` in function `manticore.native.manticore.Manticore.add_hook` [bad-argument-type]
stone (https://github.com/dropbox/stone)
- ERROR stone/backends/swift_client.py:242:40-48: Cannot set item in `dict[str, (self: Self@SwiftBackend, route: Unknown) -> str]` [unsupported-operation]
+ ERROR stone/backends/swift_client.py:242:40-48: Cannot set item in `dict[str, (route: Unknown) -> str]` [unsupported-operation]
- ERROR stone/backends/swift_client.py:243:52-78: Cannot set item in `dict[str, (self: Self@SwiftBackend, route: Unknown) -> str]` [unsupported-operation]
+ ERROR stone/backends/swift_client.py:243:52-78: Cannot set item in `dict[str, (route: Unknown) -> str]` [unsupported-operation]
- ERROR stone/backends/swift_client.py:244:50-68: Cannot set item in `dict[str, (self: Self@SwiftBackend, route: Unknown) -> str]` [unsupported-operation]
+ ERROR stone/backends/swift_client.py:244:50-68: Cannot set item in `dict[str, (route: Unknown) -> str]` [unsupported-operation]
- ERROR stone/backends/swift_client.py:245:56-80: Cannot set item in `dict[str, (self: Self@SwiftBackend, route: Unknown) -> str]` [unsupported-operation]
+ ERROR stone/backends/swift_client.py:245:56-80: Cannot set item in `dict[str, (route: Unknown) -> str]` [unsupported-operation]
ibis (https://github.com/ibis-project/ibis)
- ERROR ibis/backends/sqlite/udf.py:405:23-59: No matching overload found for function `max` called with arguments: (defaultdict[Unknown, int], key=Overload[ (self: defaultdict[Unknown, int], key: Unknown, default: None = None, /) -> int | None (self: defaultdict[Unknown, int], key: Unknown, default: int, /) -> int [_T](self: defaultdict[Unknown, int], key: Unknown, default: _T, /) -> int | _T ]) [no-matching-overload]
+ ERROR ibis/backends/sqlite/udf.py:405:23-59: No matching overload found for function `max` called with arguments: (defaultdict[Unknown, int], key=Overload[ (key: Unknown, default: None = None, /) -> int | None (key: Unknown, default: int, /) -> int [_T](key: Unknown, default: _T, /) -> int | _T ]) [no-matching-overload]
- ERROR ibis/common/tests/test_graph.py:297:22-27: `dict[str, Unknown]` is not assignable to attribute `items` with type `(self: Self@MyMapping) -> ItemsView[Unknown, Unknown]` [bad-assignment]
+ ERROR ibis/common/tests/test_graph.py:297:22-27: `dict[str, Unknown]` is not assignable to attribute `items` with type `() -> ItemsView[Unknown, Unknown]` [bad-assignment]
- ERROR ibis/common/tests/test_graph.py:303:20-32: No matching overload found for function `iter` called with arguments: ((self: Self@MyMapping) -> ItemsView[Unknown, Unknown]) [no-matching-overload]
+ ERROR ibis/common/tests/test_graph.py:303:20-32: No matching overload found for function `iter` called with arguments: (() -> ItemsView[Unknown, Unknown]) [no-matching-overload]
- ERROR ibis/common/tests/test_graph.py:306:20-30: Argument `(self: Self@MyMapping) -> ItemsView[Unknown, Unknown]` is not assignable to parameter `obj` with type `Sized` in function `len` [bad-argument-type]
+ ERROR ibis/common/tests/test_graph.py:306:20-30: Argument `() -> ItemsView[Unknown, Unknown]` is not assignable to parameter `obj` with type `Sized` in function `len` [bad-argument-type]
- ERROR ibis/common/tests/test_patterns.py:344:20-30: Returned type `(self: Self@test_generic_coerced_to.Literal) -> T` is not assignable to declared return type `T` [bad-return]
+ ERROR ibis/common/tests/test_patterns.py:344:20-30: Returned type `() -> T` is not assignable to declared return type `T` [bad-return]
strawberry (https://github.com/strawberry-graphql/strawberry)
- ERROR strawberry/relay/types.py:239:27-33: Argument `(self: LazyType[Unknown, Unknown]) -> type[Any] | type[Any]` is not assignable to parameter `cls` with type `type` in function `issubclass` [bad-argument-type]
+ ERROR strawberry/relay/types.py:239:27-33: Argument `() -> type[Any] | type[Any]` is not assignable to parameter `cls` with type `type` in function `issubclass` [bad-argument-type]
- ERROR strawberry/relay/types.py:244:16-22: Returned type `(self: LazyType[Unknown, Unknown]) -> type[Any] | type[Any]` is not assignable to declared return type `type[Node]` [bad-return]
+ ERROR strawberry/relay/types.py:244:16-22: Returned type `() -> type[Any] | type[Any]` is not assignable to declared return type `type[Node]` [bad-return]
zope.interface (https://github.com/zopefoundation/zope.interface)
- ERROR src/zope/interface/common/tests/test_collections.py:135:22-38: Cannot set item in `dict[type[Generator] | type[IItemsView] | type[IKeysView] | type[IValuesView] | type[Iterator] | type[MappingProxyType] | type[UserString] | type[memoryview] | type[range] | str, (() -> Generator[int]) | (() -> Iterator[LiteralString]) | (() -> Iterator[int]) | (() -> Iterator[tuple[Unknown, Unknown]]) | (() -> Iterator[Any]) | (() -> Iterator[Unknown]) | (() -> MappingProxyType[Unknown, Unknown]) | (() -> UserString) | (() -> memoryview) | (() -> range) | (self: dict[Unknown, Unknown]) -> dict_items[Unknown, Unknown] | (self: dict[Unknown, Unknown]) -> dict_keys[Unknown, Unknown] | (self: dict[Unknown, Unknown]) -> dict_values[Unknown, Unknown] | type[SkipTest]]` [unsupported-operation]
+ ERROR src/zope/interface/common/tests/test_collections.py:135:22-38: Cannot set item in `dict[type[Generator] | type[IItemsView] | type[IKeysView] | type[IValuesView] | type[Iterator] | type[MappingProxyType] | type[UserString] | type[memoryview] | type[range] | str, (() -> Generator[int]) | (() -> Iterator[LiteralString]) | (() -> Iterator[int]) | (() -> Iterator[tuple[Unknown, Unknown]]) | (() -> Iterator[Any]) | (() -> Iterator[Unknown]) | (() -> MappingProxyType[Unknown, Unknown]) | (() -> UserString) | (() -> memoryview) | (() -> range) | () -> dict_items[Unknown, Unknown] | () -> dict_keys[Unknown, Unknown] | () -> dict_values[Unknown, Unknown] | type[SkipTest]]` [unsupported-operation]
- ERROR src/zope/interface/common/tests/test_collections.py:135:42-70: Cannot set item in `dict[type[Generator] | type[IItemsView] | type[IKeysView] | type[IValuesView] | type[Iterator] | type[MappingProxyType] | type[UserString] | type[memoryview] | type[range] | str, (() -> Generator[int]) | (() -> Iterator[LiteralString]) | (() -> Iterator[int]) | (() -> Iterator[tuple[Unknown, Unknown]]) | (() -> Iterator[Any]) | (() -> Iterator[Unknown]) | (() -> MappingProxyType[Unknown, Unknown]) | (() -> UserString) | (() -> memoryview) | (() -> range) | (self: dict[Unknown, Unknown]) -> dict_items[Unknown, Unknown] | (self: dict[Unknown, Unknown]) -> dict_keys[Unknown, Unknown] | (self: dict[Unknown, Unknown]) -> dict_values[Unknown, Unknown] | type[SkipTest]]` [unsupported-operation]
+ ERROR src/zope/interface/common/tests/test_collections.py:135:42-70: Cannot set item in `dict[type[Generator] | type[IItemsView] | type[IKeysView] | type[IValuesView] | type[Iterator] | type[MappingProxyType] | type[UserString] | type[memoryview] | type[range] | str, (() -> Generator[int]) | (() -> Iterator[LiteralString]) | (() -> Iterator[int]) | (() -> Iterator[tuple[Unknown, Unknown]]) | (() -> Iterator[Any]) | (() -> Iterator[Unknown]) | (() -> MappingProxyType[Unknown, Unknown]) | (() -> UserString) | (() -> memoryview) | (() -> range) | () -> dict_items[Unknown, Unknown] | () -> dict_keys[Unknown, Unknown] | () -> dict_values[Unknown, Unknown] | type[SkipTest]]` [unsupported-operation]
- ERROR src/zope/interface/registry.py:552:25-39: `(_: Unknown) -> None` is not assignable to attribute `changed` with type `(self: AdapterRegistry, originally_changed: Unknown) -> None` [bad-assignment]
+ ERROR src/zope/interface/registry.py:552:25-39: `(_: Unknown) -> None` is not assignable to attribute `changed` with type `(originally_changed: Unknown) -> None` [bad-assignment]
- ERROR src/zope/interface/tests/test_adapter.py:343:36-44: `(existing: Unknown, new: Unknown) -> CustomLeafSequence | Unknown` is not assignable to attribute `_addValueToLeaf` with type `(self: BaseAdapterRegistryTests._getTargetClass._CUT, existing_leaf_sequence: Unknown, new_item: Unknown) -> tuple[Unknown] | Unknown` [bad-assignment]
+ ERROR src/zope/interface/tests/test_adapter.py:343:36-44: `(existing: Unknown, new: Unknown) -> CustomLeafSequence | Unknown` is not assignable to attribute `_addValueToLeaf` with type `(existing_leaf_sequence: Unknown, new_item: Unknown) -> tuple[Unknown] | Unknown` [bad-assignment]
- ERROR src/zope/interface/tests/test_adapter.py:887:36-44: `(existing: Unknown, new: Unknown) -> CustomLeafSequence | Unknown` is not assignable to attribute `_addValueToLeaf` with type `(self: BaseAdapterRegistryTests._getTargetClass._CUT, existing_leaf_sequence: Unknown, new_item: Unknown) -> tuple[Unknown] | Unknown` [bad-assignment]
+ ERROR src/zope/interface/tests/test_adapter.py:887:36-44: `(existing: Unknown, new: Unknown) -> CustomLeafSequence | Unknown` is not assignable to attribute `_addValueToLeaf` with type `(existing_leaf_sequence: Unknown, new_item: Unknown) -> tuple[Unknown] | Unknown` [bad-assignment]
- ERROR src/zope/interface/tests/test_ro.py:481:21-25: `None` is not assignable to attribute `_merge` with type `(self: C3) -> list[Unknown]` [bad-assignment]
+ ERROR src/zope/interface/tests/test_ro.py:481:21-25: `None` is not assignable to attribute `_merge` with type `() -> list[Unknown]` [bad-assignment]
- ERROR src/zope/interface/tests/test_ro.py:481:21-25: `None` is not assignable to attribute `_merge` with type `(self: _StrictC3) -> list[Unknown]` [bad-assignment]
- ERROR src/zope/interface/tests/test_ro.py:481:21-25: `None` is not assignable to attribute `_merge` with type `(self: _TrackingC3) -> list[Unknown]` [bad-assignment]
static-frame (https://github.com/static-frame/static-frame)
- ERROR static_frame/test/property/strategies.py:979:21-44: Argument `(cls: type[Index], labels: Iterable[TLabel], /, *, name: TName = None) -> Index` is not assignable to parameter `cls` with type `(...) -> IndexHierarchy` in function `get_index_hierarchy` [bad-argument-type]
+ ERROR static_frame/test/property/strategies.py:979:21-44: Argument `(labels: Iterable[TLabel], /, *, name: TName = None) -> Index` is not assignable to parameter `cls` with type `(...) -> IndexHierarchy` in function `get_index_hierarchy` [bad-argument-type]
pandas (https://github.com/pandas-dev/pandas)
- ERROR pandas/tests/io/formats/test_to_string.py:171:30-71: No matching overload found for function `pandas.core.frame.DataFrame.to_string` called with arguments: (index=Literal[False], header=Literal[False], formatters=dict[str, Overload[(self: LiteralString, *args: LiteralString, **kwargs: LiteralString) -> LiteralString, (self: str, *args: object, **kwargs: object) -> str]]) [no-matching-overload]
+ ERROR pandas/tests/io/formats/test_to_string.py:171:30-71: No matching overload found for function `pandas.core.frame.DataFrame.to_string` called with arguments: (index=Literal[False], header=Literal[False], formatters=dict[str, Overload[(*args: LiteralString, **kwargs: LiteralString) -> LiteralString, (*args: object, **kwargs: object) -> str]]) [no-matching-overload]
- ERROR pandas/tests/io/formats/test_to_string.py:1138:30-51: No matching overload found for function `pandas.core.series.Series.to_string` called with arguments: (float_format=Overload[ (self: LiteralString, value: LiteralString | tuple[LiteralString, ...], /) -> LiteralString (self: LiteralString, value: Any, /) -> str ]) [no-matching-overload]
+ ERROR pandas/tests/io/formats/test_to_string.py:1138:30-51: No matching overload found for function `pandas.core.series.Series.to_string` called with arguments: (float_format=Overload[ (value: LiteralString | tuple[LiteralString, ...], /) -> LiteralString (value: Any, /) -> str ]) [no-matching-overload]
- ERROR pandas/tests/io/test_gcs.py:37:24-36: `() -> Literal[True]` is not assignable to attribute `close` with type `(self: BytesIO) -> None` [bad-assignment]
+ ERROR pandas/tests/io/test_gcs.py:37:24-36: `() -> Literal[True]` is not assignable to attribute `close` with type `() -> None` [bad-assignment]
mypy (https://github.com/python/mypy)
- ERROR mypy/checkexpr.py:4972:17-30: Argument `(self: TypeChecker, msg: ErrorMessage | str, context: Context, *, code: ErrorCode | None = None) -> ErrorInfo` is not assignable to parameter `fail` with type `MsgCallback` in function `mypy.typeanal.instantiate_type_alias` [bad-argument-type]
+ ERROR mypy/checkexpr.py:4972:17-30: Argument `(msg: ErrorMessage | str, context: Context, *, code: ErrorCode | None = None) -> ErrorInfo` is not assignable to parameter `fail` with type `MsgCallback` in function `mypy.typeanal.instantiate_type_alias` [bad-argument-type]
- ERROR mypy/checkexpr.py:4973:17-30: Argument `(self: TypeChecker, msg: ErrorMessage | str, context: Context, offset: int = 0, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `note` with type `MsgCallback` in function `mypy.typeanal.instantiate_type_alias` [bad-argument-type]
+ ERROR mypy/checkexpr.py:4973:17-30: Argument `(msg: ErrorMessage | str, context: Context, offset: int = 0, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `note` with type `MsgCallback` in function `mypy.typeanal.instantiate_type_alias` [bad-argument-type]
- ERROR mypy/checkexpr.py:5045:18-31: Argument `(self: MessageBuilder, msg: str, context: Context, *, code: ErrorCode | None = None, origin_context: Context | None = None) -> ErrorInfo` is not assignable to parameter `fail` with type `MsgCallback | None` in function `mypy.typeanal.set_any_tvars` [bad-argument-type]
+ ERROR mypy/checkexpr.py:5045:18-31: Argument `(msg: str, context: Context, *, code: ErrorCode | None = None, origin_context: Context | None = None) -> ErrorInfo` is not assignable to parameter `fail` with type `MsgCallback | None` in function `mypy.typeanal.set_any_tvars` [bad-argument-type]
- ERROR mypy/checkexpr.py:5118:40-53: Argument `(self: TypeChecker, msg: ErrorMessage | str, context: Context, *, code: ErrorCode | None = None) -> ErrorInfo` is not assignable to parameter `fail` with type `MsgCallback` in function `mypy.typeanal.validate_instance` [bad-argument-type]
+ ERROR mypy/checkexpr.py:5118:40-53: Argument `(msg: ErrorMessage | str, context: Context, *, code: ErrorCode | None = None) -> ErrorInfo` is not assignable to parameter `fail` with type `MsgCallback` in function `mypy.typeanal.validate_instance` [bad-argument-type]
- ERROR mypy/checkexpr.py:5120:23-36: Argument `(self: TypeChecker, msg: ErrorMessage | str, context: Context, *, code: ErrorCode | None = None) -> ErrorInfo` is not assignable to parameter `fail` with type `MsgCallback` in function `mypy.typeanal.fix_instance` [bad-argument-type]
+ ERROR mypy/checkexpr.py:5120:23-36: Argument `(msg: ErrorMessage | str, context: Context, *, code: ErrorCode | None = None) -> ErrorInfo` is not assignable to parameter `fail` with type `MsgCallback` in function `mypy.typeanal.fix_instance` [bad-argument-type]
- ERROR mypy/checkexpr.py:5120:38-51: Argument `(self: TypeChecker, msg: ErrorMessage | str, context: Context, offset: int = 0, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `note` with type `MsgCallback` in function `mypy.typeanal.fix_instance` [bad-argument-type]
+ ERROR mypy/checkexpr.py:5120:38-51: Argument `(msg: ErrorMessage | str, context: Context, offset: int = 0, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `note` with type `MsgCallback` in function `mypy.typeanal.fix_instance` [bad-argument-type]
- ERROR mypy/semanal.py:873:29-38: Argument `(self: Self@SemanticAnalyzer, msg: ErrorMessage | str, ctx: Context, serious: bool = False, *, code: ErrorCode | None = None, blocker: bool = False) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `mypy.typeanal.fix_instance` [bad-argument-type]
+ ERROR mypy/semanal.py:873:29-38: Argument `(msg: ErrorMessage | str, ctx: Context, serious: bool = False, *, code: ErrorCode | None = None, blocker: bool = False) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `mypy.typeanal.fix_instance` [bad-argument-type]
- ERROR mypy/semanal.py:873:40-49: Argument `(self: Self@SemanticAnalyzer, msg: str, ctx: Context, code: ErrorCode | None = None) -> None` is not assignable to parameter `note` with type `MsgCallback` in function `mypy.typeanal.fix_instance` [bad-argument-type]
+ ERROR mypy/semanal.py:873:40-49: Argument `(msg: str, ctx: Context, code: ErrorCode | None = None) -> None` is not assignable to parameter `note` with type `MsgCallback` in function `mypy.typeanal.fix_instance` [bad-argument-type]
- ERROR mypy/semanal.py:4286:43-52: Argument `(self: Self@SemanticAnalyzer, msg: ErrorMessage | str, ctx: Context, serious: bool = False, *, code: ErrorCode | None = None, blocker: bool = False) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `mypy.typeanal.validate_instance` [bad-argument-type]
+ ERROR mypy/semanal.py:4286:43-52: Argument `(msg: ErrorMessage | str, ctx: Context, serious: bool = False, *, code: ErrorCode | None = None, blocker: bool = False) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `mypy.typeanal.validate_instance` [bad-argument-type]
- ERROR mypy/semanal.py:4287:35-44: Argument `(self: Self@SemanticAnalyzer, msg: ErrorMessage | str, ctx: Context, serious: bool = False, *, code: ErrorCode | None = None, blocker: bool = False) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `mypy.typeanal.fix_instance` [bad-argument-type]
+ ERROR mypy/semanal.py:4287:35-44: Argument `(msg: ErrorMessage | str, ctx: Context, serious: bool = False, *, code: ErrorCode | None = None, blocker: bool = False) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `mypy.typeanal.fix_instance` [bad-argument-type]
- ERROR mypy/semanal.py:4287:46-55: Argument `(self: Self@SemanticAnalyzer, msg: str, ctx: Context, code: ErrorCode | None = None) -> None` is not assignable to parameter `note` with type `MsgCallback` in function `mypy.typeanal.fix_instance` [bad-argument-type]
+ ERROR mypy/semanal.py:4287:46-55: Argument `(msg: str, ctx: Context, code: ErrorCode | None = None) -> None` is not assignable to parameter `note` with type `MsgCallback` in function `mypy.typeanal.fix_instance` [bad-argument-type]
- ERROR mypy/semanal.py:5862:47-56: Argument `(self: Self@SemanticAnalyzer, msg: ErrorMessage | str, ctx: Context, serious: bool = False, *, code: ErrorCode | None = None, blocker: bool = False) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `mypy.typeanal.validate_instance` [bad-argument-type]
+ ERROR mypy/semanal.py:5862:47-56: Argument `(msg: ErrorMessage | str, ctx: Context, serious: bool = False, *, code: ErrorCode | None = None, blocker: bool = False) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `mypy.typeanal.validate_instance` [bad-argument-type]
- ERROR mypy/semanal.py:5864:30-39: Argument `(self: Self@SemanticAnalyzer, msg: ErrorMessage | str, ctx: Context, serious: bool = False, *, code: ErrorCode | None = None, blocker: bool = False) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `mypy.typeanal.fix_instance` [bad-argument-type]
+ ERROR mypy/semanal.py:5864:30-39: Argument `(msg: ErrorMessage | str, ctx: Context, serious: bool = False, *, code: ErrorCode | None = None, blocker: bool = False) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `mypy.typeanal.fix_instance` [bad-argument-type]
- ERROR mypy/semanal.py:5864:41-50: Argument `(self: Self@SemanticAnalyzer, msg: str, ctx: Context, code: ErrorCode | None = None) -> None` is not assignable to parameter `note` with type `MsgCallback` in function `mypy.typeanal.fix_instance` [bad-argument-type]
+ ERROR mypy/semanal.py:5864:41-50: Argument `(msg: str, ctx: Context, code: ErrorCode | None = None) -> None` is not assignable to parameter `note` with type `MsgCallback` in function `mypy.typeanal.fix_instance` [bad-argument-type]
- ERROR mypy/typeanal.py:500:21-30: Argument `(self: Self@TypeAnalyser, msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `instantiate_type_alias` [bad-argument-type]
+ ERROR mypy/typeanal.py:500:21-30: Argument `(msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `instantiate_type_alias` [bad-argument-type]
- ERROR mypy/typeanal.py:501:21-30: Argument `(self: Self@TypeAnalyser, msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `note` with type `MsgCallback` in function `instantiate_type_alias` [bad-argument-type]
+ ERROR mypy/typeanal.py:501:21-30: Argument `(msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `note` with type `MsgCallback` in function `instantiate_type_alias` [bad-argument-type]
- ERROR mypy/typeanal.py:519:52-61: Argument `(self: Self@TypeAnalyser, msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `validate_instance` [bad-argument-type]
+ ERROR mypy/typeanal.py:519:52-61: Argument `(msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `validate_instance` [bad-argument-type]
- ERROR mypy/typeanal.py:523:25-34: Argument `(self: Self@TypeAnalyser, msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `fix_instance` [bad-argument-type]
+ ERROR mypy/typeanal.py:523:25-34: Argument `(msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `fix_instance` [bad-argument-type]
- ERROR mypy/typeanal.py:524:25-34: Argument `(self: Self@TypeAnalyser, msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `note` with type `MsgCallback` in function `fix_instance` [bad-argument-type]
+ ERROR mypy/typeanal.py:524:25-34: Argument `(msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `note` with type `MsgCallback` in function `fix_instance` [bad-argument-type]
- ERROR mypy/typeanal.py:840:46-55: Argument `(self: Self@TypeAnalyser, msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `get_omitted_any` [bad-argument-type]
+ ERROR mypy/typeanal.py:840:46-55: Argument `(msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `get_omitted_any` [bad-argument-type]
- ERROR mypy/typeanal.py:840:57-66: Argument `(self: Self@TypeAnalyser, msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `note` with type `MsgCallback` in function `get_omitted_any` [bad-argument-type]
+ ERROR mypy/typeanal.py:840:57-66: Argument `(msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `note` with type `MsgCallback` in function `get_omitted_any` [bad-argument-type]
- ERROR mypy/typeanal.py:910:23-32: Argument `(self: Self@TypeAnalyser, msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `validate_instance` [bad-argument-type]
+ ERROR mypy/typeanal.py:910:23-32: Argument `(msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `validate_instance` [bad-argument-type]
- ERROR mypy/typeanal.py:914:17-26: Argument `(self: Self@TypeAnalyser, msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `fix_instance` [bad-argument-type]
+ ERROR mypy/typeanal.py:914:17-26: Argument `(msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `fix_instance` [bad-argument-type]
- ERROR mypy/typeanal.py:915:17-26: Argument `(self: Self@TypeAnalyser, msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `note` with type `MsgCallback` in function `fix_instance` [bad-argument-type]
+ ERROR mypy/typeanal.py:915:17-26: Argument `(msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `note` with type `MsgCallback` in function `fix_instance` [bad-argument-type]
- ERROR mypy/typeanal.py:936:21-30: Argument `(self: Self@TypeAnalyser, msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `instantiate_type_alias` [bad-argument-type]
+ ERROR mypy/typeanal.py:936:21-30: Argument `(msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `instantiate_type_alias` [bad-argument-type]
- ERROR mypy/typeanal.py:937:21-30: Argument `(self: Self@TypeAnalyser, msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `note` with type `MsgCallback` in function `instantiate_type_alias` [bad-argument-type]
+ ERROR mypy/typeanal.py:937:21-30: Argument `(msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `note` with type `MsgCallback` in function `instantiate_type_alias` [bad-argument-type]
- ERROR mypy/typeanal.py:966:21-30: Argument `(self: Self@TypeAnalyser, msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `instantiate_type_alias` [bad-argument-type]
+ ERROR mypy/typeanal.py:966:21-30: Argument `(msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `fail` with type `MsgCallback` in function `instantiate_type_alias` [bad-argument-type]
- ERROR mypy/typeanal.py:967:21-30: Argument `(self: Self@TypeAnalyser, msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `note` with type `MsgCallback` in function `instantiate_type_alias` [bad-argument-type]
+ ERROR mypy/typeanal.py:967:21-30: Argument `(msg: str, ctx: Context, *, code: ErrorCode | None = None) -> None` is not assignable to parameter `note` with type `MsgCallback` in function `instantiate_type_alias` [bad-argument-type]
meson (https://github.com/mesonbuild/meson)
- ERROR mesonbuild/ast/interpreter.py:198:26-258:30: No matching overload found for function `typing.MutableMapping.update` called with arguments: (dict[str, (self: Self@AstInterpreter, node: BaseNode, args: list[TYPE_var], kwargs: dict[str, TYPE_var]) -> UnknownValue | (self: Self@AstInterpreter, node: BaseNode, args: list[TYPE_var], kwargs: dict[str, TYPE_var]) -> Any | (self: Self@AstInterpreter, node: BaseNode, args: list[TYPE_var], kwargs: dict[str, TYPE_var]) -> None]) [no-matching-overload]
+ ERROR mesonbuild/ast/interpreter.py:198:26-258:30: No matching overload found for function `typing.MutableMapping.update` called with arguments: (dict[str, (node: BaseNode, args: list[TYPE_var], kwargs: dict[str, TYPE_var]) -> UnknownValue | (node: BaseNode, args: list[TYPE_var], kwargs: dict[str, TYPE_var]) -> Any | (node: BaseNode, args: list[TYPE_var], kwargs: dict[str, TYPE_var]) -> None]) [no-matching-overload]
- ERROR mesonbuild/ast/introspection.py:90:26-102:11: No matching overload found for function `typing.MutableMapping.update` called with arguments: (dict[str, (self: Self@IntrospectionInterpreter, node: BaseNode, args: list[TYPE_var], kwargs: dict[str, TYPE_var]) -> IntrospectionBuildTarget | UnknownValue | (self: Self@IntrospectionInterpreter, node: BaseNode, args: list[TYPE_var], kwargs: dict[str, TYPE_var]) -> IntrospectionDependency | None | (self: Self@IntrospectionInterpreter, node: BaseNode, args: list[TYPE_var], kwargs: dict[str, TYPE_var]) -> UnknownValue | (self: Self@IntrospectionInterpreter, node: BaseNode, args: list[TYPE_var], kwargs: dict[str, TYPE_var]) -> None]) [no-matching-overload]
+ ERROR mesonbuild/ast/introspection.py:90:26-102:11: No matching overload found for function `typing.MutableMapping.update` called with arguments: (dict[str, (node: BaseNode, args: list[TYPE_var], kwargs: dict[str, TYPE_var]) -> IntrospectionBuildTarget | UnknownValue | (node: BaseNode, args: list[TYPE_var], kwargs: dict[str, TYPE_var]) -> IntrospectionDependency | None | (node: BaseNode, args: list[TYPE_var], kwargs: dict[str, TYPE_var]) -> UnknownValue | (node: BaseNode, args: list[TYPE_var], kwargs: dict[str, TYPE_var]) -> None]) [no-matching-overload]
- ERROR mesonbuild/backend/xcodebackend.py:1827:16-30: Implicit conversion of `(self: BuildTarget) -> bool` to `bool` is not allowed [implicit-bool]
+ ERROR mesonbuild/backend/xcodebackend.py:1827:16-30: Implicit conversion of `() -> bool` to `bool` is not allowed [implicit-bool]
- ERROR mesonbuild/interpreter/interpreter.py:375:26-435:30: No matching overload found for function `typing.MutableMapping.update` called with arguments: (dict[str, (self: Self@Interpreter, node: BaseNode, args: list[TYPE_var], kwargs: dict[str, HoldableObject | MesonInterpreterObject | Sequence[TYPE_elementary] | Sequence[TYPE_var] | bool | dict[str, TYPE_elementary] | dict[str, TYPE_var] | int | str]) -> NoReturn | (self: Self@Interpreter, node: BaseNode, args: list[TYPE_var], kwargs: dict[str, HoldableObject | MesonInterpreterObject | Sequence[TYPE_elementary] | Sequence[TYPE_var] | bool | dict[str, TYPE_elementary] | dict[str, TYPE_var] | int | str]) -> None | (self: Self@Interpreter, nodes: BaseNode, args: list[TYPE_var], kwargs: dict[str, HoldableObject | MesonInterpreterObject | Sequence[TYPE_elementary] | Sequence[TYPE_var] | bool | dict[str, TYPE_elementary] | dict[str, TYPE_var] | int | str]) -> NoReturn | Unknown]) [no-matching-overload]
+ ERROR mesonbuild/interpreter/interpreter.py:375:26-435:30: No matching overload found for function `typing.MutableMapping.update` called with arguments: (dict[str, (node: BaseNode, args: list[TYPE_var], kwargs: dict[str, HoldableObject | MesonInterpreterObject | Sequence[TYPE_elementary] | Sequence[TYPE_var] | bool | dict[str, TYPE_elementary] | dict[str, TYPE_var] | int | str]) -> NoReturn | (node: BaseNode, args: list[TYPE_var], kwargs: dict[str, HoldableObject | MesonInterpreterObject | Sequence[TYPE_elementary] | Sequence[TYPE_var] | bool | dict[str, TYPE_elementary] | dict[str, TYPE_var] | int | str]) -> None | (nodes: BaseNode, args: list[TYPE_var], kwargs: dict[str, HoldableObject | MesonInterpreterObject | Sequence[TYPE_elementary] | Sequence[TYPE_var] | bool | dict[str, TYPE_elementary] | dict[str, TYPE_var] | int | str]) -> NoReturn | Unknown]) [no-matching-overload]
- ERROR mesonbuild/modules/cmake.py:193:28-202:10: No matching overload found for function `typing.MutableMapping.update` called with arguments: (dict[str, (self: Self@CMakeSubprojectOptions, state: ModuleState, args: TYPE_var, kwargs: dict[str, HoldableObject | MesonInterpreterObject | Sequence[TYPE_elementary] | Sequence[TYPE_var] | bool | dict[str, TYPE_elementary] | dict[str, TYPE_var] | int | str]) -> None | Any]) [no-matching-overload]
+ ERROR mesonbuild/modules/cmake.py:193:28-202:10: No matching overload found for function `typing.MutableMapping.update` called with arguments: (dict[str, (state: ModuleState, args: TYPE_var, kwargs: dict[str, HoldableObject | MesonInterpreterObject | Sequence[TYPE_elementary] | Sequence[TYPE_var] | bool | dict[str, TYPE_elementary] | dict[str, TYPE_var] | int | str]) -> None | Any]) [no-matching-overload]
- ERROR mesonbuild/modules/modtest.py:22:28-24:11: No matching overload found for function `typing.MutableMapping.update` called with arguments: (dict[str, (self: Self@TestModule, state: ModuleState, args: list[TYPE_var], kwargs: dict[str, HoldableObject | MesonInterpreterObject | Sequence[TYPE_elementary] | Sequence[TYPE_var] | bool | dict[str, TYPE_elementary] | dict[str, TYPE_var] | int | str]) -> None]) [no-matching-overload]
+ ERROR mesonbuild/modules/modtest.py:22:28-24:11: No matching overload found for function `typing.MutableMapping.update` called with arguments: (dict[str, (state: ModuleState, args: list[TYPE_var], kwargs: dict[str, HoldableObject | MesonInterpreterObject | Sequence[TYPE_elementary] | Sequence[TYPE_var] | bool | dict[str, TYPE_elementary] | dict[str, TYPE_var] | int | str]) -> None]) [no-matching-overload]
- ERROR mesonbuild/modules/rust.py:235:28-244:11: No matching overload found for function `typing.MutableMapping.update` called with arguments: (dict[str, (self: Self@RustCrate, state: ModuleState, args: list[Unknown], kwargs: dict[str, HoldableObject | MesonInterpreterObject | Sequence[TYPE_elementary] | Sequence[TYPE_var] | bool | dict[str, TYPE_elementary] | dict[str, TYPE_var] | int | str]) -> dict[str, str] | (self: Self@RustCrate, state: ModuleState, args: list[Unknown], kwargs: dict[str, HoldableObject | MesonInterpreterObject | Sequence[TYPE_elementary] | Sequence[TYPE_var] | bool | dict[str, TYPE_elementary] | dict[str, TYPE_var] | int | str]) -> list[str] | (self: Self@RustCrate, state: ModuleState, args: list[Unknown], kwargs: dict[str, HoldableObject | MesonInterpreterObject | Sequence[TYPE_elementary] | Sequence[TYPE_var] | bool | dict[str, TYPE_elementary] | dict[str, TYPE_var] | int | str]) -> str]) [no-matching-overload]
... (truncated 105 lines) ... |
stroxler
left a comment
There was a problem hiding this comment.
Review automatically exported from Phabricator review in Meta.
|
This pull request has been merged in 22ff967. |
Summary
Fixes #4162.
A bound method was displayed as its underlying function type, receiver parameter
included, so it printed identically to the unbound method it came from. That is
what makes the diagnostic in the issue unreadable — both sides render the same
text:
BoundMethodType::strip_receiverdrops the parameter that binding has alreadyconsumed, and the standard display mode renders that view. This is the same strip
the solver's
bind_bound_method_typeperforms when it checks a call, so thedisplayed type is the one being checked:
This stays within
bad-assignmentand adds no new error kind, per the issue'ssuggestion that the kind is right and the wording is the problem.
The signature-mismatch block in override errors is untouched, since it renders
declarations rather than types and
selfbelongs there:Test Plan
cargo teston2c37b0a, rebased ontoef5ef0b: 7882 passed, 0 failed.test.py --no-test --no-tensor-shapes --no-conformance --no-jsonschemais clean;the one clippy warning it reports is pre-existing in
pyrefly_config/src/error_kind.rs.Before the change, 27 tests disagreed — 22 in the checker's test suite and 5 in
display.rs's own unit tests — touching 27 expectation lines across 9 test filesplus 5 in
display.rs. All of them moved in the same direction, the receiverdisappearing from a bound method, and every one is more accurate afterwards:
reveal_type(C.foo), a classmethod(cls: type[C]) -> int() -> intreveal_type(p.__iter__)(self: Pair) -> Iterator[int | str]() -> Iterator[int | str]reveal_type(wrapper.__call__)[R](self: Wrapper[[x: R], R], x: R) -> R[R](x: R) -> R(self: ChildNarrowed, value: A) -> None(value: A) -> None__post_init__mismatch(self: Bad1, y: bytes, z: str) -> None(y: bytes, z: str) -> NoneThe clearest one is
test_match_method_against_callable, which now distinguishesthe two calls it was written to contrast:
Previously both reported
(self: C, x: int) -> None, so the second error read asthough the checker had rejected a matching type.
Also checked by hand against a local build: classmethods, staticmethods,
overloads, generic methods,
__init__, and properties all display correctly, andreveal_type(a.g)andreveal_type(A.g)are now distinguishable.One thing worth a reviewer's opinion
In the read-write attribute case, the two sides now use different forms:
The left side is a plain callable attribute rather than a bound method, so it
keeps its parameter while the right side loses
self. That is accurate — thedistinction is exactly what this change makes visible — but it reads as an
inconsistency if you don't know why. I left it alone rather than special-casing
the message. Happy to change it if you'd rather it were uniform.
AI usage disclosure
Per the AI Usage section of CONTRIBUTING.md: this change, the expectation updates,
and this description were produced by an AI agent (Claude Code) working in my
checkout. I reviewed them before submitting. Any replies I make on this PR will
carry the same disclosure if an agent drafts them.