fix Return type inference for mutually recursive functions #804 by asukaminato0721 · Pull Request #4628 · meta/pyrefly

asukaminato0721 · 2026-08-22T12:36:21Z

Summary

Fixes #804

Recursive function SCCs now start from Never, preventing placeholder Unknown from leaking into inferred returns

Test Plan

add test

meta-codesync · 2026-08-22T12:40:14Z

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

Recursive function SCCs now start from Never, preventing placeholder Unknown from leaking into inferred returns

github-actions · 2026-10-30T17:11:01Z

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

============================================================
SUMMARY
============================================================
Total: +597 new errors, -1326 fixed errors
By preset: +266/-264 (default), +266/-264 (strict)

Projects with changes (20):
  apprise: +13 -24
  pycryptodome: +0 -1
  openlibrary: +18 -104
  scikit-learn: +6 -30
  spark: +2 -15
  prefect: +0 -2
  setuptools: +4 -31
  freqtrade: +1 -1
  manticore: +156 -298
  comtypes: +2 -12
  pytest-autoprofile: +0 -1
  pandera: +2 -2
  stone: +32 -32
  ibis: +2 -29
  pytensor: +304 -507
  spack: +11 -118
  xarray: +0 -19
  parso: +1 -29
  attrs: +40 -47
  cvxpy: +3 -24
============================================================

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

apprise (https://github.com/caronc/apprise)
- ERROR apprise/persistent_store.py:992:24-57: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR apprise/plugins/ntfy.py:495:21-25: The type of `okay` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR apprise/plugins/ntfy.py:495:27-36: The type of `_response` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR apprise/plugins/ntfy.py:507:17-21: The type of `okay` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR apprise/plugins/ntfy.py:507:23-32: The type of `_response` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR apprise/plugins/ntfy.py:651:24-658:18: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR apprise/plugins/revolt.py:226:13-21: The type of `postokay` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR apprise/plugins/revolt.py:226:23-32: The type of `_response` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR apprise/plugins/revolt.py:346:28-351:22: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
+ ERROR apprise/plugins/revolt.py:346:28-351:22: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR apprise/plugins/sendpulse.py:461:9-16: The type of `success` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR apprise/plugins/sendpulse.py:461:18-26: The type of `response` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR apprise/plugins/sendpulse.py:465:24-52: The type of `access_token` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
+ ERROR apprise/plugins/sendpulse.py:465:24-52: The type of `access_token` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR apprise/plugins/sendpulse.py:465:33-36: The type of attribute `get` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR apprise/plugins/sendpulse.py:465:33-36: The type of attribute `get` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR apprise/plugins/sendpulse.py:465:36-52: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR apprise/plugins/sendpulse.py:469:27-53: Argument `Unknown | None` is not assignable to parameter `x` with type `Buffer | SupportsIndex | SupportsInt | SupportsTrunc | str` in function `int.__new__` [bad-argument-type]
- ERROR apprise/plugins/sendpulse.py:469:27-53: The type of this argument is unknown [unknown-argument-type]
+ ERROR apprise/plugins/sendpulse.py:469:27-53: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR apprise/plugins/sendpulse.py:469:36-39: The type of attribute `get` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR apprise/plugins/sendpulse.py:469:36-39: The type of attribute `get` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR apprise/plugins/sendpulse.py:469:39-53: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR apprise/plugins/sendpulse.py:493:40-52: The type of this argument is unknown [unknown-argument-type]
+ ERROR apprise/plugins/sendpulse.py:493:40-52: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR apprise/plugins/sendpulse.py:495:16-28: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
+ ERROR apprise/plugins/sendpulse.py:495:16-28: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR apprise/plugins/sendpulse.py:511:16-28: Implicit conversion of `Literal[False] | Unknown | None` to `bool` is not allowed [implicit-bool]
- ERROR apprise/plugins/sendpulse.py:661:13-20: The type of `success` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR apprise/plugins/sendpulse.py:661:22-31: The type of `_response` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR apprise/plugins/sendpulse.py:737:17-739:33: Implicit conversion of `Literal[0, False] | Unknown` to `bool` is not allowed [implicit-bool]
+ ERROR apprise/plugins/sendpulse.py:737:17-739:33: Implicit conversion of `Literal[0, False] | Unknown | None` to `bool` is not allowed [implicit-bool]
- ERROR apprise/plugins/sendpulse.py:741:24-74: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
+ ERROR apprise/plugins/sendpulse.py:741:24-74: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR apprise/utils/http.py:115:24-54: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR apprise/utils/http.py:120:20-61: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR apprise/utils/http.py:149:13-66: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]

pycryptodome (https://github.com/Legrandin/pycryptodome)
- ERROR lib/Crypto/Math/_IntegerNative.py:345:16-55: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]

