Skip to content

fix feature: Track relationships between narrows of different variables #997 - #4008

Open
asukaminato0721 wants to merge 1 commit into
meta:mainfrom
asukaminato0721:997
Open

fix feature: Track relationships between narrows of different variables #997#4008
asukaminato0721 wants to merge 1 commit into
meta:mainfrom
asukaminato0721:997

Conversation

@asukaminato0721

@asukaminato0721 asukaminato0721 commented Jul 1, 2026 •
edited
Loading

Copy link
Copy Markdown
Collaborator

Summary

Fixes #997

This is an experiment.

Added guarded flow facts so if b == "bar": x = 3 records that x has the branch value when the same predicate is active again.

Applied matching guarded facts whenever narrowing ops are bound, recorded those facts from if branches and invalidated them on predicate/target reassignment.

With help from gpt 5.6 sol high.

Test Plan

Added regression test coverage for repeated predicates and predicate reassignment invalidation.

@meta-cla meta-cla Bot added the cla signed label Jul 1, 2026
@github-actions github-actions Bot added the size/l label Jul 1, 2026
@github-actions

This comment has been minimized.

Sign in to view
@github-actions github-actions Bot added size/l and removed size/l labels Jul 24, 2026
@github-actions

This comment has been minimized.

Sign in to view
@github-actions github-actions Bot added size/l and removed size/l labels Aug 7, 2026
@meta-codesync

meta-codesync Bot commented Aug 7, 2026

Copy link
Copy Markdown
Contributor

This pull request has been imported. If you are a Meta employee, you can view this in D115174792. (Because this pull request was imported automatically, there will not be any future comments.)

@github-actions github-actions Bot added size/l and removed size/l labels Aug 10, 2026
@github-actions

This comment has been minimized.

Sign in to view
@asukaminato0721
asukaminato0721 marked this pull request as draft August 10, 2026 17:13
@github-actions github-actions Bot added size/xl and removed size/l labels Aug 10, 2026
@github-actions github-actions Bot added size/xl and removed size/xl labels Aug 10, 2026
@github-actions

This comment has been minimized.

Sign in to view
@asukaminato0721
asukaminato0721 marked this pull request as ready for review August 10, 2026 17:47
@asukaminato0721
asukaminato0721 marked this pull request as draft August 10, 2026 18:01
@github-actions github-actions Bot added size/xl and removed size/xl labels Aug 10, 2026
@github-actions

This comment has been minimized.

Sign in to view
@github-actions github-actions Bot removed the size/xl label Aug 22, 2026
@asukaminato0721
asukaminato0721 marked this pull request as ready for review August 22, 2026 16:53
@github-actions

This comment has been minimized.

Sign in to view
@github-actions github-actions Bot added size/xl and removed size/xl labels Sep 4, 2026
@github-actions

This comment has been minimized.

Sign in to view
@github-actions github-actions Bot added size/xl and removed size/xl labels Sep 18, 2026
@github-actions

This comment has been minimized.

Sign in to view
@github-actions github-actions Bot added size/xl and removed size/xl labels Sep 30, 2026
@codspeed

codspeed Bot commented Sep 30, 2026 •
edited
Loading

Copy link
Copy Markdown

Merging this PR will not alter performance

✅ 35 untouched benchmarks
⏩ 9 skipped benchmarks1

Comparing asukaminato0721:997 (050ae62) with main (1e1e325)

Open in CodSpeed

Footnotes

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

@github-actions

This comment has been minimized.

Sign in to view
@github-actions github-actions Bot added size/xl and removed size/xl labels Oct 8, 2026
@github-actions

This comment has been minimized.

Sign in to view
@asukaminato0721
fix
050ae62 
fix

fix flow?
@github-actions github-actions Bot added size/xl and removed size/xl labels Oct 30, 2026
@github-actions

github-actions Bot commented Oct 30, 2026

Copy link
Copy Markdown

Diff from mypy_primer, showing the effect of this PR on open source code:

============================================================
SUMMARY
============================================================
Total: +209 new errors, -734 fixed errors
By preset: +16/-567 (default), +17/-571 (strict)

Projects with changes (67):
  pip: +4 -13
  tornado: +1 -2
  psycopg: +0 -6
  mongo-python-driver: +0 -5
  pycryptodome: +0 -2
  apprise: +3 -5
  black: +0 -1
  operator: +1 -0
  openlibrary: +2 -9
  rotki: +0 -12
  egglog-python: +0 -3
  graphql-core: +1 -0
  pytest: +0 -4
  jax: +7 -14
  schema_salad: +0 -1
  scipy: +1 -0
  urllib3: +2 -1
  cryptography: +0 -3
  prefect: +0 -3
  scikit-learn: +60 -150
  cwltool: +0 -4
  spark: +9 -39
  setuptools: +1 -4
  pyinstrument: +2 -2
  alerta: +0 -2
  freqtrade: +0 -3
  pwndbg: +1 -8
  manticore: +0 -1
  schemathesis: +0 -2
  materialize: +4 -4
  mitmproxy: +1 -0
  aioredis: +5 -3
  pytest-autoprofile: +0 -1
  cloud-init: +3 -6
  vision: +1 -6
  strawberry: +1 -0
  stone: +24 -10
  pandera: +2 -2
  zulip: +5 -39
  ibis: +2 -2
  static-frame: +0 -44
  mypy: +2 -30
  pywin32: +0 -1
  dragonchain: +0 -2
  sockeye: +0 -1
  hydpy: +0 -2
  anyio: +0 -1
  pandas: +13 -48
  trio: +0 -4
  paasta: +1 -17
  pytensor: +6 -60
  sphinx: +4 -1
  meson: +1 -14
  websockets: +0 -14
  dd-trace-py: +1 -3
  core: +10 -38
  jinja: +0 -3
  spack: +0 -4
  poetry: +1 -3
  xarray: +5 -32
  parso: +0 -1
  kornia: +11 -18
  scrapy: +0 -2
  rich: +1 -9
  attrs: +1 -1
  boostedblob: +0 -1
  cvxpy: +9 -8
============================================================

FULL DIFF DETAILS
------------------------------------------------------------

pip (https://github.com/pypa/pip)
- ERROR src/pip/_internal/commands/install.py:596:20-35: Implicit conversion of `TempDirectory | None` to `bool` is not allowed [implicit-bool]
+ ERROR src/pip/_internal/commands/install.py:596:20-35: Implicit conversion of `TempDirectory` to `bool` is not allowed [implicit-bool]
- ERROR src/pip/_internal/commands/lock.py:171:13-29: `output_file_path` may be uninitialized [unbound-name]
- ERROR src/pip/_vendor/distlib/scripts.py:293:61-73: The type of this argument is unknown [unknown-argument-type]
+ ERROR src/pip/_vendor/distlib/scripts.py:293:61-73: The type of this argument is unknown because it comes from an error [unknown-from-error]
- ERROR src/pip/_vendor/distlib/scripts.py:306:61-73: The type of this argument is unknown [unknown-argument-type]
+ ERROR src/pip/_vendor/distlib/scripts.py:306:61-73: The type of this argument is unknown because it comes from an error [unknown-from-error]
- ERROR src/pip/_vendor/rich/table.py:876:41-89: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR src/pip/_vendor/rich/table.py:880:21-884:22: The type of `divider` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR src/pip/_vendor/rich/table.py:881:24-45: Implicit conversion of `str | Unknown` to `bool` is not allowed [implicit-bool]
+ ERROR src/pip/_vendor/rich/table.py:881:24-45: Implicit conversion of `str` to `bool` is not allowed [implicit-bool]
- ERROR src/pip/_vendor/rich/table.py:881:33-37: The type of attribute `text` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR src/pip/_vendor/rich/table.py:881:38-43: The type of attribute `strip` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR src/pip/_vendor/rich/table.py:883:25-38: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR src/pip/_vendor/rich/table.py:883:34-38: The type of attribute `text` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR src/pip/_vendor/rich/table.py:883:40-83: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR src/pip/_vendor/rich/table.py:883:78-83: The type of attribute `style` is partially unknown; it contains an implicit `Any` [partially-unknown-type]

tornado (https://github.com/tornadoweb/tornado)
- ERROR tornado/http1connection.py:306:21-36: `resp_start_line` may be uninitialized [unbound-name]
- ERROR tornado/ioloop.py:541:33-47: `timeout_handle` may be uninitialized [unbound-name]
+ ERROR tornado/iostream.py:926:13-49: `+=` is not supported between `int` and `None` [unsupported-operation]

psycopg (https://github.com/psycopg/psycopg)
- ERROR psycopg/psycopg/waiting.py:550:12-18: `wait_c` may be uninitialized [unbound-name]
- ERROR psycopg_pool/psycopg_pool/pool_async.py:308:30-33: `pos` may be uninitialized [unbound-name]
- ERROR psycopg_pool/psycopg_pool/pool_async.py:310:20-23: `pos` may be uninitialized [unbound-name]
- ERROR psycopg_pool/psycopg_pool/pool_async.py:316:75-77: `t0` may be uninitialized [unbound-name]
- ERROR psycopg_pool/psycopg_pool/sched.py:96:34-39: `delay` may be uninitialized [unbound-name]
- ERROR psycopg_pool/psycopg_pool/sched_async.py:99:48-53: `delay` may be uninitialized [unbound-name]

mongo-python-driver (https://github.com/mongodb/mongo-python-driver)
- ERROR pymongo/asynchronous/pool.py:172:51-56: `start` may be uninitialized [unbound-name]
- ERROR pymongo/message.py:886:39-53: `ns_doc_encoded` may be uninitialized [unbound-name]
- ERROR pymongo/pyopenssl_context.py:136:56-61: `start` may be uninitialized [unbound-name]
- ERROR pymongo/pyopenssl_context.py:149:52-57: `start` may be uninitialized [unbound-name]
- ERROR pymongo/synchronous/pool.py:172:51-56: `start` may be uninitialized [unbound-name]

pycryptodome (https://github.com/Legrandin/pycryptodome)
- ERROR lib/Crypto/IO/_PBES.py:693:46-66: `hmac_hash_module_oid` may be uninitialized [unbound-name]
- ERROR lib/Crypto/Protocol/HPKE.py:537:32-37: `curve` may be uninitialized [unbound-name]

apprise (https://github.com/caronc/apprise)
+ ERROR apprise/config/base.py:1239:59-62: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR apprise/conversion/html.py:773:33-39: `marker` may be uninitialized [unbound-name]
- ERROR apprise/plugins/d7networks.py:316:25-74: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR apprise/plugins/d7networks.py:316:25-74: The type of this argument is unknown [unknown-argument-type]
- ERROR apprise/plugins/d7networks.py:348:21-70: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR apprise/plugins/d7networks.py:348:21-70: The type of this argument is unknown [unknown-argument-type]
- ERROR apprise/plugins/mattermost.py:559:33-43: `upload_url` may be uninitialized [unbound-name]
- ERROR tests/test_plugin_matrix.py:8107:26-33: `session` may be uninitialized [unbound-name]

black (https://github.com/psf/black)
- ERROR src/black/trans.py:1830:25-31: `csplit` may be uninitialized [unbound-name]

operator (https://github.com/canonical/operator)
+ ERROR ops/pebble.py:3330:37-62: Redundant cast: `_WebSocket` is the same type as `_WebSocket` [redundant-cast]

openlibrary (https://github.com/internetarchive/openlibrary)
- ERROR openlibrary/accounts/model.py:1199:21-47: The type of `ia_values` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/accounts/model.py:1199:30-33: The type of attribute `get` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/accounts/model.py:1199:33-47: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/accounts/model.py:1199:44-46: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/accounts/model.py:1199:44-46: Cannot infer type of empty container; it will be treated as containing `Any` [implicit-any-empty-container]
- ERROR openlibrary/accounts/model.py:1200:23-36: Object of type `bool | dict[str, Unknown] | dict[Unknown, Unknown] | int | str | Any` has no attribute `get` [missing-attribute]
+ ERROR openlibrary/accounts/model.py:1200:23-36: Object of type `dict[Unknown, Unknown] | int | str | Any` has no attribute `get` [missing-attribute]
- ERROR openlibrary/accounts/model.py:1200:63-76: Object of type `bool | dict[str, Unknown] | dict[Unknown, Unknown] | int | str | Any` has no attribute `get` [missing-attribute]
+ ERROR openlibrary/accounts/model.py:1200:63-76: Object of type `dict[Unknown, Unknown] | int | str | Any` has no attribute `get` [missing-attribute]
- ERROR openlibrary/plugins/upstream/borrow.py:251:24-35: `ia_itemname` may be uninitialized [unbound-name]
- ERROR openlibrary/plugins/upstream/borrow.py:251:43-50: `s3_keys` may be uninitialized [unbound-name]

rotki (https://github.com/rotki/rotki)
- ERROR rotkehlchen/db/drivers/sqlite.py:991:98-108: `identifier` may be uninitialized [unbound-name]
- ERROR rotkehlchen/tests/api/test_balances.py:891:17-39: `task_id_blockchain_eth` may be uninitialized [unbound-name]
- ERROR rotkehlchen/tests/api/test_balances.py:896:17-39: `task_id_blockchain_btc` may be uninitialized [unbound-name]
- ERROR rotkehlchen/tests/api/test_balances.py:902:17-35: `task_id_blockchain` may be uninitialized [unbound-name]
- ERROR rotkehlchen/tests/api/test_balances.py:931:23-41: `outcome_blockchain` may be uninitialized [unbound-name]
- ERROR rotkehlchen/tests/api/test_balances.py:936:16-27: `outcome_eth` may be uninitialized [unbound-name]
- ERROR rotkehlchen/tests/api/test_balances.py:944:16-27: `outcome_btc` may be uninitialized [unbound-name]
- ERROR rotkehlchen/tests/api/test_database.py:60:29-45: `backup2_contents` may be uninitialized [unbound-name]
- ERROR rotkehlchen/tests/api/test_database.py:62:29-45: `backup1_contents` may be uninitialized [unbound-name]
- ERROR rotkehlchen/tests/api/test_exchanges.py:1172:16-33: `binance_pairs_num` may be uninitialized [unbound-name]
- ERROR rotkehlchen/tests/unit/test_blockchain_balances.py:76:9-11: `db` may be uninitialized [unbound-name]
- ERROR rotkehlchen/tests/utils/accounting.py:204:52-67: `accounting_type` may be uninitialized [unbound-name]

egglog-python (https://github.com/egraphs-good/egglog-python)
- ERROR python/egglog/egraph.py:1718:21-28: `egraphs` may be uninitialized [unbound-name]
- ERROR python/egglog/egraph.py:1725:17-24: `egraphs` may be uninitialized [unbound-name]
- ERROR python/egglog/egraph.py:1731:42-49: `egraphs` may be uninitialized [unbound-name]

graphql-core (https://github.com/graphql-python/graphql-core)
+ ERROR tests/test_docs.py:492:31-35: The type of this argument is an explicit `Any` [explicit-any-use]

pytest (https://github.com/pytest-dev/pytest)
- ERROR src/_pytest/python.py:1431:60-73: `generated_ids` may be uninitialized [unbound-name]
- ERROR src/_pytest/terminal.py:1298:17-26: `fullwidth` may be uninitialized [unbound-name]
- ERROR src/_pytest/terminal.py:1312:13-22: `fullwidth` may be uninitialized [unbound-name]
- ERROR src/_pytest/terminal.py:1316:48-57: `fullwidth` may be uninitialized [unbound-name]

jax (https://github.com/google/jax)
- ERROR jax/_src/export/serialization.py:528:17-36: Implicit conversion of `list[float]` to `bool` is not allowed [implicit-bool]
+ ERROR jax/_src/export/serialization.py:528:17-36: Implicit conversion of `list[Any]` to `bool` is not allowed [implicit-bool]
- ERROR jax/_src/pallas/mosaic/lowering.py:4799:30-46: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR jax/_src/pallas/mosaic/lowering.py:4799:30-46: The type of this argument is unknown [unknown-argument-type]
- ERROR jax/_src/pallas/mosaic_gpu/interpret/jaxpr_interpret.py:1180:11-18: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR jax/_src/pallas/mosaic_gpu/interpret/jaxpr_interpret.py:1180:11-18: The type of this argument is unknown [unknown-argument-type]
- ERROR jax/_src/pallas/mosaic_gpu/lowering.py:3303:8-37: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR jax/_src/pallas/mosaic_gpu/lowering.py:3308:30-35: The type of attribute `index` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR jax/_src/pallas/mosaic_gpu/lowering.py:3308:35-46: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR jax/_src/pallas/mosaic_gpu/lowering.py:3311:14-41: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR jax/_src/pallas/mosaic_gpu/lowering.py:3313:29-34: The type of attribute `index` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR jax/_src/pallas/mosaic_gpu/lowering.py:3313:34-45: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR jax/_src/pallas/triton/lowering.py:2829:12-35: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR jax/experimental/mosaic/gpu/tcgen05.py:849:103-132: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR jax/experimental/mosaic/gpu/tcgen05.py:849:103-132: The type of this argument is unknown [unknown-argument-type]
- ERROR jax/experimental/mosaic/gpu/wgmma.py:491:13-24: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR jax/experimental/mosaic/gpu/wgmma.py:491:13-24: The type of this argument is unknown [unknown-argument-type]
- ERROR jax/experimental/pallas/ops/gpu/attention_mgpu.py:236:54-62: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR jax/experimental/pallas/ops/gpu/attention_mgpu.py:238:23-31: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR jax/experimental/sparse/bcoo.py:450:24-32: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR jax/experimental/sparse/bcoo.py:450:24-32: The type of this argument is unknown [unknown-argument-type]

schema_salad (https://github.com/common-workflow-language/schema_salad)
- ERROR src/schema_salad/avro/schema.py:671:39-50: `old_default` may be uninitialized [unbound-name]

scipy (https://github.com/scipy/scipy)
+ ERROR scipy/spatial/transform/_rigid_transform_xp.py:308:56-86: Unused `# pyrefly: ignore` comment for code(s): unbound-name [unused-ignore]

urllib3 (https://github.com/urllib3/urllib3)
- ERROR test/conftest.py:402:13-31: `HTTPConnectionPool` may be uninitialized [unbound-name]
+ ERROR test/conftest.py:401:70-90: Unused `# type: ignore` comment [unused-type-ignore]
+ ERROR test/conftest.py:402:48-67: `type[HTTPConnection]` is not assignable to attribute `ConnectionCls` with type `type[BaseHTTPConnection | BaseHTTPSConnection]` [bad-assignment]

cryptography (https://github.com/pyca/cryptography)
- ERROR src/cryptography/hazmat/primitives/serialization/ssh.py:760:48-51: `tag` may be uninitialized [unbound-name]
- ERROR src/cryptography/hazmat/primitives/serialization/ssh.py:1101:25-34: `cert_body` may be uninitialized [unbound-name]
- ERROR src/cryptography/hazmat/primitives/serialization/ssh.py:1115:13-18: `nonce` may be uninitialized [unbound-name]

prefect (https://github.com/PrefectHQ/prefect)
- ERROR src/prefect/cli/deployment.py:811:48-70: `parsed_interval_anchor` may be uninitialized [unbound-name]
- ERROR src/prefect/server/models/flow_runs.py:267:50-80: `flow_or_task_run_exists_clause` may be uninitialized [unbound-name]
- ERROR src/prefect/utilities/collections.py:555:25-39: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]

scikit-learn (https://github.com/scikit-learn/scikit-learn)
- ERROR sklearn/_loss/tests/test_loss.py:157:31-40: `n_classes` may be uninitialized [unbound-name]
- ERROR sklearn/callback/tests/test_scoring_monitor.py:253:26-28: `pd` may be uninitialized [unbound-name]
- ERROR sklearn/cluster/_agglomerative.py:386:13-22: `distances` may be uninitialized [unbound-name]
- ERROR sklearn/cluster/_agglomerative.py:420:35-44: `distances` may be uninitialized [unbound-name]
+ ERROR sklearn/cluster/_agglomerative.py:670:23-36: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR sklearn/cluster/_agglomerative.py:670:40-51: The type of this argument is unknown [unknown-argument-type]
- ERROR sklearn/cluster/_hdbscan/hdbscan.py:874:49-59: `all_finite` may be uninitialized [unbound-name]
- ERROR sklearn/covariance/_graph_lasso.py:694:45-57: `test_emp_cov` may be uninitialized [unbound-name]
- ERROR sklearn/covariance/_graph_lasso.py:709:31-41: `this_score` may be uninitialized [unbound-name]
- ERROR sklearn/cross_decomposition/_pls.py:80:32-38: `X_pinv` may be uninitialized [unbound-name]
- ERROR sklearn/cross_decomposition/_pls.py:88:32-38: `y_pinv` may be uninitialized [unbound-name]
- ERROR sklearn/datasets/_arff_parser.py:308:22-27: `frame` may be uninitialized [unbound-name]
- ERROR sklearn/datasets/tests/test_openml.py:1547:22-74: `+` is not supported between `None` and `Literal['.*1666876/anneal\\.arff\\.gz']` [unsupported-operation]
- ERROR sklearn/datasets/tests/test_openml.py:1547:31-42: `str | None` is not assignable to any of constraints `str`, `bytes` of type variable `AnyStr` [bad-specialization]
- ERROR sklearn/decomposition/_fastica.py:678:45-46: `K` may be uninitialized [unbound-name]
+ ERROR sklearn/decomposition/_fastica.py:688:25-57: The type of `S_std` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/decomposition/_fastica.py:688:31-57: No matching overload found for function `numpy._core.fromnumeric.std` called with arguments: (ndarray[tuple[Any, ...], dtype[Unknown]] | Any | None, axis=Literal[0], keepdims=Literal[True]) [no-matching-overload]
+ ERROR sklearn/decomposition/_fastica.py:688:32-33: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR sklearn/decomposition/_fastica.py:690:22-29: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR sklearn/decomposition/_fastica.py:690:28-29: The type of attribute `T` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/decomposition/_fastica.py:693:26-32: `X_mean` may be uninitialized [unbound-name]
- ERROR sklearn/decomposition/_fastica.py:742:9-54: Result of call expression is of type `ndarray[tuple[Any, ...], dtype[Unknown]] | Unknown | None` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR sklearn/decomposition/_fastica.py:742:9-54: Result of call expression is of type `ndarray[tuple[Any, ...], dtype[Unknown]] | Any | None` and is not used; assign to `_` if this is intentional [unused-call-result]
- ERROR sklearn/decomposition/_nmf.py:171:34-36: `WH` may be uninitialized [unbound-name]
- ERROR sklearn/decomposition/_nmf.py:606:17-19: `WH` may be uninitialized [unbound-name]
- ERROR sklearn/decomposition/_nmf.py:692:17-19: `WH` may be uninitialized [unbound-name]
- ERROR sklearn/dummy.py:227:28-36: `constant` may be uninitialized [unbound-name]
- ERROR sklearn/dummy.py:313:37-42: `proba` may be uninitialized [unbound-name]
- ERROR sklearn/ensemble/_gb.py:900:28-40: `y_oob_masked` may be uninitialized [unbound-name]
- ERROR sklearn/ensemble/_gb.py:902:35-59: `sample_weight_oob_masked` may be uninitialized [unbound-name]
- ERROR sklearn/ensemble/_gb.py:929:33-48: `y_val_pred_iter` may be uninitialized [unbound-name]
+ ERROR sklearn/ensemble/_gb.py:934:27-68: The type of this argument is unknown because it comes from an error [unknown-from-error]
- ERROR sklearn/ensemble/_gb.py:934:56-68: `loss_history` may be uninitialized [unbound-name]
- ERROR sklearn/ensemble/_hist_gradient_boosting/gradient_boosting.py:1242:43-60: `known_cat_bitsets` may be uninitialized [unbound-name]
- ERROR sklearn/ensemble/_hist_gradient_boosting/gradient_boosting.py:1243:35-44: `f_idx_map` may be uninitialized [unbound-name]
- ERROR sklearn/feature_extraction/_dict_vectorizer.py:205:29-31: Cannot infer type of empty container; it will be treated as containing `Any` [implicit-any-empty-container]
- ERROR sklearn/feature_extraction/_dict_vectorizer.py:206:21-23: Cannot infer type of empty container; it will be treated as containing `Any` [implicit-any-empty-container]
- ERROR sklearn/feature_extraction/_dict_vectorizer.py:253:25-59: Result of call expression is of type `Unknown | None` and is not used; assign to `_` if this is intentional [unused-call-result]
- ERROR sklearn/feature_extraction/_dict_vectorizer.py:273:13-33: Result of call expression is of type `Unknown | None` and is not used; assign to `_` if this is intentional [unused-call-result]
- ERROR sklearn/gaussian_process/_gpc.py:392:24-25: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR sklearn/gaussian_process/_gpc.py:392:24-25: The type of this argument is unknown [unknown-argument-type]
- ERROR sklearn/gaussian_process/_gpc.py:397:17-27: `K_gradient` may be uninitialized [unbound-name]
- ERROR sklearn/gaussian_process/_gpc.py:402:23-28: Object of class `tuple` has no attribute `dot` [missing-attribute]
+ ERROR sklearn/gaussian_process/_gpc.py:402:19-38: The type of `s_3` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
+ ERROR sklearn/gaussian_process/_gpc.py:402:25-28: The type of attribute `dot` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR sklearn/gaussian_process/_gpr.py:641:49-56: Object of class `tuple` has no attribute `shape` [missing-attribute]
+ ERROR sklearn/gaussian_process/_gpr.py:641:49-59: The type of this argument is unknown [unknown-argument-type]
+ ERROR sklearn/gaussian_process/_gpr.py:641:51-56: The type of attribute `shape` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR sklearn/gaussian_process/_gpr.py:657:44-54: `K_gradient` may be uninitialized [unbound-name]
- ERROR sklearn/gaussian_process/_gpr.py:663:36-59: `log_likelihood_gradient` may be uninitialized [unbound-name]
- ERROR sklearn/impute/_iterative.py:842:48-59: `Xt_previous` may be uninitialized [unbound-name]
- ERROR sklearn/impute/_iterative.py:846:39-53: `normalized_tol` may be uninitialized [unbound-name]
- ERROR sklearn/impute/_iterative.py:849:31-45: `normalized_tol` may be uninitialized [unbound-name]
- ERROR sklearn/inspection/_plot/partial_dependence.py:1337:39-80: No matching overload found for function `numpy._core.multiarray.empty` called with arguments: (tuple[int, int | Unknown, Literal[1] | Integral | _ComplexLike | Unknown], dtype=type[object]) [no-matching-overload]
+ ERROR sklearn/inspection/_plot/partial_dependence.py:1337:39-80: No matching overload found for function `numpy._core.multiarray.empty` called with arguments: (tuple[int, int | Unknown, Integral | _ComplexLike | Unknown], dtype=type[object]) [no-matching-overload]
+ ERROR sklearn/linear_model/_coordinate_descent.py:193:23-70: The type of `Xyw` is unknown because it comes from an error [unknown-from-error]
- ERROR sklearn/linear_model/_coordinate_descent.py:193:34-40: `X_mean` may be uninitialized [unbound-name]
+ ERROR sklearn/linear_model/_coordinate_descent.py:195:23-61: The type of `Xyw` is unknown because it comes from an error [unknown-from-error]
- ERROR sklearn/linear_model/_coordinate_descent.py:195:34-40: `X_mean` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_coordinate_descent.py:1682:44-59: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR sklearn/linear_model/_coordinate_descent.py:1682:44-59: The type of this argument is unknown [unknown-argument-type]
+ ERROR sklearn/linear_model/_coordinate_descent.py:1987:39-48: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR sklearn/linear_model/_glm/_newton_solver.py:736:38-47: `n_classes` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_glm/_newton_solver.py:741:24-33: `n_classes` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_huber.py:66:24-33: `intercept` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_least_angle.py:653:21-27: `alphas` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_least_angle.py:654:20-25: `coefs` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_least_angle.py:658:9-14: `alpha` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_least_angle.py:665:27-37: `prev_alpha` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_least_angle.py:666:21-25: `coef` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_least_angle.py:666:31-40: `prev_coef` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_least_angle.py:669:17-22: `coefs` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_least_angle.py:669:33-37: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR sklearn/linear_model/_least_angle.py:669:33-37: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR sklearn/linear_model/_least_angle.py:751:49-59: `prev_alpha` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_least_angle.py:818:14-18: `coef` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_least_angle.py:834:26-31: `coefs` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_least_angle.py:835:46-55: `prev_coef` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_least_angle.py:840:36-42: `alphas` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_least_angle.py:892:24-32: `Cov_copy` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_least_angle.py:892:52-61: `Gram_copy` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_least_angle.py:905:18-24: `alphas` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_linear_loss.py:498:35-41: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR sklearn/linear_model/_linear_loss.py:498:35-41: The type of this argument is unknown [unknown-argument-type]
- ERROR sklearn/linear_model/_linear_loss.py:498:40-41: The type of attribute `T` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR sklearn/linear_model/_linear_loss.py:498:40-41: The type of attribute `T` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR sklearn/linear_model/_linear_loss.py:954:39-50: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR sklearn/linear_model/_linear_loss.py:954:39-50: The type of this argument is unknown [unknown-argument-type]
- ERROR sklearn/linear_model/_linear_loss.py:954:49-50: The type of attribute `T` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR sklearn/linear_model/_linear_loss.py:954:49-50: The type of attribute `T` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR sklearn/linear_model/_linear_loss.py:962:35-41: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR sklearn/linear_model/_linear_loss.py:962:35-41: The type of this argument is unknown [unknown-argument-type]
- ERROR sklearn/linear_model/_linear_loss.py:962:40-41: The type of attribute `T` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR sklearn/linear_model/_linear_loss.py:962:40-41: The type of attribute `T` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR sklearn/linear_model/_logistic.py:550:27-32: The type of attribute `shape` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR sklearn/linear_model/_logistic.py:550:27-32: The type of attribute `shape` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR sklearn/linear_model/_logistic.py:550:45-50: The type of attribute `shape` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR sklearn/linear_model/_logistic.py:550:45-50: The type of attribute `shape` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR sklearn/linear_model/_logistic.py:2645:31-37: `alpha_` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_logistic.py:2646:27-29: `C_` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_omp.py:140:13-18: `coefs` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_omp.py:148:43-48: `coefs` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_omp.py:273:13-18: `coefs` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_omp.py:286:43-48: `coefs` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_ridge.py:277:26-28: `sw` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_ridge.py:294:27-29: `sw` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/_stochastic_gradient.py:1362:17-22: `prob2` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/tests/test_base.py:345:25-34: Object of class `ndarray` has no attribute `toarray` [missing-attribute]
- ERROR sklearn/linear_model/tests/test_base.py:347:25-26: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR sklearn/linear_model/tests/test_base.py:345:25-36: The type of this argument is unknown [unknown-argument-type]
+ ERROR sklearn/linear_model/tests/test_base.py:345:27-34: The type of attribute `toarray` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR sklearn/linear_model/tests/test_base.py:359:25-34: Object of class `ndarray` has no attribute `toarray` [missing-attribute]
- ERROR sklearn/linear_model/tests/test_base.py:364:31-50: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR sklearn/linear_model/tests/test_base.py:359:25-36: The type of this argument is unknown [unknown-argument-type]
+ ERROR sklearn/linear_model/tests/test_base.py:359:27-34: The type of attribute `toarray` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR sklearn/linear_model/tests/test_base.py:364:16-58: Implicit conversion of `numpy.bool` to `bool` is not allowed [implicit-bool]
- ERROR sklearn/linear_model/tests/test_base.py:479:13-22: Object of class `ndarray` has no attribute `toarray` [missing-attribute]
+ ERROR sklearn/linear_model/tests/test_base.py:479:13-24: The type of `X` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
+ ERROR sklearn/linear_model/tests/test_base.py:479:15-22: The type of attribute `toarray` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR sklearn/linear_model/tests/test_base.py:495:33-34: The type of this argument is unknown [unknown-argument-type]
+ ERROR sklearn/linear_model/tests/test_base.py:497:33-52: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/linear_model/tests/test_base.py:825:41-50: `intercept` may be uninitialized [unbound-name]
+ ERROR sklearn/linear_model/tests/test_base.py:862:14-67: The type of `X2` is an explicit `Any` [explicit-any-use]
- ERROR sklearn/linear_model/tests/test_base.py:857:41-52: `intercept_0` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/tests/test_base.py:862:27-67: No matching overload found for function `scipy.sparse._construct.vstack` called with arguments: (list[ndarray[tuple[Any, ...], dtype[float64]] | Unknown], format=Literal['csc']) [no-matching-overload]
- ERROR sklearn/linear_model/tests/test_base.py:862:34-50: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/linear_model/tests/test_coordinate_descent.py:1378:41-50: `intercept` may be uninitialized [unbound-name]
+ ERROR sklearn/linear_model/tests/test_coordinate_descent.py:1415:14-67: The type of `X2` is an explicit `Any` [explicit-any-use]
- ERROR sklearn/linear_model/tests/test_coordinate_descent.py:1410:41-52: `intercept_0` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/tests/test_coordinate_descent.py:1415:27-67: No matching overload found for function `scipy.sparse._construct.vstack` called with arguments: (list[ndarray[tuple[Any, ...], dtype[float64]] | Unknown], format=Literal['csc']) [no-matching-overload]
- ERROR sklearn/linear_model/tests/test_coordinate_descent.py:1485:26-48: Object of class `ndarray` has no attribute `toarray` [missing-attribute]
+ ERROR sklearn/linear_model/tests/test_coordinate_descent.py:1485:26-50: The type of `X_with_weights` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
+ ERROR sklearn/linear_model/tests/test_coordinate_descent.py:1485:41-48: The type of attribute `toarray` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR sklearn/linear_model/tests/test_coordinate_descent.py:1486:36-50: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/linear_model/tests/test_coordinate_descent.py:1605:41-50: `intercept` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/tests/test_ridge.py:418:54-63: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR sklearn/linear_model/tests/test_ridge.py:418:54-63: The type of this argument is unknown [unknown-argument-type]
- ERROR sklearn/linear_model/tests/test_ridge.py:422:54-69: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/linear_model/tests/test_ridge.py:443:54-63: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/linear_model/tests/test_ridge.py:2497:41-50: `intercept` may be uninitialized [unbound-name]
- ERROR sklearn/linear_model/tests/test_ridge.py:2527:13-22: Object of class `ndarray` has no attribute `toarray` [missing-attribute]
+ ERROR sklearn/linear_model/tests/test_ridge.py:2527:13-24: The type of `X` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
+ ERROR sklearn/linear_model/tests/test_ridge.py:2527:15-22: The type of attribute `toarray` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR sklearn/linear_model/tests/test_ridge.py:2538:32-33: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/linear_model/tests/test_ridge.py:2602:63-87: `None` is not subscriptable [unsupported-operation]
+ ERROR sklearn/linear_model/tests/test_ridge.py:2602:49-87: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR sklearn/metrics/_classification.py:3174:13-24: `report_dict` may be uninitialized [unbound-name]
- ERROR sklearn/metrics/_classification.py:3183:17-23: `report` may be uninitialized [unbound-name]
- ERROR sklearn/metrics/_classification.py:3184:59-64: `width` may be uninitialized [unbound-name]
- ERROR sklearn/metrics/_classification.py:3187:17-23: `report` may be uninitialized [unbound-name]
- ERROR sklearn/metrics/_classification.py:3187:27-34: `row_fmt` may be uninitialized [unbound-name]
- ERROR sklearn/metrics/_classification.py:3187:68-73: `width` may be uninitialized [unbound-name]
- ERROR sklearn/metrics/_classification.py:3190:26-37: `report_dict` may be uninitialized [unbound-name]
- ERROR sklearn/metrics/_plot/precision_recall_curve.py:397:35-54: Object of class `NoneType` has no attribute `get` [missing-attribute]
+ ERROR sklearn/metrics/_plot/precision_recall_curve.py:397:51-54: The type of attribute `get` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR sklearn/metrics/tests/test_common.py:2931:22-24: `pd` may be uninitialized [unbound-name]
- ERROR sklearn/model_selection/_search.py:1291:21-38: `train_scores_dict` may be uninitialized [unbound-name]
- ERROR sklearn/model_selection/_validation.py:403:63-71: The type of this argument is unknown [unknown-argument-type]
+ ERROR sklearn/model_selection/_validation.py:403:63-71: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/model_selection/_validation.py:413:24-41: `train_scores_dict` may be uninitialized [unbound-name]
- ERROR sklearn/model_selection/tests/test_classification_threshold.py:402:20-43: `None` is not subscriptable [unsupported-operation]
- ERROR sklearn/model_selection/tests/test_validation.py:602:39-60: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/model_selection/tests/test_validation.py:604:17-58: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/model_selection/tests/test_validation.py:608:31-52: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/model_selection/tests/test_validation.py:609:31-72: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/model_selection/tests/test_validation.py:610:31-53: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/model_selection/tests/test_validation.py:611:31-55: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/neighbors/_base.py:376:16-26: `neigh_dist` may be uninitialized [unbound-name]
- ERROR sklearn/neighbors/_base.py:949:21-31: `neigh_dist` may be uninitialized [unbound-name]
- ERROR sklearn/neighbors/_base.py:1295:21-31: `neigh_dist` may be uninitialized [unbound-name]
- ERROR sklearn/neighbors/_base.py:1295:21-36: Cannot set item in `tuple[Any, ...]` [unsupported-operation]
- ERROR sklearn/neighbors/_base.py:1298:24-34: `neigh_dist` may be uninitialized [unbound-name]
- ERROR sklearn/neighbors/_nearest_centroid.py:242:36-41: Object of class `SparseABC` has no attribute `max` [missing-attribute]
- ERROR sklearn/neighbors/_nearest_centroid.py:242:52-57: Object of class `SparseABC` has no attribute `min` [missing-attribute]
+ ERROR sklearn/neighbors/_nearest_centroid.py:242:35-81: The type of this argument is unknown [unknown-argument-type]
+ ERROR sklearn/neighbors/_nearest_centroid.py:242:38-41: The type of attribute `max` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR sklearn/neighbors/_nearest_centroid.py:242:54-57: The type of attribute `min` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR sklearn/neighbors/_nearest_centroid.py:242:67-74: The type of attribute `toarray` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR sklearn/neural_network/_multilayer_perceptron.py:711:48-59: The type of this argument is unknown [unknown-argument-type]
- ERROR sklearn/preprocessing/_data.py:269:19-24: `mean_` may be uninitialized [unbound-name]
- ERROR sklearn/preprocessing/_data.py:286:45-51: `scale_` may be uninitialized [unbound-name]
- ERROR sklearn/preprocessing/_polynomial.py:1026:21-32: `output_list` may be uninitialized [unbound-name]
- ERROR sklearn/preprocessing/_polynomial.py:1078:21-24: `XBS` may be uninitialized [unbound-name]
- ERROR sklearn/preprocessing/_polynomial.py:1105:21-24: `XBS` may be uninitialized [unbound-name]
- ERROR sklearn/preprocessing/_polynomial.py:1118:21-24: `XBS` may be uninitialized [unbound-name]
- ERROR sklearn/preprocessing/_polynomial.py:1137:61-64: `XBS` may be uninitialized [unbound-name]
+ ERROR sklearn/preprocessing/_polynomial.py:1137:61-84: The type of this argument is unknown because it comes from an error [unknown-from-error]
- ERROR sklearn/preprocessing/_polynomial.py:1158:25-28: `XBS` may be uninitialized [unbound-name]
- ERROR sklearn/preprocessing/_polynomial.py:1172:25-28: `XBS` may be uninitialized [unbound-name]
- ERROR sklearn/preprocessing/_polynomial.py:1203:29-32: `XBS` may be uninitialized [unbound-name]

... (truncated 20 lines) ...

cwltool (https://github.com/common-workflow-language/cwltool)
- ERROR cwltool/docker.py:270:48-57: `file_copy` may be uninitialized [unbound-name]
- ERROR cwltool/docker.py:301:52-59: `new_dir` may be uninitialized [unbound-name]
- ERROR cwltool/job.py:724:54-62: `new_file` may be uninitialized [unbound-name]
- ERROR cwltool/singularity.py:572:56-63: `new_dir` may be uninitialized [unbound-name]

spark (https://github.com/apache/spark)
- ERROR python/pyspark/eval_handlers/_arrow.py:948:62-74: `udf_start_ns` may be uninitialized [unbound-name]
- ERROR python/pyspark/eval_handlers/_arrow.py:966:57-72: `output_start_ns` may be uninitialized [unbound-name]
- ERROR python/pyspark/pandas/groupby.py:2061:39-43: `name` may be uninitialized [unbound-name]
+ ERROR python/pyspark/pandas/groupby.py:2061:31-81: The type of `pser_or_pdf` is unknown because it comes from an error [unknown-from-error]
- ERROR python/pyspark/pandas/groupby.py:2113:72-76: `name` may be uninitialized [unbound-name]
- ERROR python/pyspark/pandas/indexes/base.py:1598:57-69: `sequence_col` may be uninitialized [unbound-name]
+ ERROR python/pyspark/pandas/indexes/base.py:1598:35-1600:14: The type of `alias_sequence_scol` is unknown because it comes from an error [unknown-from-error]
- ERROR python/pyspark/pandas/indexing.py:1117:26-29: `dec` may be uninitialized [unbound-name]
- ERROR python/pyspark/pandas/indexing.py:1127:26-29: `dec` may be uninitialized [unbound-name]
- ERROR python/pyspark/pandas/internal.py:1194:21-42: `original_index_values` may be uninitialized [unbound-name]
- ERROR python/pyspark/pandas/tests/indexes/test_indexing_loc.py:262:32-38: `psser1` may be uninitialized [unbound-name]
- ERROR python/pyspark/pandas/tests/indexes/test_indexing_loc.py:262:40-45: `pser1` may be uninitialized [unbound-name]
- ERROR python/pyspark/pandas/tests/indexes/test_indexing_loc.py:263:32-38: `psser2` may be uninitialized [unbound-name]
- ERROR python/pyspark/pandas/tests/indexes/test_indexing_loc.py:263:40-45: `pser2` may be uninitialized [unbound-name]
- ERROR python/pyspark/pandas/tests/indexes/test_indexing_loc.py:331:32-38: `psser1` may be uninitialized [unbound-name]
- ERROR python/pyspark/pandas/tests/indexes/test_indexing_loc.py:331:40-45: `pser1` may be uninitialized [unbound-name]
- ERROR python/pyspark/pandas/tests/indexes/test_indexing_loc.py:332:32-38: `psser2` may be uninitialized [unbound-name]
- ERROR python/pyspark/pandas/tests/indexes/test_indexing_loc.py:332:40-45: `pser2` may be uninitialized [unbound-name]
- ERROR python/pyspark/sql/pandas/functions.py:868:13-35: The type of this argument is unknown [unknown-argument-type]
+ ERROR python/pyspark/sql/pandas/functions.py:868:13-35: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR python/pyspark/sql/pandas/functions.py:875:13-35: The type of this argument is unknown [unknown-argument-type]
+ ERROR python/pyspark/sql/pandas/functions.py:875:13-35: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR python/pyspark/sql/pandas/serializers.py:104:52-60: `start_ns` may be uninitialized [unbound-name]
- ERROR python/pyspark/sql/pandas/serializers.py:111:52-60: `start_ns` may be uninitialized [unbound-name]
- ERROR python/pyspark/sql/pandas/serializers.py:127:47-55: `start_ns` may be uninitialized [unbound-name]
- ERROR python/pyspark/sql/pandas/serializers.py:158:52-60: `start_ns` may be uninitialized [unbound-name]
- ERROR python/pyspark/sql/tests/coercion/test_pandas_udf_input_type.py:311:50-61: Object of class `NoneType` has no attribute `iloc` [missing-attribute]
+ ERROR python/pyspark/sql/tests/coercion/test_pandas_udf_input_type.py:311:50-66: The type of this argument is unknown [unknown-argument-type]
+ ERROR python/pyspark/sql/tests/coercion/test_pandas_udf_input_type.py:311:57-61: The type of attribute `iloc` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR python/pyspark/sql/tests/coercion/test_python_udf_input_type.py:342:50-61: Object of class `NoneType` has no attribute `iloc` [missing-attribute]
+ ERROR python/pyspark/sql/tests/coercion/test_python_udf_input_type.py:342:50-66: The type of this argument is unknown [unknown-argument-type]
+ ERROR python/pyspark/sql/tests/coercion/test_python_udf_input_type.py:342:57-61: The type of attribute `iloc` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR python/pyspark/sql/tests/test_udf_transpile_hypothesis.py:471:10-23: `_hyp_settings` may be uninitialized [unbound-name]
- ERROR python/pyspark/sql/tests/test_udf_transpile_hypothesis.py:472:10-15: `given` may be uninitialized [unbound-name]
- ERROR python/pyspark/sql/tests/test_udf_transpile_hypothesis.py:472:22-42: `_long_arith_strategy` may be uninitialized [unbound-name]
- ERROR python/pyspark/sql/tests/test_udf_transpile_hypothesis.py:473:10-24: `_seed_examples` may be uninitialized [unbound-name]
- ERROR python/pyspark/sql/tests/test_udf_transpile_hypothesis.py:473:25-42: `_LONG_ARITH_EDGES` may be uninitialized [unbound-name]
- ERROR python/pyspark/sql/tests/test_udf_transpile_hypothesis.py:496:22-36: `_long_strategy` may be uninitialized [unbound-name]
- ERROR python/pyspark/sql/tests/test_udf_transpile_hypothesis.py:497:25-36: `_LONG_EDGES` may be uninitialized [unbound-name]
- ERROR python/pyspark/sql/tests/test_udf_transpile_hypothesis.py:504:22-36: `_bool_strategy` may be uninitialized [unbound-name]
- ERROR python/pyspark/sql/tests/test_udf_transpile_hypothesis.py:505:25-36: `_BOOL_EDGES` may be uninitialized [unbound-name]
- ERROR python/pyspark/sql/tests/test_udf_transpile_hypothesis.py:568:10-29: `_seed_pair_examples` may be uninitialized [unbound-name]
- ERROR python/pyspark/sql/tests/test_udf_transpile_hypothesis.py:568:30-52: `_LONG_ARITH_PAIR_EDGES` may be uninitialized [unbound-name]
- ERROR python/pyspark/sql/tests/test_udf_transpile_hypothesis.py:600:30-49: `_BOOLEAN_PAIR_EDGES` may be uninitialized [unbound-name]
- ERROR python/pyspark/sql/tests/test_udf_transpile_hypothesis.py:620:30-46: `_LONG_PAIR_EDGES` may be uninitialized [unbound-name]
- ERROR python/pyspark/testing/goldenutils.py:256:36-46: Object of class `NoneType` has no attribute `loc` [missing-attribute]
+ ERROR python/pyspark/testing/goldenutils.py:257:24-42: Implicit conversion of `NAType | bool | Any` to `bool` is not allowed [implicit-bool]
- ERROR python/pyspark/tests/upstream/numpy/test_numpy_ufunc_type_coercion.py:104:21-23: `np` may be uninitialized [unbound-name]

setuptools (https://github.com/pypa/setuptools)
- ERROR setuptools/_distutils/command/bdist_rpm.py:329:22-29: `rpm_dir` may be uninitialized [unbound-name]
+ ERROR setuptools/_distutils/command/bdist_rpm.py:329:22-40: The type of `source_dir` is unknown because it comes from an error [unknown-from-error]
- ERROR setuptools/_distutils/tests/test_check.py:60:22-29: `old_dir` may be uninitialized [unbound-name]
- ERROR setuptools/_vendor/autocommand/autoasync.py:140:43-50: `new_sig` may be uninitialized [unbound-name]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:1830:38-47: `saved_pos` may be uninitialized [unbound-name]

pyinstrument (https://github.com/joerick/pyinstrument)
- ERROR pyinstrument/magic/magic.py:234:29-42: The type of attribute `error_in_exec` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR pyinstrument/magic/magic.py:234:29-42: The type of attribute `error_in_exec` is an explicit `Any` [explicit-any-use]
- ERROR pyinstrument/magic/magic.py:235:40-53: The type of attribute `error_in_exec` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR pyinstrument/magic/magic.py:235:40-53: The type of attribute `error_in_exec` is an explicit `Any` [explicit-any-use]

alerta (https://github.com/alerta/alerta)
- ERROR alerta/webhooks/grafana.py:73:20-26: The type of attribute `update` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR alerta/webhooks/grafana.py:73:26-85: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]

freqtrade (https://github.com/freqtrade/freqtrade)
- ERROR freqtrade/exchange/binance.py:357:34-47: `funding_rates` may be uninitialized [unbound-name]
- ERROR freqtrade/rpc/rpc.py:1716:17-25: `strategy` may be uninitialized [unbound-name]
- ERROR freqtrade/strategy/informative_decorator.py:231:47-58: `fingerprint` may be uninitialized [unbound-name]

pwndbg (https://github.com/pwndbg/pwndbg)
- ERROR pwndbg/aglib/disasm/disassembly.py:974:25-50: `instruction_sequence_head` may be uninitialized [unbound-name]
- ERROR pwndbg/aglib/nearpc.py:685:17-25: `pair_map` may be uninitialized [unbound-name]
- ERROR pwndbg/aglib/nearpc.py:686:17-24: `pair_id` may be uninitialized [unbound-name]
- ERROR pwndbg/aglib/nearpc.py:687:17-32: `maximum_pair_id` may be uninitialized [unbound-name]
- ERROR pwndbg/aglib/nearpc.py:709:12-54: Implicit conversion of `Literal[False] | str | None` to `bool` is not allowed [implicit-bool]
+ ERROR pwndbg/aglib/nearpc.py:709:12-54: Implicit conversion of `Literal[False] | str` to `bool` is not allowed [implicit-bool]
- ERROR pwndbg/commands/probeleak.py:143:58-71: `require_flags` may be uninitialized [unbound-name]
- ERROR pwndbg/commands/telescope.py:255:31-43: `-` is not supported between `None` and `int` [unsupported-operation]
- ERROR pwndbg/dbg_mod/lldb/repl/__init__.py:367:40-47: `session` may be uninitialized [unbound-name]

manticore (https://github.com/trailofbits/manticore)
- ERROR manticore/core/smtlib/constraints.py:206:59-76: `constant_bindings` may be uninitialized [unbound-name]

schemathesis (https://github.com/schemathesis/schemathesis)
- ERROR src/schemathesis/pytest/plugin.py:214:37-44: `funcobj` may be uninitialized [unbound-name]
- ERROR src/schemathesis/specs/openapi/_operation_lookup.py:107:30-47: `resolved_resolver` may be uninitialized [unbound-name]

materialize (https://github.com/MaterializeInc/materialize)
- ERROR test/terraform/mzcompose.py:1160:20-41: Implicit conversion of `Thread | None` to `bool` is not allowed [implicit-bool]
+ ERROR test/terraform/mzcompose.py:1160:20-41: Implicit conversion of `Thread` to `bool` is not allowed [implicit-bool]
- ERROR test/terraform/mzcompose.py:1238:20-41: Implicit conversion of `Thread | None` to `bool` is not allowed [implicit-bool]
+ ERROR test/terraform/mzcompose.py:1238:20-41: Implicit conversion of `Thread` to `bool` is not allowed [implicit-bool]
- ERROR test/terraform/mzcompose.py:1650:20-41: Implicit conversion of `Thread | None` to `bool` is not allowed [implicit-bool]
+ ERROR test/terraform/mzcompose.py:1650:20-41: Implicit conversion of `Thread` to `bool` is not allowed [implicit-bool]
- ERROR test/terraform/mzcompose.py:1898:20-41: Implicit conversion of `Thread | None` to `bool` is not allowed [implicit-bool]
+ ERROR test/terraform/mzcompose.py:1898:20-41: Implicit conversion of `Thread` to `bool` is not allowed [implicit-bool]

mitmproxy (https://github.com/mitmproxy/mitmproxy)
+ ERROR mitmproxy/proxy/layers/http/__init__.py:683:21-24: Argument `str | None` is not assignable to parameter `message` with type `str` in function `mitmproxy.proxy.layers.http._events.ResponseProtocolError.__init__` [bad-argument-type]

aioredis (https://github.com/aio-libs/aioredis)
+ ERROR aioredis/client.py:4250:45-63: The type of this argument is unknown [unknown-argument-type]
- ERROR aioredis/client.py:4250:44-70: No matching overload found for function `dict.get` called with arguments: (str | Unknown | None, None) [no-matching-overload]
- ERROR aioredis/client.py:4250:45-63: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR aioredis/client.py:4254:48-55: The type of this argument is unknown because it comes from an error [unknown-from-error]
+ ERROR aioredis/client.py:4253:16-23: Implicit conversion of `((dict[str, str]) -> Awaitable[None]) | Unknown | None` to `bool` is not allowed [implicit-bool]
+ ERROR aioredis/client.py:4257:21-37: Result of call expression is of type `Awaitable[None] | Unknown` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR aioredis/client.py:4257:29-36: Argument `dict[str, str | Unknown] | dict[str, str | Unknown | None] | dict[str, Unknown | None]` is not assignable to parameter with type `dict[str, str]` [bad-argument-type]
+ ERROR aioredis/client.py:4257:29-36: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]

pytest-autoprofile (https://gitlab.com/TTsangSC/pytest-autoprofile)
- ERROR src/pytest_autoprofile/_test_utils.py:2140:51-66: `cap_module_name` may be uninitialized [unbound-name]

cloud-init (https://github.com/canonical/cloud-init)
- ERROR cloudinit/config/cc_ntp.py:467:23-34: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR cloudinit/config/schema.py:1197:21-26: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR cloudinit/config/schema.py:1197:21-26: The type of this argument is unknown [unknown-argument-type]
- ERROR cloudinit/net/ephemeral.py:481:27-50: `ipv6_ephemeral_obtained` may be uninitialized [unbound-name]
+ ERROR cloudinit/sources/DataSourceEc2.py:1064:25-45: Type `None` is not iterable [not-iterable]
- ERROR cloudinit/sources/DataSourceEc2.py:1066:13-1069:14: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR cloudinit/sources/DataSourceEc2.py:1077:15-18: Type `None` is not iterable [not-iterable]
- ERROR cloudinit/sources/DataSourceEc2.py:1079:13-1082:14: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR tests/unittests/test_util.py:578:27-35: `confd_fn` may be uninitialized [unbound-name]

vision (https://github.com/pytorch/vision)
- ERROR torchvision/datasets/kitti.py:84:50-60: `labels_dir` may be uninitialized [unbound-name]
- ERROR torchvision/ops/roi_align.py:189:27-62: `None` is not subscriptable [unsupported-operation]
- ERROR torchvision/ops/roi_align.py:190:27-62: `None` is not subscriptable [unsupported-operation]
- ERROR torchvision/transforms/transforms.py:687:19-68: The type of `img` is unknown because it comes from an error [unknown-from-error]
+ ERROR torchvision/transforms/transforms.py:687:25-28: The type of this argument is unknown because it comes from an error [unknown-from-error]
- ERROR torchvision/transforms/transforms.py:687:25-28: The type of this argument is unknown [unknown-argument-type]
- ERROR torchvision/utils.py:598:15-23: `to_dtype` may be uninitialized [unbound-name]

strawberry (https://github.com/strawberry-graphql/strawberry)
+ ERROR strawberry/pydantic/fields.py:933:62-72: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]

stone (https://github.com/dropbox/stone)
- ERROR stone/_vendor/ply/lex.py:924:9-22: Object of class `NoneType` has no attribute `info` [missing-attribute]
+ ERROR stone/_vendor/ply/lex.py:924:9-58: Result of call expression is of type `Unknown | None` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR stone/_vendor/ply/lex.py:924:18-22: The type of attribute `info` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR stone/_vendor/ply/lex.py:924:45-57: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/_vendor/ply/lex.py:925:9-22: Object of class `NoneType` has no attribute `info` [missing-attribute]
+ ERROR stone/_vendor/ply/lex.py:925:9-60: Result of call expression is of type `Unknown | None` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR stone/_vendor/ply/lex.py:925:18-22: The type of attribute `info` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR stone/_vendor/ply/lex.py:925:45-59: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/_vendor/ply/lex.py:926:9-22: Object of class `NoneType` has no attribute `info` [missing-attribute]
+ ERROR stone/_vendor/ply/lex.py:926:9-61: Result of call expression is of type `Unknown | None` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR stone/_vendor/ply/lex.py:926:18-22: The type of attribute `info` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/_vendor/ply/lex.py:953:17-30: Object of class `NoneType` has no attribute `info` [missing-attribute]
+ ERROR stone/_vendor/ply/lex.py:953:17-103: Result of call expression is of type `Unknown | None` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR stone/_vendor/ply/lex.py:953:26-30: The type of attribute `info` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR stone/_vendor/ply/lex.py:953:75-80: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/_vendor/ply/lex.py:953:82-95: The type of this argument is unknown [unknown-argument-type]
- ERROR stone/_vendor/ply/lex.py:959:17-30: Object of class `NoneType` has no attribute `info` [missing-attribute]
+ ERROR stone/_vendor/ply/lex.py:959:17-90: Result of call expression is of type `Unknown | None` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR stone/_vendor/ply/lex.py:959:26-30: The type of attribute `info` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR stone/_vendor/ply/lex.py:959:75-79: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/_vendor/ply/lex.py:959:81-82: The type of this argument is unknown [unknown-argument-type]
- ERROR stone/_vendor/ply/lex.py:966:9-22: Object of class `NoneType` has no attribute `info` [missing-attribute]
+ ERROR stone/_vendor/ply/lex.py:966:9-61: Result of call expression is of type `Unknown | None` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR stone/_vendor/ply/lex.py:966:18-22: The type of attribute `info` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/_vendor/ply/lex.py:975:17-30: Object of class `NoneType` has no attribute `info` [missing-attribute]
+ ERROR stone/_vendor/ply/lex.py:975:17-84: Result of call expression is of type `Unknown | None` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR stone/_vendor/ply/lex.py:975:26-30: The type of attribute `info` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR stone/_vendor/ply/lex.py:975:79-83: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/backends/obj_c_types.py:172:29-38: The type of this argument is an explicit `Any` [explicit-any-use]
+ ERROR stone/backends/obj_c_types.py:174:25-34: The type of this argument is an explicit `Any` [explicit-any-use]
+ ERROR stone/backends/obj_c_types.py:180:42-51: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR stone/backends/python_rsrc/stone_base.py:19:9-15: `typing` may be uninitialized [unbound-name]
- ERROR stone/cli.py:274:29-44: `read_from_stdin` may be uninitialized [unbound-name]
- ERROR stone/cli.py:312:31-36: `specs` may be uninitialized [unbound-name]

pandera (https://github.com/pandera-dev/pandera)
- ERROR pandera/_cli/generate.py:205:9-209:10: Result of call expression is of type `Any | None` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR pandera/_cli/generate.py:205:12-18: The type of attribute `to_csv` is an explicit `Any` [explicit-any-use]
- ERROR pandera/backends/ibis/base.py:204:28-37: `index_col` may be uninitialized [unbound-name]
+ ERROR pandera/backends/ibis/base.py:204:19-38: The type of `out` is unknown because it comes from an error [unknown-from-error]

zulip (https://github.com/zulip/zulip)
- ERROR zerver/migrations/0377_message_edit_history_format.py:89:45-50: `topic` may be uninitialized [unbound-name]
- ERROR zerver/migrations/0377_message_edit_history_format.py:100:45-50: `topic` may be uninitialized [unbound-name]
- ERROR zerver/migrations/0377_message_edit_history_format.py:108:46-55: `stream_id` may be uninitialized [unbound-name]
- ERROR zerver/migrations/0423_fix_email_gateway_attachment_owner.py:145:58-60: The type of attribute `id` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR zerver/migrations/0423_fix_email_gateway_attachment_owner.py:145:58-60: The type of attribute `id` is an explicit `Any` [explicit-any-use]
- ERROR zerver/migrations/0576_backfill_imageattachment.py:69:32-45: `upload_bucket` may be uninitialized [unbound-name]
+ ERROR zerver/migrations/0576_backfill_imageattachment.py:69:32-78: The type of `metadata` is unknown because it comes from an error [unknown-from-error]
- ERROR zerver/migrations/0622_backfill_imageattachment_again.py:73:32-45: `upload_bucket` may be uninitialized [unbound-name]
+ ERROR zerver/migrations/0622_backfill_imageattachment_again.py:73:32-78: The type of `metadata` is unknown because it comes from an error [unknown-from-error]
- ERROR analytics/lib/counts.py:1008:9-32: `RemoteInstallationCount` may be uninitialized [unbound-name]
- ERROR analytics/management/commands/update_analytics_counts.py:77:67-71: `last` may be uninitialized [unbound-name]
- ERROR analytics/management/commands/update_analytics_counts.py:82:95-100: `start` may be uninitialized [unbound-name]
- ERROR corporate/lib/test_stripe_class.py:942:13-19: `cursor` may be uninitialized [unbound-name]
- ERROR corporate/views/installation_activity.py:339:35-49: `estimated_arrs` may be uninitialized [unbound-name]
- ERROR corporate/views/installation_activity.py:343:41-51: `plan_rates` may be uninitialized [unbound-name]
- ERROR zerver/actions/create_user.py:623:33-58: `full_members_system_group` may be uninitialized [unbound-name]
- ERROR zerver/actions/message_edit.py:1101:40-50: `new_stream` may be uninitialized [unbound-name]
- ERROR zerver/actions/message_edit.py:1234:34-59: `users_losing_usermessages` may be uninitialized [unbound-name]
- ERROR zerver/actions/message_edit.py:1396:31-44: `target_stream` may be uninitialized [unbound-name]
- ERROR zerver/actions/message_edit.py:1397:35-52: `target_topic_name` may be uninitialized [unbound-name]
- ERROR zerver/actions/message_edit.py:1398:43-68: `target_topic_has_messages` may be uninitialized [unbound-name]
- ERROR zerver/actions/message_edit.py:1421:39-64: `target_topic_has_messages` may be uninitialized [unbound-name]
- ERROR zerver/actions/message_edit.py:1468:44-88: `orig_topic_user_profile_to_visibility_policy` may be uninitialized [unbound-name]
- ERROR zerver/actions/realm_settings.py:605:31-50: `RealmBillingSession` may be uninitialized [unbound-name]
- ERROR zerver/actions/streams.py:928:13-54: `subscribers_of_altered_user_subscriptions` may be uninitialized [unbound-name]
- ERROR zerver/lib/import_realm.py:1431:17-41: `filename_to_has_original` may be uninitialized [unbound-name]
- ERROR zerver/lib/import_realm.py:2412:17-21: `tups` may be uninitialized [unbound-name]
- ERROR zerver/lib/import_realm.py:2414:17-28: `message_ids` may be uninitialized [unbound-name]
- ERROR zerver/lib/import_realm.py:2419:9-13: `tups` may be uninitialized [unbound-name]
- ERROR zerver/lib/import_realm.py:2422:12-23: `message_ids` may be uninitialized [unbound-name]
- ERROR zerver/lib/message.py:766:20-27: `streams` may be uninitialized [unbound-name]
- ERROR zerver/lib/retention.py:407:71-86: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR zerver/lib/retention.py:409:44-59: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR zerver/lib/retention.py:411:12-29: `acting_user_event` may be uninitialized [unbound-name]
- ERROR zerver/lib/streams.py:1443:51-69: `default_stream_ids` may be uninitialized [unbound-name]
- ERROR zerver/management/commands/runtornado.py:143:44-56: `queue_client` may be uninitialized [unbound-name]
- ERROR zerver/views/message_edit.py:259:50-55: `realm` may be uninitialized [unbound-name]
- ERROR zerver/views/message_edit.py:261:12-24: `user_message` may be uninitialized [unbound-name]
- ERROR zproject/computed_settings.py:701:45-56: `STATIC_ROOT` may be uninitialized [unbound-name]
- ERROR zproject/computed_settings.py:703:45-56: `STATIC_ROOT` may be uninitialized [unbound-name]
- ERROR zproject/urls.py:1018:31-38: `tf_urls` may be uninitialized [unbound-name]
- ERROR zproject/urls.py:1018:59-73: `tf_twilio_urls` may be uninitialized [unbound-name]
+ ERROR zproject/urls.py:1018:31-38: The type of this argument is unknown because it comes from an error [unknown-from-error]
+ ERROR zproject/urls.py:1018:59-73: The type of this argument is unknown because it comes from an error [unknown-from-error]

ibis (https://github.com/ibis-project/ibis)
- ERROR ibis/backends/singlestoredb/tests/conftest.py:95:13-40: Object of class `NoneType` has no attribute `disconnect` [missing-attribute]
+ ERROR ibis/backends/singlestoredb/tests/conftest.py:95:30-40: The type of attribute `disconnect` is an explicit `Any` [explicit-any-use]
- ERROR ibis/backends/sql/compilers/datafusion.py:520:33-48: `by_names_quoted` may be uninitialized [unbound-name]
+ ERROR ibis/backends/sql/compilers/datafusion.py:520:19-49: The type of `sel` is unknown because it comes from an error [unknown-from-error]

static-frame (https://github.com/static-frame/static-frame)
- ERROR static_frame/core/db_util.py:576:32-44: `query_create` may be uninitialized [unbound-name]
- ERROR static_frame/core/display.py:754:40-49: `max_width` may be uninitialized [unbound-name]
- ERROR static_frame/core/display.py:769:43-52: `pad_width` may be uninitialized [unbound-name]
- ERROR static_frame/core/frame.py:6166:68-77: `drop_mask` may be uninitialized [unbound-name]
- ERROR static_frame/core/frame.py:6168:62-71: `drop_mask` may be uninitialized [unbound-name]
- ERROR static_frame/core/frame.py:9641:37-48: `index_names` may be uninitialized [unbound-name]
- ERROR static_frame/core/frame.py:9645:46-57: `index_depth` may be uninitialized [unbound-name]
- ERROR static_frame/core/frame.py:9647:36-49: `columns_names` may be uninitialized [unbound-name]
- ERROR static_frame/core/frame.py:9650:55-66: `index_depth` may be uninitialized [unbound-name]
- ERROR static_frame/core/frame.py:9653:35-46: `filter_func` may be uninitialized [unbound-name]
- ERROR static_frame/core/frame.py:9667:24-35: `index_depth` may be uninitialized [unbound-name]
- ERROR static_frame/core/frame.py:9668:39-51: `index_values` may be uninitialized [unbound-name]
- ERROR static_frame/core/frame.py:9670:43-54: `filter_func` may be uninitialized [unbound-name]
- ERROR static_frame/core/frame.py:9674:44-56: `index_values` may be uninitialized [unbound-name]
- ERROR static_frame/core/frame.py:9676:47-58: `filter_func` may be uninitialized [unbound-name]
- ERROR static_frame/core/frame.py:9681:31-42: `filter_func` may be uninitialized [unbound-name]
- ERROR static_frame/core/pivot.py:1345:29-47: `contract_src_types` may be uninitialized [unbound-name]
- ERROR static_frame/core/series.py:404:17-24: `indices` may be uninitialized [unbound-name]
- ERROR static_frame/core/series.py:416:17-24: `indices` may be uninitialized [unbound-name]
- ERROR static_frame/core/store_xlsx.py:222:25-37: `writer_names` may be uninitialized [unbound-name]
- ERROR static_frame/core/store_xlsx.py:232:29-41: `writer_names` may be uninitialized [unbound-name]
- ERROR static_frame/core/store_xlsx.py:242:25-39: `writer_columns` may be uninitialized [unbound-name]
- ERROR static_frame/core/store_xlsx.py:245:29-43: `columns_values` may be uninitialized [unbound-name]
- ERROR static_frame/core/store_xlsx.py:253:29-43: `writer_columns` may be uninitialized [unbound-name]
- ERROR static_frame/core/store_xlsx.py:256:33-47: `columns_values` may be uninitialized [unbound-name]
- ERROR static_frame/core/store_xlsx.py:449:29-33: `mask` may be uninitialized [unbound-name]
- ERROR static_frame/core/store_xlsx.py:453:25-29: `mask` may be uninitialized [unbound-name]
- ERROR static_frame/core/store_xlsx.py:484:44-48: `mask` may be uninitialized [unbound-name]
- ERROR static_frame/core/type_blocks.py:219:48-57: `drop_mask` may be uninitialized [unbound-name]
- ERROR static_frame/core/type_blocks.py:224:45-54: `drop_mask` may be uninitialized [unbound-name]
- ERROR static_frame/core/type_blocks.py:239:32-42: `column_key` may be uninitialized [unbound-name]
- ERROR static_frame/core/type_blocks.py:247:29-36: `row_key` may be uninitialized [unbound-name]
- ERROR static_frame/core/type_blocks.py:361:48-57: `drop_mask` may be uninitialized [unbound-name]
- ERROR static_frame/core/type_blocks.py:366:45-54: `drop_mask` may be uninitialized [unbound-name]
- ERROR static_frame/core/type_blocks.py:1590:27-30: `pos` may be uninitialized [unbound-name]
- ERROR static_frame/core/type_blocks.py:1593:27-30: `pos` may be uninitialized [unbound-name]
- ERROR static_frame/core/type_blocks.py:1597:27-30: `pos` may be uninitialized [unbound-name]
- ERROR static_frame/core/util.py:1571:27-38: `is_not_none` may be uninitialized [unbound-name]
- ERROR static_frame/core/util.py:1580:20-31: `is_not_none` may be uninitialized [unbound-name]
- ERROR static_frame/core/util.py:3306:40-44: `cols` may be uninitialized [unbound-name]
- ERROR static_frame/core/util.py:3313:40-44: `cols` may be uninitialized [unbound-name]
- ERROR static_frame/core/util.py:3341:48-52: `cols` may be uninitialized [unbound-name]
- ERROR static_frame/core/util.py:3374:61-65: `cols` may be uninitialized [unbound-name]
- ERROR static_frame/core/util.py:3840:29-34: `state` may be uninitialized [unbound-name]

mypy (https://github.com/python/mypy)
- ERROR mypy/build.py:1822:61-63: `t0` may be uninitialized [unbound-name]
- ERROR mypy/build.py:2063:33-35: `t0` may be uninitialized [unbound-name]
- ERROR mypy/build.py:2063:57-59: `t1` may be uninitialized [unbound-name]
- ERROR mypy/build.py:2205:60-62: `t0` may be uninitialized [unbound-name]
- ERROR mypy/build.py:2787:64-66: `t0` may be uninitialized [unbound-name]
- ERROR mypy/build.py:2867:45-57: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR mypy/build.py:2852:67-81: Unused `# type: ignore` comment [unused-type-ignore]
- ERROR mypy/build.py:3941:58-60: `t0` may be uninitialized [unbound-name]
- ERROR mypy/build.py:3953:58-60: `t0` may be uninitialized [unbound-name]
- ERROR mypy/build.py:4620:62-69: `scc_str` may be uninitialized [unbound-name]
- ERROR mypy/build.py:4620:76-85: `fresh_msg` may be uninitialized [unbound-name]
- ERROR mypy/build.py:4623:73-80: `scc_str` may be uninitialized [unbound-name]
- ERROR mypy/build.py:4623:82-91: `fresh_msg` may be uninitialized [unbound-name]
- ERROR mypy/checkexpr.py:6033:43-59: `old_infer_unions` may be uninitialized [unbound-name]
- ERROR mypy/checkexpr.py:6088:43-59: `old_infer_unions` may be uninitialized [unbound-name]
- ERROR mypy/semanal.py:608:61-81: `old_return_stmt_flag` may be uninitialized [unbound-name]
- ERROR mypy/semanal.py:2089:36-53: `type_params_names` may be uninitialized [unbound-name]
- ERROR mypy/stubgenc.py:487:38-44: `output` may be uninitialized [unbound-name]
- ERROR mypy/stubtest.py:1309:9-17: `stub_sig` may be uninitialized [unbound-name]
- ERROR mypy/stubtest.py:1310:9-20: `runtime_sig` may be uninitialized [unbound-name]
+ ERROR mypy/subtypes.py:1697:34-46: No matching overload found for function `mypy.expandtype.expand_type_by_instance` called with arguments: (FunctionLike | Type | None, Instance) [no-matching-overload]
- ERROR mypy/test/testpep561.py:159:23-30: `program` may be uninitialized [unbound-name]
- ERROR mypyc/codegen/emitclass.py:544:64-82: `shadow_vtable_name` may be uninitialized [unbound-name]
- ERROR mypyc/codegen/emitclass.py:1439:47-56: `undefined` may be uninitialized [unbound-name]
- ERROR mypyc/codegen/emitfunc.py:683:43-47: `dest` may be uninitialized [unbound-name]
- ERROR mypyc/codegen/emitfunc.py:698:43-47: `dest` may be uninitialized [unbound-name]
- ERROR mypyc/codegen/emitfunc.py:709:43-47: `dest` may be uninitialized [unbound-name]
- ERROR mypyc/codegen/emitfunc.py:732:43-47: `dest` may be uninitialized [unbound-name]
- ERROR mypyc/irbuild/ll_builder.py:1178:28-32: `skip` may be uninitialized [unbound-name]
- ERROR mypyc/irbuild/ll_builder.py:1271:36-48: `coerced_args` may be uninitialized [unbound-name]
- ERROR mypyc/irbuild/ll_builder.py:2968:37-48: `false_block` may be uninitialized [unbound-name]
- ERROR mypyc/test/test_emit.py:79:42-50: `previous` may be uninitialized [unbound-name]

pywin32 (https://github.com/mhammond/pywin32)
- ERROR com/win32com/test/errorSemantics.py:239:9-19: `testLogger` may be uninitialized [unbound-name]

dragonchain (https://github.com/dragonchain/dragonchain)
- ERROR dragonchain/broadcast_processor/broadcast_processor.py:284:119-127: `chain_id` may be uninitialized [unbound-name]
- ERROR dragonchain/broadcast_processor/broadcast_processor.py:321:123-131: `chain_id` may be uninitialized [unbound-name]

sockeye (https://github.com/awslabs/sockeye)
- ERROR sockeye_contrib/plot_metrics.py:208:13-16: `ax2` may be uninitialized [unbound-name]

hydpy (https://github.com/hydpy-dev/hydpy)
- ERROR hydpy/models/lland/lland_model.py:6974:37-39: `c2` may be uninitialized [unbound-name]
- ERROR hydpy/models/lland/lland_model.py:6974:68-70: `c1` may be uninitialized [unbound-name]

anyio (https://github.com/agronholm/anyio)
- ERROR src/anyio/_backends/_asyncio.py:2812:42-46: `task` may be uninitialized [unbound-name]

pandas (https://github.com/pandas-dev/pandas)
+ ERROR pandas/core/arrays/numeric.py:186:22-61: The type of `values` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pandas/core/common.py:609:32-41: `old_value` may be uninitialized [unbound-name]
- ERROR pandas/core/generic.py:8618:52-58: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pandas/core/generic.py:8618:52-58: The type of this argument is unknown [unknown-argument-type]
- ERROR pandas/core/groupby/groupby.py:5745:54-65: `weights_arr` may be uninitialized [unbound-name]
- ERROR pandas/core/groupby/ops.py:564:32-38: `counts` may be uninitialized [unbound-name]
- ERROR pandas/core/groupby/ops.py:768:31-40: `null_gaps` may be uninitialized [unbound-name]
- ERROR pandas/core/internals/blocks.py:1836:64-70: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pandas/core/internals/blocks.py:1836:64-70: The type of this argument is unknown [unknown-argument-type]
- ERROR pandas/core/internals/blocks.py:1836:81-86: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pandas/core/internals/blocks.py:1836:81-86: The type of this argument is unknown [unknown-argument-type]
- ERROR pandas/core/internals/construction.py:668:34-39: `index` may be uninitialized [unbound-name]
- ERROR pandas/core/resample.py:1057:55-66: `final_index` may be uninitialized [unbound-name]
- ERROR pandas/core/reshape/pivot.py:662:60-67: The type of attribute `columns` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pandas/core/reshape/pivot.py:662:60-67: The type of attribute `columns` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR pandas/core/reshape/reshape.py:371:33-43: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pandas/core/reshape/reshape.py:371:33-43: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR pandas/core/reshape/reshape.py:398:41-51: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pandas/core/sorting.py:302:29-33: `lift` may be uninitialized [unbound-name]
- ERROR pandas/io/formats/format.py:1533:65-74: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
- ERROR pandas/io/formats/html.py:466:28-40: `index_values` may be uninitialized [unbound-name]
- ERROR pandas/io/formats/string.py:142:31-34: `idx` may be uninitialized [unbound-name]
+ ERROR pandas/io/formats/style_render.py:1897:12-15: The type of `lvl` is an explicit `Any` [explicit-any-use]
+ ERROR pandas/io/formats/style_render.py:1899:16-19: The type of `row` is an explicit `Any` [explicit-any-use]
- ERROR pandas/io/pytables.py:4970:47-65: `existing_index_col` may be uninitialized [unbound-name]
- ERROR pandas/io/pytables.py:5002:47-65: `existing_index_col` may be uninitialized [unbound-name]
- ERROR pandas/tests/arrays/string_/test_string.py:178:52-60: Unpacked keyword argument `StringDtype` is not assignable to parameter `copy` with type `bool` in function `pandas.core.arrays.string_.StringArray.__init__` [bad-argument-type]
- ERROR pandas/tests/arrays/string_/test_string.py:178:52-60: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pandas/tests/arrays/string_/test_string.py:179:50-58: Unpacked keyword argument `StringDtype` is not assignable to parameter `copy` with type `bool` in function `pandas.core.arrays.string_.StringArray.__init__` [bad-argument-type]
- ERROR pandas/tests/arrays/string_/test_string.py:179:50-58: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pandas/tests/extension/base/methods.py:849:44-75: The type of this argument is unknown [unknown-argument-type]
+ ERROR pandas/tests/extension/base/methods.py:849:67-74: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pandas/tests/extension/base/methods.py:849:54-59: The type of attribute `index` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR pandas/tests/extension/base/methods.py:849:60-66: The type of attribute `repeat` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR pandas/tests/extension/base/reshaping.py:336:22-36: The type of `df` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pandas/tests/extension/base/reshaping.py:336:26-34: The type of attribute `to_frame` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pandas/tests/extension/base/reshaping.py:338:23-67: The type of `alt` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pandas/tests/extension/base/reshaping.py:338:47-56: The type of attribute `droplevel` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pandas/tests/extension/base/reshaping.py:339:47-50: Argument `DataFrame | Series | Unknown` is not assignable to parameter `right` with type `DataFrame` in function `pandas._testing.asserters.assert_frame_equal` [bad-argument-type]
+ ERROR pandas/tests/extension/base/reshaping.py:339:47-50: Argument `DataFrame | Series` is not assignable to parameter `right` with type `DataFrame` in function `pandas._testing.asserters.assert_frame_equal` [bad-argument-type]
- ERROR pandas/tests/frame/methods/test_droplevel.py:32:17-48: Result of call expression is of type `DataFrame | Unknown` and is not used; assign to `_` if this is intentional [unused-call-result]
- ERROR pandas/tests/frame/methods/test_droplevel.py:32:20-29: The type of attribute `droplevel` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pandas/tests/frame/methods/test_droplevel.py:32:20-29: The type of attribute `droplevel` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR pandas/tests/frame/test_api.py:380:40-50: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pandas/tests/frame/test_api.py:380:40-50: The type of this argument is unknown [unknown-argument-type]
- ERROR pandas/tests/frame/test_api.py:380:44-50: The type of attribute `values` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pandas/tests/frame/test_api.py:380:44-50: The type of attribute `values` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR pandas/tests/indexes/multi/test_duplicates.py:265:29-34: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pandas/tests/io/formats/test_format.py:2489:22-49: Object of class `str` has no attribute `getvalue` [missing-attribute]
- ERROR pandas/tests/io/formats/test_format.py:2492:20-45: Object of class `str` has no attribute `closed` [missing-attribute]
- ERROR pandas/tests/io/test_clipboard.py:465:46-48: `pa` may be uninitialized [unbound-name]
- ERROR pandas/tests/io/test_clipboard.py:469:49-51: `pa` may be uninitialized [unbound-name]
- ERROR pandas/tests/io/test_feather.py:215:46-48: `pa` may be uninitialized [unbound-name]
- ERROR pandas/tests/io/test_iceberg.py:77:9-20: `config_path` may be uninitialized [unbound-name]
- ERROR pandas/tests/reshape/test_get_dummies.py:102:72-82: `fill_value` may be uninitialized [unbound-name]
- ERROR pandas/tests/scalar/timedelta/test_arithmetic.py:1596:13-22: `/` is not supported between `NaTType` and `Literal['1']` [unsupported-operation]
- ERROR pandas/tests/scalar/timedelta/test_arithmetic.py:1596:13-22: `/` is not supported between `Timedelta` and `Literal['1']` [unsupported-operation]
- ERROR pandas/tests/scalar/timedelta/test_arithmetic.py:1605:13-23: `//` is not supported between `Literal['1']` and `NaTType` [unsupported-operation]
- ERROR pandas/tests/scalar/timedelta/test_arithmetic.py:1607:13-23: `//` is not supported between `NaTType` and `Literal['1']` [unsupported-operation]
- ERROR pandas/tests/scalar/timedelta/test_arithmetic.py:1607:13-23: `//` is not supported between `Timedelta` and `Literal['1']` [unsupported-operation]
- ERROR pandas/tests/strings/test_find_replace.py:50:19-33: `expected_dtype` may be uninitialized [unbound-name]

trio (https://github.com/python-trio/trio)
- ERROR src/trio/_core/_run.py:781:24-41: `old_next_deadline` may be uninitialized [unbound-name]
- ERROR src/trio/_core/_run.py:2800:38-45: `cushion` may be uninitialized [unbound-name]
- ERROR src/trio/_tests/test_exports.py:392:32-42: `cache_json` may be uninitialized [unbound-name]
- ERROR src/trio/_tests/test_exports.py:396:32-45: `lookup_symbol` may be uninitialized [unbound-name]

paasta (https://github.com/yelp/paasta)
- ERROR paasta_tools/cli/cmds/remote_run.py:260:37-52: `kubectl_wrapper` may be uninitialized [unbound-name]
- ERROR paasta_tools/cli/cmds/remote_run.py:265:27-41: `token_response` may be uninitialized [unbound-name]
- ERROR paasta_tools/cli/cmds/status.py:2205:16-64: Implicit conversion of `Literal[True] | Mapping[str, DeploymentVersion] | dict[str, DeploymentVersion]` to `bool` is not allowed [implicit-bool]
+ ERROR paasta_tools/cli/cmds/status.py:2205:16-64: Implicit conversion of `Literal[True] | Mapping[str, DeploymentVersion]` to `bool` is not allowed [implicit-bool]
- ERROR paasta_tools/setup_tron_namespace.py:175:16-22: `client` may be uninitialized [unbound-name]
- ERROR paasta_tools/setup_tron_namespace.py:216:24-30: `client` may be uninitialized [unbound-name]
- ERROR paasta_tools/tron_tools.py:1231:50-63: `extra_volumes` may be uninitialized [unbound-name]
- ERROR paasta_tools/utils.py:2982:29-36: `service` may be uninitialized [unbound-name]
- ERROR paasta_tools/utils.py:2984:31-40: `component` may be uninitialized [unbound-name]
- ERROR paasta_tools/utils.py:2985:27-35: `loglevel` may be uninitialized [unbound-name]
- ERROR paasta_tools/utils.py:2986:29-36: `cluster` may be uninitialized [unbound-name]
- ERROR paasta_tools/utils.py:2987:30-38: `instance` may be uninitialized [unbound-name]
- ERROR paasta_tools/utils.py:2995:25-32: `service` may be uninitialized [unbound-name]
- ERROR paasta_tools/utils.py:2997:27-36: `component` may be uninitialized [unbound-name]
- ERROR paasta_tools/utils.py:2998:23-31: `loglevel` may be uninitialized [unbound-name]
- ERROR paasta_tools/utils.py:2999:25-32: `cluster` may be uninitialized [unbound-name]
- ERROR paasta_tools/utils.py:3000:26-34: `instance` may be uninitialized [unbound-name]
- ERROR paasta_tools/utils.py:3012:13-22: `proctimer` may be uninitialized [unbound-name]

pytensor (https://github.com/pymc-devs/pytensor)
- ERROR pytensor/compile/executor.py:731:45-47: `t0` may be uninitialized [unbound-name]
- ERROR pytensor/gradient.py:952:32-37: Argument `list[Variable[Unknown, Unknown]] | None` is not assignable to parameter `obj` with type `Sized` in function `len` [bad-argument-type]
+ ERROR pytensor/gradient.py:953:17-25: The type of this argument is unknown because it comes from an error [unknown-from-error]
- ERROR pytensor/gradient.py:953:17-25: `None` is not subscriptable [unsupported-operation]
- ERROR pytensor/gradient.py:953:17-25: Cannot set item in `None` [unsupported-operation]
- ERROR pytensor/graph/features.py:801:24-36: `print_reason` may be uninitialized [unbound-name]
- ERROR pytensor/graph/rewriting/basic.py:328:64-79: `validate_before` may be uninitialized [unbound-name]
- ERROR pytensor/graph/rewriting/basic.py:331:24-25: The type of this argument is unknown [unknown-argument-type]
- ERROR pytensor/graph/rewriting/basic.py:331:24-45: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pytensor/graph/rewriting/basic.py:332:33-52: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pytensor/graph/rewriting/basic.py:332:50-51: The type of this argument is unknown [unknown-argument-type]
- ERROR pytensor/graph/rewriting/basic.py:817:60-75: `validate_before` may be uninitialized [unbound-name]
- ERROR pytensor/graph/rewriting/basic.py:818:61-76: `callback_before` may be uninitialized [unbound-name]
- ERROR pytensor/graph/rewriting/basic.py:821:25-41: `callbacks_before` may be uninitialized [unbound-name]
- ERROR pytensor/link/c/basic.py:805:33-43: `params_var` may be uninitialized [unbound-name]
- ERROR pytensor/link/c/basic.py:1831:38-40: Cannot infer type of empty container; it will be treated as containing `Any` [implicit-any-empty-container]
- ERROR pytensor/link/c/basic.py:1849:17-46: Object of class `NoneType` has no attribute `append` [missing-attribute]
- ERROR pytensor/link/c/basic.py:1854:39-47: `computed` may be uninitialized [unbound-name]
- ERROR pytensor/link/c/basic.py:1856:41-50: `last_user` may be uninitialized [unbound-name]
- ERROR pytensor/link/c/basic.py:1873:13-58: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pytensor/link/c/basic.py:1873:36-58: Argument `list[list[list[Any | None]]] | None` is not assignable to parameter `post_thunk_old_storage` with type `list[list[Any | None]] | None` in function `pytensor.link.utils.streamline` [bad-argument-type]
- ERROR pytensor/link/numba/dispatch/linalg/decomposition/qr.py:207:21-26: `RWORK` may be uninitialized [unbound-name]
- ERROR pytensor/link/numba/dispatch/linalg/decomposition/qr.py:678:21-26: `RWORK` may be uninitialized [unbound-name]
- ERROR pytensor/link/numba/dispatch/linalg/solvers/lu_solve.py:97:22-36: The type of `B_copy` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pytensor/link/numba/dispatch/linalg/solvers/posdef.py:112:22-36: The type of `B_copy` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pytensor/link/numba/dispatch/scalar.py:219:25-41: `unique_func_name` may be uninitialized [unbound-name]
- ERROR pytensor/link/numba/dispatch/subtensor.py:789:12-13: `y` may be uninitialized [unbound-name]
- ERROR pytensor/link/numba/dispatch/vectorize_codegen.py:995:31-47: `target_core_ndim` may be uninitialized [unbound-name]
- ERROR pytensor/link/utils.py:424:33-41: `pytensor` may be uninitialized [unbound-name]
- ERROR pytensor/link/utils.py:429:37-45: `pytensor` may be uninitialized [unbound-name]
- ERROR pytensor/printing.py:492:17-36: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pytensor/printing.py:527:13-32: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pytensor/printing.py:527:13-32: The type of this argument is unknown [unknown-argument-type]
- ERROR pytensor/printing.py:550:17-36: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pytensor/printing.py:550:17-36: The type of this argument is unknown [unknown-argument-type]
- ERROR pytensor/scan/op.py:2830:33-40: `n_steps` may be uninitialized [unbound-name]
- ERROR pytensor/scan/op.py:2853:45-52: `n_steps` may be uninitialized [unbound-name]
- ERROR pytensor/scan/op.py:3147:16-23: `n_steps` may be uninitialized [unbound-name]
- ERROR pytensor/scan/op.py:3201:43-50: `n_steps` may be uninitialized [unbound-name]
- ERROR pytensor/tensor/blas/batched.py:267:21-23: `t1` may be uninitialized [unbound-name]
- ERROR pytensor/tensor/blas/batched.py:269:21-23: `t1` may be uninitialized [unbound-name]
- ERROR pytensor/tensor/elemwise.py:1696:37-45: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pytensor/tensor/functional.py:120:38-49: `outputs_sig` may be uninitialized [unbound-name]
- ERROR pytensor/tensor/linalg/decomposition/qr.py:221:29-33: `jpvt` may be uninitialized [unbound-name]
- ERROR pytensor/tensor/linalg/decomposition/qr.py:319:38-50: `A_bar_m_ge_n` may be uninitialized [unbound-name]
+ ERROR pytensor/tensor/linalg/decomposition/qr.py:319:38-50: The type of this argument is unknown because it comes from an error [unknown-from-error]
- ERROR pytensor/tensor/linalg/decomposition/schur.py:422:17-26: `alpha_out` may be uninitialized [unbound-name]
- ERROR pytensor/tensor/linalg/decomposition/schur.py:425:17-25: `beta_out` may be uninitialized [unbound-name]
- ERROR pytensor/tensor/linalg/decomposition/schur.py:476:17-26: `alpha_out` may be uninitialized [unbound-name]
- ERROR pytensor/tensor/linalg/decomposition/schur.py:479:17-25: `beta_out` may be uninitialized [unbound-name]
- ERROR pytensor/tensor/linalg/decomposition/schur.py:489:17-26: `alpha_out` may be uninitialized [unbound-name]
- ERROR pytensor/tensor/linalg/decomposition/schur.py:490:17-25: `beta_out` may be uninitialized [unbound-name]
- ERROR pytensor/tensor/math.py:2789:23-30: `n_elems` may be uninitialized [unbound-name]
- ERROR pytensor/tensor/math.py:3188:21-23: `t1` may be uninitialized [unbound-name]
- ERROR pytensor/tensor/math.py:3190:21-23: `t1` may be uninitialized [unbound-name]
- ERROR pytensor/tensor/rewriting/blas.py:525:60-75: `validate_before` may be uninitialized [unbound-name]
- ERROR pytensor/tensor/rewriting/blas.py:526:61-76: `callback_before` may be uninitialized [unbound-name]
- ERROR pytensor/tensor/rewriting/blas.py:529:25-41: `callbacks_before` may be uninitialized [unbound-name]
- ERROR pytensor/tensor/rewriting/elemwise.py:1063:60-75: `validate_before` may be uninitialized [unbound-name]
- ERROR pytensor/tensor/rewriting/elemwise.py:1064:61-76: `callback_before` may be uninitialized [unbound-name]
- ERROR pytensor/tensor/rewriting/elemwise.py:1067:25-41: `callbacks_before` may be uninitialized [unbound-name]
- ERROR pytensor/tensor/rewriting/subtensor.py:2948:36-37: `y` may be uninitialized [unbound-name]
- ERROR pytensor/tensor/rewriting/subtensor.py:2950:41-42: `y` may be uninitialized [unbound-name]
- ERROR pytensor/tensor/rewriting/subtensor_lift.py:340:21-35: `batch_idx_list` may be uninitialized [unbound-name]
- ERROR pytensor/tensor/rewriting/subtensor_lift.py:830:56-63: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pytensor/tensor/rewriting/subtensor_lift.py:830:56-63: The type of this argument is unknown [unknown-argument-type]

sphinx (https://github.com/sphinx-doc/sphinx)
- ERROR sphinx/domains/cpp/__init__.py:1180:16-23: Implicit conversion of `str | None` to `bool` is not allowed [implicit-bool]
+ ERROR sphinx/domains/cpp/__init__.py:1175:32-56: The type of `full_nested_name` is unknown because it comes from an error [unknown-from-error]
+ ERROR sphinx/domains/cpp/__init__.py:1176:28-77: The type of `display_name` is unknown because it comes from an error [unknown-from-error]
+ ERROR sphinx/domains/cpp/__init__.py:1179:19-28: The type of `docname` is unknown because it comes from an error [unknown-from-error]
+ ERROR sphinx/domains/cpp/__init__.py:1233:17-24: The type of this argument is unknown because it comes from an error [unknown-from-error]

meson (https://github.com/mesonbuild/meson)
- ERROR test cases/common/22 object extraction/check-obj.py:19:35-52: `not in` is not supported between `str` and `None` [not-iterable]
- ERROR mesonbuild/backend/ninjabackend.py:2948:42-49: `depfile` may be uninitialized [unbound-name]
- ERROR mesonbuild/backend/vs2010backend.py:1754:21-37: `primary_src_lang` may be uninitialized [unbound-name]
- ERROR mesonbuild/backend/vs2010backend.py:1771:84-122: `defs_paths_opts_per_lang_and_buildtype` may be uninitialized [unbound-name]
- ERROR mesonbuild/backend/vs2010backend.py:1789:78-116: `defs_paths_opts_per_lang_and_buildtype` may be uninitialized [unbound-name]
- ERROR mesonbuild/backend/vs2010backend.py:1805:81-119: `defs_paths_opts_per_lang_and_buildtype` may be uninitialized [unbound-name]
- ERROR mesonbuild/dependencies/dub.py:319:38-45: `winlibs` may be uninitialized [unbound-name]
- ERROR mesonbuild/dependencies/python.py:393:58-109: No matching overload found for function `str.replace` called with arguments: (str | None, str | Unknown | None, Literal[1]) [no-matching-overload]
+ ERROR mesonbuild/dependencies/python.py:393:58-109: No matching overload found for function `str.replace` called with arguments: (str | None, str | Unknown, Literal[1]) [no-matching-overload]
- ERROR mesonbuild/mformat.py:853:33-53: `current_indent_after` may be uninitialized [unbound-name]
- ERROR mesonbuild/modules/_qt.py:761:38-45: `results` may be uninitialized [unbound-name]
- ERROR mesonbuild/modules/java.py:79:35-52: `sanitized_package` may be uninitialized [unbound-name]
- ERROR mesonbuild/modules/pkgconfig.py:588:63-69: `srcdir` may be uninitialized [unbound-name]
- ERROR mesonbuild/scripts/clangtidy.py:67:33-41: `applyret` may be uninitialized [unbound-name]
- ERROR unittests/allplatformstests.py:5892:27-29: `cc` may be uninitialized [unbound-name]

websockets (https://github.com/aaugustin/websockets)
- ERROR src/websockets/asyncio/connection.py:1235:17-27: `exceptions` may be uninitialized [unbound-name]
- ERROR src/websockets/asyncio/connection.py:1251:17-27: `exceptions` may be uninitialized [unbound-name]
- ERROR src/websockets/asyncio/connection.py:1258:29-39: `exceptions` may be uninitialized [unbound-name]
- ERROR src/websockets/asyncio/messages.py:265:23-30: `decoder` may be uninitialized [unbound-name]
- ERROR src/websockets/frames.py:321:37-47: `mask_bytes` may be uninitialized [unbound-name]
- ERROR src/websockets/frames.py:387:42-52: `mask_bytes` may be uninitialized [unbound-name]
- ERROR src/websockets/legacy/framing.py:102:37-46: `mask_bits` may be uninitialized [unbound-name]
- ERROR src/websockets/legacy/protocol.py:1622:17-27: `exceptions` may be uninitialized [unbound-name]
- ERROR src/websockets/legacy/protocol.py:1635:17-27: `exceptions` may be uninitialized [unbound-name]
- ERROR src/websockets/legacy/protocol.py:1642:29-39: `exceptions` may be uninitialized [unbound-name]
- ERROR src/websockets/sync/connection.py:1281:29-39: `exceptions` may be uninitialized [unbound-name]
- ERROR src/websockets/sync/messages.py:274:23-30: `decoder` may be uninitialized [unbound-name]
- ERROR src/websockets/trio/connection.py:1261:29-39: `exceptions` may be uninitialized [unbound-name]
- ERROR src/websockets/trio/messages.py:236:23-30: `decoder` may be uninitialized [unbound-name]

dd-trace-py (https://github.com/DataDog/dd-trace-py)
+ ERROR ddtrace/internal/openfeature/_flagevaluation_writer.py:1270:17-44: The type of this argument is unknown because it comes from an error [unknown-from-error]
- ERROR ddtrace/testing/internal/api_client.py:445:47-60: `_prev_timeout` may be uninitialized [unbound-name]
- ERROR ddtrace/testing/internal/pytest/plugin.py:987:55-68: `retry_reports` may be uninitialized [unbound-name]
- ERROR ddtrace/testing/internal/pytest/plugin.py:987:84-96: `last_reports` may be uninitialized [unbound-name]

core (https://github.com/home-assistant/core)
- ERROR homeassistant/components/bayesian/config_flow.py:498:25-34: `sub_entry` may be uninitialized [unbound-name]
- ERROR homeassistant/components/bayesian/config_flow.py:513:70-79: `sub_entry` may be uninitialized [unbound-name]
- ERROR homeassistant/components/emulated_hue/hue_api.py:446:47-58: `color_modes` may be uninitialized [unbound-name]
- ERROR homeassistant/components/forked_daapd/media_player.py:889:36-56: `saved_queue_position` may be uninitialized [unbound-name]
- ERROR homeassistant/components/google_assistant/helpers.py:449:65-70: `msgid` may be uninitialized [unbound-name]
- ERROR homeassistant/components/google_assistant/helpers.py:451:69-74: `msgid` may be uninitialized [unbound-name]
- ERROR homeassistant/components/google_weather/config_flow.py:165:63-68: `entry` may be uninitialized [unbound-name]
- ERROR homeassistant/components/habitica/services.py:844:24-36: Implicit conversion of `Unknown | None` to `bool` is not allowed [implicit-bool]
+ ERROR homeassistant/components/libre_hardware_monitor/config_flow.py:152:46-70: Unused `# type: ignore` comment [unused-type-ignore]
- ERROR homeassistant/components/mikrotik/coordinator.py:293:37-55: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR homeassistant/components/mqtt/entity.py:2117:64-78: `attrs_snapshot` may be uninitialized [unbound-name]
- ERROR homeassistant/components/opnsense/__init__.py:138:32-47: `interfaces_resp` may be uninitialized [unbound-name]
+ ERROR homeassistant/components/opnsense/__init__.py:138:32-56: The type of `ifinfo` is unknown because it comes from an error [unknown-from-error]
- ERROR homeassistant/components/opower/coordinator.py:576:20-25: Implicit conversion of `datetime | Unknown | None` to `bool` is not allowed [implicit-bool]

... (truncated 166 lines) ...

@stroxler stroxler assigned rchen152 and unassigned connernilsen Oct 30, 2026
@stroxler

stroxler commented Oct 30, 2026 •
edited
Loading

Copy link
Copy Markdown
Contributor

Thanks @asukaminato0721 for this experiment!

cc @rchen152: I'm assigning this to you since the original issue is yours, and I can't tackle anything this risky or complicated while I'm trying to sweep the backlog

Happy to discuss it or take a look, I just can't tackle it on my own right now. My guess is that there's actually overlap between this and my quantified narrowing experiments we've discussed recently.

I think the mypy primer delta pretty clearly shows that it is useful, but I haven't had a chance to look at the implementation... I imagine there are complexity questions and there may be perf concerns

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@rchen152 rchen152

Labels

cla signed size/xl waiting-for-reviewer

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

feature: Track relationships between narrows of different variables

4 participants

@asukaminato0721 @stroxler @rchen152 @connernilsen