openlibrary (https://github.com/internetarchive/openlibrary)
- ERROR openlibrary/accounts/__init__.py:116:20-93: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/accounts/__init__.py:116:20-93: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
+ ERROR openlibrary/accounts/__init__.py:116:20-93: The type of the returned value is an explicit `Any` [explicit-any-use]
- ERROR openlibrary/accounts/__init__.py:123:15-44: The type of `doc` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/accounts/model.py:662:17-98: The type of `match` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/accounts/model.py:664:16-21: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/accounts/model.py:667:23-105: The type of `lower_match` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/accounts/model.py:669:16-27: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/accounts/model.py:679:23-107: The type of `ol_accounts` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/accounts/model.py:680:39-50: Implicit conversion of `list[Unknown]` to `bool` is not allowed [implicit-bool]
+ ERROR openlibrary/accounts/model.py:680:39-50: Implicit conversion of `list[Any]` to `bool` is not allowed [implicit-bool]
- ERROR openlibrary/api.py:201:24-30: Argument `Generator[Unknown, Unknown] | Unknown` is not assignable to parameter `obj` with type `Sized` in function `len` [bad-argument-type]
+ ERROR openlibrary/api.py:201:24-30: Argument `Generator[Never, Unknown] | Unknown` is not assignable to parameter `obj` with type `Sized` in function `len` [bad-argument-type]
- ERROR openlibrary/api.py:203:36-42: Argument `Generator[Unknown, Unknown] | Unknown` is not assignable to parameter `obj` with type `Sized` in function `len` [bad-argument-type]
+ ERROR openlibrary/api.py:203:36-42: Argument `Generator[Never, Unknown] | Unknown` is not assignable to parameter `obj` with type `Sized` in function `len` [bad-argument-type]
- ERROR openlibrary/catalog/get_ia.py:101:12-42: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/mocks/mock_infobase.py:180:9-17: Fixpoint iteration did not converge. Inferred type `(self: Self@MockSite, value: Unknown) -> list[list[list[Unknown] | Unknown] | Unknown] | Unknown`. Adding annotations may help. [non-convergent-recursion]
- ERROR openlibrary/mocks/mock_infobase.py:182:20-53: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/mocks/mock_infobase.py:186:24-40: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/mocks/mock_infobase.py:187:46-58: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/mocks/mock_infobase.py:196:20-36: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/plugins/admin/code.py:527:5-12: Fixpoint iteration did not converge. Inferred type `(d: Unknown) -> list[list[list[Unknown] | Unknown] | Unknown] | Unknown`. Adding annotations may help. [non-convergent-recursion]
- ERROR openlibrary/plugins/admin/code.py:531:16-39: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/plugins/importapi/code.py:338:29-341:18: The type of `next_data` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/plugins/importapi/code.py:342:34-38: Argument `bytes | Unknown | None` is not assignable to parameter `data` with type `bytes` in function `openlibrary.catalog.marc.marc_binary.MarcBinary.__init__` [bad-argument-type]
+ ERROR openlibrary/plugins/importapi/code.py:342:34-38: Argument `bytes | Any | None` is not assignable to parameter `data` with type `bytes` in function `openlibrary.catalog.marc.marc_binary.MarcBinary.__init__` [bad-argument-type]
- ERROR openlibrary/plugins/importapi/code.py:347:67-78: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/plugins/importapi/code.py:377:46-57: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/plugins/importapi/code.py:384:27-36: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:33:20-44: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:35:20-49: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:37:20-49: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:39:20-54: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:41:20-47: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:43:20-46: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:45:20-51: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:47:20-50: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:50:24-54: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:52:24-60: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:54:24-63: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:57:20-55: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:59:20-70: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:61:16-63: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:64:16-63: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:67:16-64: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:70:16-69: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:73:16-69: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:76:16-75: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:79:16-67: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:82:16-67: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:85:16-63: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:101:16-71: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:104:16-56: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:107:16-62: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:110:16-79: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:113:16-65: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
+ ERROR openlibrary/plugins/openlibrary/connection.py:129:9-12: Class member `IAMiddleware.get` overrides parent class `ConnectionMiddleware` in an inconsistent manner [bad-override]
+ ERROR openlibrary/plugins/openlibrary/connection.py:133:27-63: The type of `edition_key` is an explicit `Any` [explicit-any-use]
- ERROR openlibrary/plugins/openlibrary/connection.py:134:16-27: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
- ERROR openlibrary/plugins/openlibrary/connection.py:164:20-66: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:169:21-90: The type of `keys_json` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:170:27-36: The type of this argument is unknown [unknown-argument-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:177:21-90: The type of `keys_json` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:178:27-36: The type of this argument is unknown [unknown-argument-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:210:24-59: The type of `jsontext` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:211:31-39: The type of this argument is unknown [unknown-argument-type]
+ ERROR openlibrary/plugins/openlibrary/connection.py:226:9-17: Class member `IAMiddleware.versions` overrides parent class `ConnectionMiddleware` in an inconsistent manner [bad-override]
- ERROR openlibrary/plugins/openlibrary/connection.py:236:16-67: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
+ ERROR openlibrary/plugins/openlibrary/connection.py:238:9-22: Class member `IAMiddleware.recentchanges` overrides parent class `ConnectionMiddleware` in an inconsistent manner [bad-override]
- ERROR openlibrary/plugins/openlibrary/connection.py:248:16-72: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
+ ERROR openlibrary/plugins/openlibrary/connection.py:293:9-12: Class member `MemcacheMiddleware.get` overrides parent class `ConnectionMiddleware` in an inconsistent manner [bad-override]
- ERROR openlibrary/plugins/openlibrary/connection.py:300:20-66: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:313:26-72: The type of `result` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:315:41-47: The type of this argument is unknown [unknown-argument-type]
+ ERROR openlibrary/plugins/openlibrary/connection.py:318:9-17: Class member `MemcacheMiddleware.get_many` overrides parent class `ConnectionMiddleware` in an inconsistent manner [bad-override]
- ERROR openlibrary/plugins/openlibrary/connection.py:328:23-74: The type of `result2` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:329:34-41: The type of this argument is unknown [unknown-argument-type]
+ ERROR openlibrary/plugins/openlibrary/connection.py:375:9-18: Class member `MemcacheMiddleware.store_get` overrides parent class `ConnectionMiddleware` in an inconsistent manner [bad-override]
- ERROR openlibrary/plugins/openlibrary/connection.py:380:22-74: The type of `result` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:382:35-41: The type of this argument is unknown [unknown-argument-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:393:18-76: The type of `result` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:395:16-22: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:401:18-79: The type of `result` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:403:16-22: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:408:18-78: The type of `result` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:410:16-22: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:436:22-94: The type of `result` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:439:22-94: The type of `result` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:440:16-22: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
+ ERROR openlibrary/plugins/openlibrary/connection.py:467:13-24: This code is unreachable [unreachable]
+ ERROR openlibrary/plugins/openlibrary/connection.py:481:9-12: Class member `MigrationMiddleware.get` overrides parent class `ConnectionMiddleware` in an inconsistent manner [bad-override]
- ERROR openlibrary/plugins/openlibrary/connection.py:485:20-66: The type of `response` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:487:31-39: The type of this argument is unknown [unknown-argument-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:491:16-24: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:515:21-62: The type of `json_data` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:517:30-39: The type of this argument is unknown [unknown-argument-type]
+ ERROR openlibrary/plugins/openlibrary/connection.py:522:9-17: Class member `MigrationMiddleware.get_many` overrides parent class `ConnectionMiddleware` in an inconsistent manner [bad-override]
- ERROR openlibrary/plugins/openlibrary/connection.py:523:20-71: The type of `response` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:525:31-39: The type of this argument is unknown [unknown-argument-type]
- ERROR openlibrary/plugins/openlibrary/connection.py:529:16-24: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR openlibrary/plugins/upstream/code.py:499:13-20: Fixpoint iteration did not converge. Inferred type `(value: Unknown) -> Thing | list[Thing | list[Thing | list[Unknown] | Unknown] | Unknown] | Unknown`. Adding annotations may help. [non-convergent-recursion]
- ERROR openlibrary/plugins/upstream/code.py:501:24-51: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/plugins/upstream/utils.py:314:9-17: Fixpoint iteration did not converge. Inferred type `(d: Unknown) -> list[list[list[Unknown] | Unknown] | Unknown] | Unknown`. Adding annotations may help. [non-convergent-recursion]
- ERROR openlibrary/plugins/upstream/utils.py:318:24-68: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/plugins/worksearch/schemes/works.py:287:20-65: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/plugins/worksearch/schemes/works.py:287:25-40: The type of attribute `is_search_field` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/plugins/worksearch/schemes/works.py:441:27-42: The type of attribute `is_search_field` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/plugins/worksearch/schemes/works.py:462:58-65: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/plugins/worksearch/schemes/works.py:467:53-60: Implicit conversion of `list[Unknown] | Unknown` to `bool` is not allowed [implicit-bool]
+ ERROR openlibrary/plugins/worksearch/schemes/works.py:467:53-60: Implicit conversion of `list[Unknown]` to `bool` is not allowed [implicit-bool]
- ERROR openlibrary/plugins/worksearch/schemes/works.py:494:32-39: Implicit conversion of `list[Unknown] | Unknown` to `bool` is not allowed [implicit-bool]
+ ERROR openlibrary/plugins/worksearch/schemes/works.py:494:32-39: Implicit conversion of `list[Unknown]` to `bool` is not allowed [implicit-bool]
- ERROR openlibrary/solr/query_utils.py:204:20-27: Implicit conversion of `list[Unknown] | Unknown` to `bool` is not allowed [implicit-bool]
+ ERROR openlibrary/solr/query_utils.py:204:20-27: Implicit conversion of `list[Unknown]` to `bool` is not allowed [implicit-bool]
- ERROR openlibrary/solr/query_utils.py:275:36-43: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/tests/core/test_connections.py:32:25-83: The type of `json_data` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR openlibrary/tests/core/test_connections.py:33:31-40: The type of this argument is unknown [unknown-argument-type]
- ERROR openlibrary/tests/core/test_connections.py:86:25-83: The type of `json_data` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR openlibrary/tests/core/test_connections.py:87:31-40: The type of this argument is unknown [unknown-argument-type]
- ERROR openlibrary/tests/core/test_connections.py:91:25-80: The type of `json_data` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR openlibrary/tests/core/test_connections.py:92:31-40: The type of this argument is unknown [unknown-argument-type]
- ERROR openlibrary/tests/solr/test_query_utils.py:29:46-53: 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/compose/_column_transformer.py:537:26-83: The type of `all_dtypes` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/compose/_column_transformer.py:538:20-30: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/compose/_column_transformer.py:539:24-46: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/compose/_column_transformer.py:539:29-45: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/compose/_column_transformer.py:539:34-44: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/compose/_column_transformer.py:547:17-49: The type of `dtype` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/compose/_column_transformer.py:547:22-47: The type of attribute `_get_remainder_cols_dtype` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/ensemble/_hist_gradient_boosting/grower.py:732:9-739:10: Result of call expression is of type `tuple[int | Unknown, int | Unknown] | Unknown` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR sklearn/ensemble/_hist_gradient_boosting/grower.py:732:9-739:10: Result of call expression is of type `tuple[int | Unknown, int | Unknown]` and is not used; assign to `_` if this is intentional [unused-call-result]
- ERROR sklearn/tree/_reingold_tilford.py:55:24-40: Argument `tuple[float, int | Unknown]` is not assignable to parameter `object` with type `ndarray[tuple[Any, ...], dtype[Unknown]]` in function `list.append` [bad-argument-type]
+ ERROR sklearn/tree/_reingold_tilford.py:55:24-40: Argument `tuple[float, int | Unknown]` is not assignable to parameter `object` with type `ndarray[tuple[Any, ...], dtype[bool[Unknown]]]` in function `list.append` [bad-argument-type]
- ERROR sklearn/utils/_indexing.py:169:26-56: The type of `key_start_type` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/utils/_indexing.py:170:25-54: The type of `key_stop_type` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/utils/_indexing.py:175:20-34: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/utils/_indexing.py:176:16-29: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/utils/_indexing.py:179:20-68: The type of `key_type` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/utils/_indexing.py:180:16-24: Implicit conversion of `set[str | Unknown | None]` to `bool` is not allowed [implicit-bool]
+ ERROR sklearn/utils/_indexing.py:180:16-24: Implicit conversion of `set[str | None]` to `bool` is not allowed [implicit-bool]
- ERROR sklearn/utils/_indexing.py:182:16-24: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/utils/_indexing.py:184:16-30: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/utils/_indexing.py:184:25-28: The type of attribute `pop` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/utils/_indexing.py:184:28-30: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/utils/_indexing.py:265:21-49: The type of `indices_dtype` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/utils/_indexing.py:301:45-58: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/utils/_indexing.py:303:47-60: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/utils/_indexing.py:309:46-59: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/utils/_indexing.py:314:44-57: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/utils/_indexing.py:316:43-56: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/utils/_indexing.py:371:17-41: The type of `key_dtype` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sklearn/utils/_indexing.py:385:10-19: The type of this argument is unknown [unknown-argument-type]
- ERROR sklearn/utils/tests/test_indexing.py:104:9-33: Result of call expression is of type `str | Unknown | None` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR sklearn/utils/tests/test_indexing.py:104:9-33: Result of call expression is of type `str | None` and is not used; assign to `_` if this is intentional [unused-call-result]
- ERROR sklearn/utils/tests/test_indexing.py:109:9-64: Result of call expression is of type `str | Unknown | None` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR sklearn/utils/tests/test_indexing.py:109:9-64: Result of call expression is of type `str | None` and is not used; assign to `_` if this is intentional [unused-call-result]
- ERROR sklearn/utils/tests/test_indexing.py:135:17-55: Result of call expression is of type `str | Unknown | None` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR sklearn/utils/tests/test_indexing.py:135:17-55: Result of call expression is of type `str | None` and is not used; assign to `_` if this is intentional [unused-call-result]

spark (https://github.com/apache/spark)
- ERROR python/pyspark/errors/tests/test_traceback.py:99:24-38: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR python/pyspark/errors/tests/test_traceback.py:106:68-69: `s` may be uninitialized [unbound-name]
+ ERROR python/pyspark/errors/tests/test_traceback.py:106:46-85: The type of this argument is unknown because it comes from an error [unknown-from-error]
- ERROR python/pyspark/sql/tests/test_udtf.py:3483:20-28: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR python/pyspark/sql/tests/test_udtf.py:3487:24-32: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR python/pyspark/testing/pandasutils.py:145:20-57: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR python/pyspark/testing/pandasutils.py:147:20-57: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR python/pyspark/testing/pandasutils.py:569:5-17: Fixpoint iteration did not converge. Inferred type `(f: Unknown | None = None, almost: bool | Unknown = True) -> ((f: Unknown | None = None, *, almost: bool | Unknown = ...) -> ((f: Unknown | None = None, *, almost: bool | Unknown = ...) -> ((f: Unknown | None = None, *, almost: bool | Unknown = ...) -> ((self: Unknown) -> None) | partial[Unknown]) | ((self: Unknown) -> None)) | ((self: Unknown) -> None)) | ((self: Unknown) -> None)`. Adding annotations may help. [non-convergent-recursion]
+ ERROR python/pyspark/testing/pandasutils.py:569:5-17: Fixpoint iteration did not converge. Inferred type `(f: Unknown | None = None, almost: bool | Unknown = True) -> ((f: Unknown | None = None, *, almost: bool | Unknown = ...) -> ((f: Unknown | None = None, *, almost: bool | Unknown = ...) -> ((f: Unknown | None = None, *, almost: bool | Unknown = ...) -> ((f: Unknown | None = None, *, almost: bool | Unknown = ...) -> ((self: Unknown) -> None) | partial[Unknown]) | ((self: Unknown) -> None)) | ((self: Unknown) -> None)) | ((self: Unknown) -> None)) | ((self: Unknown) -> None)`. Adding annotations may help. [non-convergent-recursion]
- ERROR python/pyspark/testing/utils.py:718:20-93: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR python/pyspark/testing/utils.py:724:24-91: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR python/pyspark/testing/utils.py:726:24-728:86: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR python/pyspark/testing/utils.py:1141:21-67: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR python/pyspark/testing/utils.py:1144:28-74: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR python/pyspark/testing/utils.py:1149:29-73: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR python/pyspark/testing/utils.py:1158:24-70: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR python/pyspark/testing/utils.py:1169:16-36: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]

prefect (https://github.com/PrefectHQ/prefect)
- ERROR src/prefect/runtime/flow_run.py:317:20-70: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR src/prefect/runtime/flow_run.py:319:24-65: The type of `root_flow_run_id` is partially unknown; it contains an implicit `Any` [partially-unknown-type]

setuptools (https://github.com/pypa/setuptools)
- ERROR setuptools/_distutils/compilers/C/base.py:1276:18-31: The type of attribute `compiler_type` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_distutils/compilers/C/base.py:1278:20-28: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_vendor/autocommand/autoasync.py:54:5-14: Fixpoint iteration did not converge. Inferred type `(coro: Unknown | None = None, *, loop: Unknown | None = None, forever: bool | Unknown = False, pass_loop: bool | Unknown = False) -> ((c: Unknown) -> ((c: Unknown) -> ((c: Unknown) -> ((c: Unknown) -> Unknown) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)`. Adding annotations may help. [non-convergent-recursion]
+ ERROR setuptools/_vendor/autocommand/autoasync.py:54:5-14: Fixpoint iteration did not converge. Inferred type `(coro: Unknown | None = None, *, loop: Unknown | None = None, forever: bool | Unknown = False, pass_loop: bool | Unknown = False) -> ((c: Unknown) -> ((c: Unknown) -> ((c: Unknown) -> ((c: Unknown) -> ((c: Unknown) -> Never) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)`. Adding annotations may help. [non-convergent-recursion]
- ERROR setuptools/_vendor/autocommand/autoasync.py:99:9-102:33: Fixpoint iteration did not converge. Inferred type `(c: Unknown) -> ((c: Unknown) -> ((c: Unknown) -> ((c: Unknown) -> Unknown) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)`. Adding annotations may help. [non-convergent-recursion]
+ ERROR setuptools/_vendor/autocommand/autoasync.py:99:9-102:33: Fixpoint iteration did not converge. Inferred type `(c: Unknown) -> ((c: Unknown) -> ((c: Unknown) -> ((c: Unknown) -> ((c: Unknown) -> Never) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)`. Adding annotations may help. [non-convergent-recursion]
- ERROR setuptools/_vendor/autocommand/autoparse.py:232:5-14: Fixpoint iteration did not converge. Inferred type `(func: Unknown | None = None, *, description: Unknown | None = None, epilog: Unknown | None = None, add_nos: bool | Unknown = False, parser: Unknown | None = None) -> ((f: Unknown) -> ((f: Unknown) -> ((f: Unknown) -> ((f: Unknown) -> Unknown) | ((argv: Unknown | None = None) -> Unknown)) | ((argv: Unknown | None = None) -> Unknown)) | ((argv: Unknown | None = None) -> Unknown)) | ((argv: Unknown | None = None) -> Unknown)`. Adding annotations may help. [non-convergent-recursion]
+ ERROR setuptools/_vendor/autocommand/autoparse.py:232:5-14: Fixpoint iteration did not converge. Inferred type `(func: Unknown | None = None, *, description: Unknown | None = None, epilog: Unknown | None = None, add_nos: bool | Unknown = False, parser: Unknown | None = None) -> ((f: Unknown) -> ((f: Unknown) -> ((f: Unknown) -> ((f: Unknown) -> ((f: Unknown) -> Never) | ((argv: Unknown | None = None) -> Unknown)) | ((argv: Unknown | None = None) -> Unknown)) | ((argv: Unknown | None = None) -> Unknown)) | ((argv: Unknown | None = None) -> Unknown)) | ((argv: Unknown | None = None) -> Unknown)`. Adding annotations may help. [non-convergent-recursion]
- ERROR setuptools/_vendor/autocommand/autoparse.py:273:9-277:27: Fixpoint iteration did not converge. Inferred type `(f: Unknown) -> ((f: Unknown) -> ((f: Unknown) -> ((f: Unknown) -> Unknown) | ((argv: Unknown | None = None) -> Unknown)) | ((argv: Unknown | None = None) -> Unknown)) | ((argv: Unknown | None = None) -> Unknown)`. Adding annotations may help. [non-convergent-recursion]
+ ERROR setuptools/_vendor/autocommand/autoparse.py:273:9-277:27: Fixpoint iteration did not converge. Inferred type `(f: Unknown) -> ((f: Unknown) -> ((f: Unknown) -> ((f: Unknown) -> ((f: Unknown) -> Never) | ((argv: Unknown | None = None) -> Unknown)) | ((argv: Unknown | None = None) -> Unknown)) | ((argv: Unknown | None = None) -> Unknown)) | ((argv: Unknown | None = None) -> Unknown)`. Adding annotations may help. [non-convergent-recursion]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:1319:16-41: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:1337:20-47: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:1341:20-43: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:1375:20-45: The type of `next` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:1389:17-22: The type of attribute `isdir` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:1392:16-20: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:1489:20-45: The type of `next` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:1496:37-41: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:1500:37-41: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:1504:37-41: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:1508:13-80: Result of call expression is of type `Unknown | None` and is not used; assign to `_` if this is intentional [unused-call-result]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:1515:26-42: The type of `offset` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:1515:31-42: The type of attribute `offset_data` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:1516:25-30: The type of attribute `isreg` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:1516:36-45: The type of this argument is unknown [unknown-argument-type]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:1516:41-45: The type of attribute `type` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:1517:43-52: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:1517:48-52: The type of attribute `size` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:1520:16-20: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:1744:35-65: The type of `tarinfo` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:1745:45-52: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:2418:24-73: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:2644:27-57: The type of `tarinfo` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:2679:37-44: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/_vendor/backports/tarfile/__init__.py:2683:16-23: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]

freqtrade (https://github.com/freqtrade/freqtrade)
- ERROR freqtrade/exchange/common.py:187:28-52: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
+ ERROR freqtrade/exchange/common.py:187:28-52: The type of the returned value is an explicit `Any` [explicit-any-use]

manticore (https://github.com/trailofbits/manticore)
- ERROR manticore/__main__.py:38:27-48: The type of this argument is unknown [unknown-argument-type]
- ERROR manticore/__main__.py:38:34-48: The type of attribute `recursionlimit` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/__main__.py:38:34-48: The type of attribute `recursionlimit` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/manticore.py:329:21-32: The type of this argument is unknown [unknown-argument-type]
- ERROR manticore/core/manticore.py:329:28-32: The type of attribute `seed` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/manticore.py:329:28-32: The type of attribute `seed` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/manticore.py:330:9-334:30: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR manticore/core/manticore.py:331:20-31: The type of attribute `mprocessing` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/manticore.py:331:20-31: The type of attribute `mprocessing` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/manticore.py:331:32-38: The type of attribute `single` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR manticore/core/manticore.py:332:20-31: The type of attribute `mprocessing` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/manticore.py:332:20-31: The type of attribute `mprocessing` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/manticore.py:332:32-41: The type of attribute `threading` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR manticore/core/manticore.py:333:20-31: The type of attribute `mprocessing` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/manticore.py:333:20-31: The type of attribute `mprocessing` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/manticore.py:333:32-47: The type of attribute `multiprocessing` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR manticore/core/manticore.py:334:11-29: The type of this argument is unknown [unknown-argument-type]
- ERROR manticore/core/manticore.py:334:18-29: The type of attribute `mprocessing` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/manticore.py:334:18-29: The type of attribute `mprocessing` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/manticore.py:387:24-68: The type of this argument is unknown [unknown-argument-type]
- ERROR manticore/core/manticore.py:387:31-36: The type of attribute `procs` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/manticore.py:387:31-36: The type of attribute `procs` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/manticore.py:1112:23-37: The type of `timeout` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR manticore/core/manticore.py:1112:30-37: The type of attribute `timeout` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/manticore.py:1112:30-37: The type of attribute `timeout` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/manticore.py:1122:33-40: The type of this argument is unknown [unknown-argument-type]
+ ERROR manticore/core/manticore.py:1122:33-40: The type of this argument is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:374:44-52: The type of attribute `optimize` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:374:44-52: The type of attribute `optimize` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:416:19-31: The type of attribute `defaultunsat` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:416:19-31: The type of attribute `defaultunsat` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:569:49-56: The type of attribute `timeout` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:569:49-56: The type of attribute `timeout` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:595:49-56: The type of attribute `timeout` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:595:49-56: The type of attribute `timeout` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:618:29-41: The type of attribute `maxsolutions` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:618:29-41: The type of attribute `maxsolutions` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:619:56-68: The type of attribute `maxsolutions` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:619:56-68: The type of attribute `maxsolutions` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:657:49-56: The type of attribute `timeout` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:657:49-56: The type of attribute `timeout` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:789:45-52: The type of attribute `timeout` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:789:45-52: The type of attribute `timeout` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:801:26-32: The type of attribute `z3_bin` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:801:26-32: The type of attribute `z3_bin` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:801:45-52: The type of attribute `timeout` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:801:45-52: The type of attribute `timeout` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:801:77-83: The type of attribute `memory` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:801:77-83: The type of attribute `memory` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:854:56-62: The type of attribute `z3_bin` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:854:56-62: The type of attribute `z3_bin` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:876:26-35: The type of attribute `yices_bin` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:876:26-35: The type of attribute `yices_bin` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:876:55-62: The type of attribute `timeout` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:876:55-62: The type of attribute `timeout` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:900:26-34: The type of attribute `cvc4_bin` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:900:26-34: The type of attribute `cvc4_bin` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:900:53-60: The type of attribute `timeout` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:900:53-60: The type of attribute `timeout` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:918:26-39: The type of attribute `boolector_bin` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:918:26-39: The type of attribute `boolector_bin` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:918:56-63: The type of attribute `timeout` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:918:56-63: The type of attribute `timeout` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1028:25-41: The type of this argument is unknown [unknown-argument-type]
- ERROR manticore/core/smtlib/solver.py:1028:32-41: The type of attribute `yices_bin` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1028:32-41: The type of attribute `yices_bin` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1029:21-27: The type of attribute `append` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR manticore/core/smtlib/solver.py:1029:27-53: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR manticore/core/smtlib/solver.py:1029:28-52: The type of this argument is unknown [unknown-argument-type]
- ERROR manticore/core/smtlib/solver.py:1029:35-41: The type of attribute `solver` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1029:35-41: The type of attribute `solver` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1029:42-47: The type of attribute `yices` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR manticore/core/smtlib/solver.py:1029:48-52: The type of attribute `name` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR manticore/core/smtlib/solver.py:1033:25-40: The type of this argument is unknown [unknown-argument-type]
- ERROR manticore/core/smtlib/solver.py:1033:32-40: The type of attribute `cvc4_bin` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1033:32-40: The type of attribute `cvc4_bin` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1034:21-27: The type of attribute `append` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR manticore/core/smtlib/solver.py:1034:27-52: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR manticore/core/smtlib/solver.py:1034:28-51: The type of this argument is unknown [unknown-argument-type]
- ERROR manticore/core/smtlib/solver.py:1034:35-41: The type of attribute `solver` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1034:35-41: The type of attribute `solver` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1034:42-46: The type of attribute `cvc4` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR manticore/core/smtlib/solver.py:1034:47-51: The type of attribute `name` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR manticore/core/smtlib/solver.py:1035:25-45: The type of this argument is unknown [unknown-argument-type]
- ERROR manticore/core/smtlib/solver.py:1035:32-45: The type of attribute `boolector_bin` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1035:32-45: The type of attribute `boolector_bin` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1036:21-27: The type of attribute `append` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR manticore/core/smtlib/solver.py:1036:27-57: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR manticore/core/smtlib/solver.py:1036:28-56: The type of this argument is unknown [unknown-argument-type]
- ERROR manticore/core/smtlib/solver.py:1036:35-41: The type of attribute `solver` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1036:35-41: The type of attribute `solver` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1036:42-51: The type of attribute `boolector` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR manticore/core/smtlib/solver.py:1036:52-56: The type of attribute `name` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR manticore/core/smtlib/solver.py:1039:61-70: The type of attribute `yices_bin` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1039:61-70: The type of attribute `yices_bin` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1039:81-87: The type of attribute `z3_bin` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1039:81-87: The type of attribute `z3_bin` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1039:98-106: The type of attribute `cvc4_bin` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1039:98-106: The type of attribute `cvc4_bin` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1039:117-130: The type of attribute `boolector_bin` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1039:117-130: The type of attribute `boolector_bin` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1042:68-75: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR manticore/core/smtlib/solver.py:1043:20-27: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR manticore/core/smtlib/solver.py:1050:57-64: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR manticore/core/smtlib/solver.py:1060:44-52: The type of attribute `optimize` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1060:44-52: The type of attribute `optimize` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1064:27-34: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR manticore/core/smtlib/solver.py:1095:19-25: The type of attribute `solver` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1095:19-25: The type of attribute `solver` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1095:36-42: The type of attribute `solver` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1095:36-42: The type of attribute `solver` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1095:43-47: The type of attribute `auto` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR manticore/core/smtlib/solver.py:1097:33-49: The type of this argument is unknown [unknown-argument-type]
- ERROR manticore/core/smtlib/solver.py:1097:40-49: The type of attribute `yices_bin` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1097:40-49: The type of attribute `yices_bin` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1098:41-47: The type of attribute `solver` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1098:41-47: The type of attribute `solver` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1098:48-53: The type of attribute `yices` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR manticore/core/smtlib/solver.py:1099:35-48: The type of this argument is unknown [unknown-argument-type]
- ERROR manticore/core/smtlib/solver.py:1099:42-48: The type of attribute `z3_bin` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1099:42-48: The type of attribute `z3_bin` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1100:41-47: The type of attribute `solver` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1100:41-47: The type of attribute `solver` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1100:48-50: The type of attribute `z3` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR manticore/core/smtlib/solver.py:1101:35-50: The type of this argument is unknown [unknown-argument-type]
- ERROR manticore/core/smtlib/solver.py:1101:42-50: The type of attribute `cvc4_bin` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1101:42-50: The type of attribute `cvc4_bin` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1102:41-47: The type of attribute `solver` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1102:41-47: The type of attribute `solver` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1102:48-52: The type of attribute `cvc4` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR manticore/core/smtlib/solver.py:1103:35-55: The type of this argument is unknown [unknown-argument-type]
- ERROR manticore/core/smtlib/solver.py:1103:42-55: The type of attribute `boolector_bin` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1103:42-55: The type of attribute `boolector_bin` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1104:41-47: The type of attribute `solver` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1104:41-47: The type of attribute `solver` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1104:48-57: The type of attribute `boolector` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR manticore/core/smtlib/solver.py:1107:69-78: The type of attribute `yices_bin` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1107:69-78: The type of attribute `yices_bin` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1107:89-95: The type of attribute `z3_bin` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1107:89-95: The type of attribute `z3_bin` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1107:106-114: The type of attribute `cvc4_bin` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1107:106-114: The type of attribute `cvc4_bin` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1107:125-138: The type of attribute `boolector_bin` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1107:125-138: The type of attribute `boolector_bin` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1111:33-39: The type of attribute `solver` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/smtlib/solver.py:1111:33-39: The type of attribute `solver` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/smtlib/solver.py:1113:46-52: The type of attribute `choice` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR manticore/core/state.py:311:38-63: The type of attribute `execs_per_intermittent_cb` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/state.py:311:38-63: The type of attribute `execs_per_intermittent_cb` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/worker.py:196:31-40: The type of attribute `fast_fail` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/worker.py:196:31-40: The type of attribute `fast_fail` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/worker.py:342:36-62: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR manticore/core/worker.py:342:44-48: The type of attribute `HOST` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/worker.py:342:44-48: The type of attribute `HOST` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/worker.py:342:57-61: The type of attribute `PORT` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/worker.py:342:57-61: The type of attribute `PORT` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/worker.py:405:32-62: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR manticore/core/worker.py:405:40-44: The type of attribute `HOST` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/worker.py:405:40-44: The type of attribute `HOST` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/worker.py:405:53-57: The type of attribute `PORT` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/worker.py:405:53-57: The type of attribute `PORT` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/workspace.py:218:52-72: The type of this argument is unknown [unknown-argument-type]
- ERROR manticore/core/workspace.py:218:66-72: The type of attribute `prefix` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/workspace.py:218:66-72: The type of attribute `prefix` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/core/workspace.py:218:74-88: The type of this argument is unknown [unknown-argument-type]
- ERROR manticore/core/workspace.py:218:85-88: The type of attribute `dir` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR manticore/core/workspace.py:218:85-88: The type of attribute `dir` is unknown because it comes from an error [unknown-from-error]
- ERROR manticore/ethereum/cli.py:101:19-31: The type of attribute `skip_reverts` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]

... (truncated 286 lines) ...

comtypes (https://github.com/enthought/comtypes)
- ERROR comtypes/tools/codegenerator/packing.py:17:9-10: The type of `s` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR comtypes/tools/codegenerator/packing.py:17:12-13: The type of `a` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR comtypes/tools/codegenerator/packing.py:19:17-29: The type of `a` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR comtypes/tools/codegenerator/packing.py:19:27-28: The type of this argument is unknown [unknown-argument-type]
+ ERROR comtypes/tools/codegenerator/packing.py:20:12-20: Implicit conversion of `int` to `bool` is not allowed [implicit-bool]
- ERROR comtypes/tools/codegenerator/packing.py:27:20-32: The type of `size` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR comtypes/tools/codegenerator/packing.py:27:24-28: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR comtypes/tools/codegenerator/packing.py:27:30-31: The type of this argument is unknown [unknown-argument-type]
- ERROR comtypes/tools/codegenerator/packing.py:28:40-41: The type of this argument is unknown [unknown-argument-type]
- ERROR comtypes/tools/codegenerator/packing.py:34:8-16: Implicit conversion of `int | Unknown` to `bool` is not allowed [implicit-bool]
+ ERROR comtypes/tools/codegenerator/packing.py:34:8-16: Implicit conversion of `int` to `bool` is not allowed [implicit-bool]
- ERROR comtypes/tools/codegenerator/packing.py:75:5-12: Fixpoint iteration did not converge. Inferred type `(t: Unknown) -> Unknown`. Adding annotations may help. [non-convergent-recursion]
- ERROR comtypes/tools/codegenerator/packing.py:78:16-30: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR comtypes/tools/codegenerator/packing.py:81:16-52: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]

pytest-autoprofile (https://gitlab.com/TTsangSC/pytest-autoprofile)
- ERROR tests/test-modules-and-tests/test_doctest/packages/my_pkg/funcs.py:47:5-14: Fixpoint iteration did not converge. Inferred type `(func: Unknown | None = None, /, **kwargs: Unknown) -> ((*args: Unknown, **kwargs: Unknown) -> Unknown) | partial[((*args: Unknown, **kwargs: Unknown) -> Unknown) | partial[((*args: Unknown, **kwargs: Unknown) -> Unknown) | partial[((*args: Unknown, **kwargs: Unknown) -> Unknown) | Unknown]]]`. Adding annotations may help. [non-convergent-recursion]

pandera (https://github.com/pandera-dev/pandera)
- ERROR pandera/api/extensions.py:156:5-26: Fixpoint iteration did not converge. Inferred type `(check_fn: Unknown | None = None, *, statistics: list[str] | None = None, supported_types: list[Unknown] | tuple[Unknown, ...] | type[Any] | None = None, check_type: CheckType | str = 'vectorized', strategy: Unknown | None = None, constraint: Unknown | None = None) -> ((check_fn: Unknown | None = None, *, statistics: list[str] | None = ..., supported_types: Unknown = ..., check_type: CheckType | str = ..., strategy: Unknown | None = ..., constraint: Unknown | None = ...) -> ((check_fn: Unknown | None = None, *, statistics: list[str] | None = ..., supported_types: Unknown = ..., check_type: CheckType | str = ..., strategy: Unknown | None = ..., constraint: Unknown | None = ...) -> ((check_fn: Unknown | None = None, *, statistics: list[str] | None = ..., supported_types: Unknown = ..., check_type: CheckType | str = ..., strategy: Unknown | None = ..., constraint: Unknown | None = ...) -> ((...) -> Unknown) | partial[Unknown]) | ((...) -> Unknown)) | ((...) -> Unknown)) | ((...) -> Unknown)`. Adding annotations may help. [non-convergent-recursion]
+ ERROR pandera/api/extensions.py:156:5-26: Fixpoint iteration did not converge. Inferred type `(check_fn: Unknown | None = None, *, statistics: list[str] | None = None, supported_types: list[Unknown] | tuple[Unknown, ...] | type[Any] | None = None, check_type: CheckType | str = 'vectorized', strategy: Unknown | None = None, constraint: Unknown | None = None) -> ((check_fn: Unknown | None = None, *, statistics: list[str] | None = ..., supported_types: Unknown = ..., check_type: CheckType | str = ..., strategy: Unknown | None = ..., constraint: Unknown | None = ...) -> ((check_fn: Unknown | None = None, *, statistics: list[str] | None = ..., supported_types: Unknown = ..., check_type: CheckType | str = ..., strategy: Unknown | None = ..., constraint: Unknown | None = ...) -> ((check_fn: Unknown | None = None, *, statistics: list[str] | None = ..., supported_types: Unknown = ..., check_type: CheckType | str = ..., strategy: Unknown | None = ..., constraint: Unknown | None = ...) -> ((check_fn: Unknown | None = None, *, statistics: list[str] | None = ..., supported_types: Unknown = ..., check_type: CheckType | str = ..., strategy: Unknown | None = ..., constraint: Unknown | None = ...) -> ((...) -> Unknown) | partial[Unknown]) | ((...) -> Unknown)) | ((...) -> Unknown)) | ((...) -> Unknown)) | ((...) -> Unknown)`. Adding annotations may help. [non-convergent-recursion]
- ERROR tests/pandas/test_extensions.py:318:9-320:10: Result of call expression is of type `((check_fn: Unknown | None = None, *, statistics: list[str] | None = ..., supported_types: Unknown = ..., check_type: CheckType | str = ..., strategy: Unknown | None = ..., constraint: Unknown | None = ...) -> ((check_fn: Unknown | None = None, *, statistics: list[str] | None = ..., supported_types: Unknown = ..., check_type: CheckType | str = ..., strategy: Unknown | None = ..., constraint: Unknown | None = ...) -> ((check_fn: Unknown | None = None, *, statistics: list[str] | None = ..., supported_types: Unknown = ..., check_type: CheckType | str = ..., strategy: Unknown | None = ..., constraint: Unknown | None = ...) -> ((...) -> Unknown) | partial[Unknown]) | ((...) -> Unknown)) | ((...) -> Unknown)) | ((...) -> Unknown)` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR tests/pandas/test_extensions.py:318:9-320:10: Result of call expression is of type `((check_fn: Unknown | None = None, *, statistics: list[str] | None = ..., supported_types: Unknown = ..., check_type: CheckType | str = ..., strategy: Unknown | None = ..., constraint: Unknown | None = ...) -> ((check_fn: Unknown | None = None, *, statistics: list[str] | None = ..., supported_types: Unknown = ..., check_type: CheckType | str = ..., strategy: Unknown | None = ..., constraint: Unknown | None = ...) -> ((check_fn: Unknown | None = None, *, statistics: list[str] | None = ..., supported_types: Unknown = ..., check_type: CheckType | str = ..., strategy: Unknown | None = ..., constraint: Unknown | None = ...) -> ((check_fn: Unknown | None = None, *, statistics: list[str] | None = ..., supported_types: Unknown = ..., check_type: CheckType | str = ..., strategy: Unknown | None = ..., constraint: Unknown | None = ...) -> ((...) -> Unknown) | partial[Unknown]) | ((...) -> Unknown)) | ((...) -> Unknown)) | ((...) -> Unknown)) | ((...) -> Unknown)` and is not used; assign to `_` if this is intentional [unused-call-result]

stone (https://github.com/dropbox/stone)
- ERROR stone/backends/python_type_mapping.py:73:16-86: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
+ ERROR stone/backends/python_type_mapping.py:73:16-86: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_mapping.py:89:13-82: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/backends/python_type_mapping.py:89:13-82: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_mapping.py:101:13-85: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/backends/python_type_mapping.py:101:13-85: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_mapping.py:102:13-87: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/backends/python_type_mapping.py:102:13-87: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_mapping.py:111:13-86: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/backends/python_type_mapping.py:111:13-86: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_stubs.py:186:26-81: The type of `param_type` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
+ ERROR stone/backends/python_type_stubs.py:186:26-81: The type of `param_type` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_stubs.py:190:52-62: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/backends/python_type_stubs.py:190:52-62: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_stubs.py:195:21-42: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/backends/python_type_stubs.py:195:21-42: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_stubs.py:204:26-81: The type of `param_type` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
+ ERROR stone/backends/python_type_stubs.py:204:26-81: The type of `param_type` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_stubs.py:209:17-38: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/backends/python_type_stubs.py:209:17-38: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_stubs.py:282:28-83: The type of `val_type` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
+ ERROR stone/backends/python_type_stubs.py:282:28-83: The type of `val_type` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_stubs.py:287:21-38: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/backends/python_type_stubs.py:287:21-38: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_stubs.py:303:28-83: The type of `val_type` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
+ ERROR stone/backends/python_type_stubs.py:303:28-83: The type of `val_type` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_stubs.py:307:21-38: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/backends/python_type_stubs.py:307:21-38: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_stubs.py:345:26-81: The type of `field_type` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
+ ERROR stone/backends/python_type_stubs.py:345:26-81: The type of `field_type` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_stubs.py:349:52-62: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/backends/python_type_stubs.py:349:52-62: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_stubs.py:353:17-38: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/backends/python_type_stubs.py:353:17-38: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_stubs.py:362:26-81: The type of `field_type` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
+ ERROR stone/backends/python_type_stubs.py:362:26-81: The type of `field_type` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_stubs.py:365:80-90: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/backends/python_type_stubs.py:365:80-90: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_stubs.py:402:17-76: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/backends/python_type_stubs.py:402:17-76: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_stubs.py:410:17-89: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/backends/python_type_stubs.py:410:17-89: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_stubs.py:411:17-91: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/backends/python_type_stubs.py:411:17-91: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_stubs.py:418:17-76: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/backends/python_type_stubs.py:418:17-76: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_stubs.py:426:20-64: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
+ ERROR stone/backends/python_type_stubs.py:426:20-64: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_type_stubs.py:447:16-448:97: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
+ ERROR stone/backends/python_type_stubs.py:447:16-448:97: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_types.py:231:16-60: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
+ ERROR stone/backends/python_types.py:231:16-60: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_types.py:320:21-67: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/backends/python_types.py:320:21-67: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_types.py:611:21-60: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/backends/python_types.py:611:21-60: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_types.py:815:25-71: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/backends/python_types.py:815:25-71: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_types.py:921:25-64: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/backends/python_types.py:921:25-64: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_types.py:923:25-65: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/backends/python_types.py:923:25-65: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR stone/backends/python_types.py:968:25-64: The type of this argument is unknown [unknown-argument-type]
+ ERROR stone/backends/python_types.py:968:25-64: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]

ibis (https://github.com/ibis-project/ibis)
- ERROR ibis/backends/datafusion/tests/test_datatypes.py:13:16-45: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR ibis/backends/datafusion/tests/test_datatypes.py:15:16-77: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR ibis/backends/sqlite/udf.py:66:5-8: Fixpoint iteration did not converge. Inferred type `(func: Unknown | None = None, *, skip_if_exists: bool | Unknown = False, deterministic: bool | Unknown = True) -> ((func: Unknown) -> ((func: Unknown) -> ((func: Unknown) -> ((func: Unknown) -> Unknown) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)`. Adding annotations may help. [non-convergent-recursion]
+ ERROR ibis/backends/sqlite/udf.py:66:5-8: Fixpoint iteration did not converge. Inferred type `(func: Unknown | None = None, *, skip_if_exists: bool | Unknown = False, deterministic: bool | Unknown = True) -> ((func: Unknown) -> ((func: Unknown) -> ((func: Unknown) -> ((func: Unknown) -> ((func: Unknown) -> Never) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)`. Adding annotations may help. [non-convergent-recursion]
- ERROR ibis/backends/sqlite/udf.py:87:9-89:10: Fixpoint iteration did not converge. Inferred type `(func: Unknown) -> ((func: Unknown) -> ((func: Unknown) -> ((func: Unknown) -> Unknown) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)`. Adding annotations may help. [non-convergent-recursion]
+ ERROR ibis/backends/sqlite/udf.py:87:9-89:10: Fixpoint iteration did not converge. Inferred type `(func: Unknown) -> ((func: Unknown) -> ((func: Unknown) -> ((func: Unknown) -> ((func: Unknown) -> Never) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)) | ((*args: Unknown, **kwargs: Unknown) -> Unknown | None)`. Adding annotations may help. [non-convergent-recursion]
- ERROR ibis/common/annotations.py:571:5-14: Fixpoint iteration did not converge. Inferred type `(_1: Unknown | None = None, _2: Unknown | None = None, _3: Unknown | None = None, **kwargs: Unknown) -> ((*args: Unknown, **kwargs: Unknown) -> Unknown) | partial[((*args: Unknown, **kwargs: Unknown) -> Unknown) | partial[((*args: Unknown, **kwargs: Unknown) -> Unknown) | partial[((*args: Unknown, **kwargs: Unknown) -> Unknown) | Unknown]]]`. Adding annotations may help. [non-convergent-recursion]
- ERROR ibis/common/deferred.py:94:16-47: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR ibis/common/patterns.py:581:26-72: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR ibis/common/patterns.py:582:16-51: The type of `last` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR ibis/common/patterns.py:583:16-53: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR ibis/common/patterns.py:666:16-56: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR ibis/common/patterns.py:725:16-56: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR ibis/common/patterns.py:797:16-55: The type of `type` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR ibis/common/patterns.py:1145:15-55: The type of `typ` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR ibis/common/tests/test_deferred.py:368:11-30: The type of `res` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR ibis/common/tests/test_deferred.py:374:11-30: The type of `res` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR ibis/common/tests/test_deferred.py:385:11-30: The type of `res` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR ibis/common/tests/test_deferred.py:392:11-30: The type of `res` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR ibis/common/tests/test_deferred.py:397:11-30: The type of `res` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR ibis/common/tests/test_deferred.py:404:11-30: The type of `res` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR ibis/common/tests/test_deferred.py:409:11-30: The type of `res` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR ibis/common/tests/test_deferred.py:416:11-30: The type of `res` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR ibis/common/tests/test_deferred.py:422:11-30: The type of `res` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR ibis/expr/tests/test_reductions.py:104:20-41: The type of `resolved` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR ibis/expr/tests/test_reductions.py:104:37-39: The type of attribute `op` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR ibis/expr/types/generic.py:1812:24-44: Returning implicit Any from function declared to return "Value | None" [no-any-return-implicit]
- ERROR ibis/expr/types/relations.py:4980:23-45: The type of `arg` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR ibis/expr/types/relations.py:4989:27-29: The type of attribute `op` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR ibis/tests/expr/test_udf.py:147:32-38: The type of attribute `equals` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR ibis/tests/expr/test_udf.py:147:52-53: The type of attribute `a` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]

pytensor (https://github.com/pymc-devs/pytensor)
- ERROR pytensor/compile/debug/debugmode.py:1362:20-86: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pytensor/graph/rewriting/basic.py:1679:19-53: The type of `ret` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
+ ERROR pytensor/graph/rewriting/basic.py:1679:19-53: The type of `ret` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pytensor/graph/rewriting/basic.py:1682:13-20: Object of class `Op` has no attribute `tag` [missing-attribute]
- ERROR pytensor/graph/rewriting/basic.py:1682:17-20: The type of attribute `tag` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pytensor/graph/rewriting/basic.py:1682:40-61: The type of this argument is unknown [unknown-argument-type]
- ERROR pytensor/graph/rewriting/basic.py:1685:42-46: The type of attribute `type` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR pytensor/graph/rewriting/basic.py:1685:38-46: Object of class `Op` has no attribute `type` [missing-attribute]
- ERROR pytensor/graph/rewriting/basic.py:1692:36-40: The type of attribute `type` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR pytensor/graph/rewriting/basic.py:1697:19-29: Object of class `Variable` has no attribute `astype` [missing-attribute]
+ ERROR pytensor/graph/rewriting/basic.py:1692:32-40: Object of class `Op` has no attribute `type` [missing-attribute]
+ ERROR pytensor/graph/rewriting/basic.py:1697:19-29: Object of type `Op | Variable[Unknown, Unknown] | Unknown` has no attribute `astype` [missing-attribute]
- ERROR pytensor/graph/rewriting/unify.py:542:5-18: Fixpoint iteration did not converge. Inferred type `(pattern: Unknown, subs: Mapping[Asterisk | PatternVar, Any]) -> Unknown`. Adding annotations may help. [non-convergent-recursion]
+ ERROR pytensor/graph/rewriting/unify.py:542:5-18: Fixpoint iteration did not converge. Inferred type `(pattern: Unknown, subs: Mapping[Asterisk | PatternVar, Any]) -> Op | Unknown`. Adding annotations may help. [non-convergent-recursion]
- ERROR pytensor/graph/rewriting/unify.py:559:13-561:26: The type of `op` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pytensor/graph/rewriting/unify.py:559:13-561:26: The type of `op` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR pytensor/graph/rewriting/unify.py:574:31-53: The type of this argument is unknown [unknown-argument-type]
+ ERROR pytensor/graph/rewriting/unify.py:574:31-53: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pytensor/graph/rewriting/unify.py:576:16-27: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pytensor/graph/rewriting/unify.py:576:16-27: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR pytensor/graph/rewriting/unify.py:576:19-26: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pytensor/graph/rewriting/unify.py:589:31-55: The type of this argument is unknown [unknown-argument-type]
+ ERROR pytensor/graph/rewriting/unify.py:589:31-55: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pytensor/link/c/basic.py:1809:20-1814:52: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pytensor/link/c/basic.py:1959:20-1961:14: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pytensor/link/c/basic.py:1988:43-45: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pytensor/link/vm.py:899:20-908:52: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pytensor/misc/may_share_memory.py:38:12-51: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pytensor/scalar/basic.py:4130:16-75: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pytensor/scalar/loop.py:151:20-50: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pytensor/sparse/rewriting.py:210:1-39: Expected a callable, got `((inner_rewriter: RewriteDatabase | Rewriter) -> ((inner_rewriter: RewriteDatabase | Rewriter) -> ((inner_rewriter: RewriteDatabase | Rewriter) -> ((inner_rewriter: RewriteDatabase | Rewriter) -> Unknown) | NodeRewriter | RewriteDatabase) | NodeRewriter | RewriteDatabase) | NodeRewriter | RewriteDatabase) | NodeRewriter | RewriteDatabase` [not-callable]
+ ERROR pytensor/sparse/rewriting.py:210:1-39: Expected a callable, got `((inner_rewriter: RewriteDatabase | Rewriter) -> ((inner_rewriter: RewriteDatabase | Rewriter) -> ((inner_rewriter: RewriteDatabase | Rewriter) -> ((inner_rewriter: RewriteDatabase | Rewriter) -> ((inner_rewriter: RewriteDatabase | Rewriter) -> Never) | NodeRewriter | RewriteDatabase) | NodeRewriter | RewriteDatabase) | NodeRewriter | RewriteDatabase) | NodeRewriter | RewriteDatabase) | NodeRewriter | RewriteDatabase` [not-callable]
- ERROR pytensor/sparse/rewriting.py:915:1-63: Result of call expression is of type `((inner_rewriter: RewriteDatabase | Rewriter) -> ((inner_rewriter: RewriteDatabase | Rewriter) -> ((inner_rewriter: RewriteDatabase | Rewriter) -> ((inner_rewriter: RewriteDatabase | Rewriter) -> Unknown) | NodeRewriter | RewriteDatabase) | NodeRewriter | RewriteDatabase) | NodeRewriter | RewriteDatabase) | NodeRewriter | RewriteDatabase` and is not used; assign to `_` if this is intentional [unused-call-result]

... (truncated 347 lines) ...

meta-cla Bot added the cla signed label Aug 22, 2026

github-actions Bot added the size/s label Aug 22, 2026

This comment has been minimized.

Sign in to view

github-actions Bot assigned rchen152 Aug 23, 2026

github-actions Bot requested a review from rchen152 August 23, 2026 09:10

asukaminato0721 force-pushed the 804 branch from 46c191a to 8c59328 Compare August 27, 2026 16:31

github-actions Bot added size/s and removed size/s labels Aug 27, 2026

This comment has been minimized.

Sign in to view

asukaminato0721 force-pushed the 804 branch from 8c59328 to 8874546 Compare October 27, 2026 11:28

github-actions Bot added size/s and removed size/s labels Oct 27, 2026

This comment has been minimized.

Sign in to view

rchen152 added the waiting-for-reviewer label Oct 28, 2026

asukaminato0721 added 2 commits October 31, 2026 01:46

test

fa47458

fix

7da0fb5

Recursive function SCCs now start from Never, preventing placeholder Unknown from leaking into inferred returns

asukaminato0721 force-pushed the 804 branch from 8874546 to 7da0fb5 Compare October 30, 2026 16:46

github-actions Bot added size/s and removed size/s labels Oct 30, 2026

Navigation Menu

Repository navigation

fix Return type inference for mutually recursive functions #804 - #4628

fix Return type inference for mutually recursive functions #804#4628
asukaminato0721 wants to merge 2 commits into
meta:mainfrom
asukaminato0721:804

asukaminato0721 commented Aug 22, 2026

Uh oh!

meta-codesync Bot commented Aug 22, 2026

Uh oh!

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

github-actions Bot commented Oct 30, 2026

Uh oh!

This branch has not been deployed

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

asukaminato0721 commented Aug 22, 2026

Summary

Test Plan

Uh oh!

meta-codesync Bot commented Aug 22, 2026

Uh oh!

This comment has been minimized.

This comment has been minimized.

This comment has been minimized.

github-actions Bot commented Oct 30, 2026

Uh oh!

This branch has not been deployed

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants