Skip to content

fix [Feat] better behavior for getattr() w/ literal attribute names #4477 - #4540

Open
asukaminato0721 wants to merge 2 commits into
meta:mainfrom
asukaminato0721:4477
Open

fix [Feat] better behavior for getattr() w/ literal attribute names #4477#4540
asukaminato0721 wants to merge 2 commits into
meta:mainfrom
asukaminato0721:4477

Conversation

@asukaminato0721

@asukaminato0721 asukaminato0721 commented Aug 13, 2026

Copy link
Copy Markdown
Collaborator

Summary

Fixes #4477

Literal-name getattr now reuses normal attribute inference for class instances instead of always falling back to typeshed’s Any.

It still runs the ordinary builtin call validation first, then only overrides the return type when the call is getattr(obj, "literal", default?), the receiver is a ClassType, and the attribute lookup succeeds.

Test Plan

add test

@meta-cla meta-cla Bot added the cla signed label Aug 13, 2026
@meta-codesync

meta-codesync Bot commented Aug 13, 2026

Copy link
Copy Markdown
Contributor

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

@github-actions

This comment has been minimized.

Sign in to view
@github-actions
github-actions Bot requested a review from maggiemoss August 14, 2026 09:28
maggiemoss
maggiemoss requested changes Aug 17, 2026
View reviewed changes
Comment thread pyrefly/lib/test/attributes.rs Resolved
@github-actions github-actions Bot added size/m and removed size/m labels Aug 18, 2026
@github-actions

This comment has been minimized.

Sign in to view
@github-actions

This comment has been minimized.

Sign in to view
@github-actions github-actions Bot added the stale label Sep 3, 2026
@github-actions github-actions Bot added size/m and removed size/m labels Sep 18, 2026
@github-actions github-actions Bot added size/m and removed size/m labels Sep 21, 2026
@github-actions

This comment has been minimized.

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

github-actions Bot commented Oct 27, 2026

Copy link
Copy Markdown

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

============================================================
SUMMARY
============================================================
Total: +342 new errors, -661 fixed errors
By preset: +28/-2 (default), +43/-5 (strict)

Projects with changes (55):
  pip: +10 -11
  tornado: +4 -10
  psycopg: +1 -1
  apprise: +1 -1
  mkdocs: +3 -0
  operator: +1 -1
  openlibrary: +8 -3
  rotki: +1 -1
  pytest: +6 -3
  graphql-core: +2 -6
  altair: +7 -6
  jax: +5 -6
  urllib3: +1 -0
  scikit-learn: +12 -11
  spark: +2 -6
  prefect: +1 -0
  setuptools: +29 -15
  scikit-build-core: +14 -41
  freqtrade: +1 -1
  colour: +3 -0
  manticore: +1 -257
  schemathesis: +10 -9
  materialize: +18 -14
  streamlit: +3 -12
  mitmproxy: +2 -1
  cloud-init: +0 -2
  strawberry: +3 -2
  pandera: +19 -12
  zulip: +1 -2
  hydra-zen: +3 -2
  bokeh: +2 -4
  beartype: +2 -4
  zope.interface: +2 -2
  mypy: +2 -1
  hydpy: +6 -24
  pandas: +9 -3
  anyio: +1 -2
  trio: +1 -3
  sphinx: +14 -18
  werkzeug: +16 -9
  pytensor: +34 -21
  dd-trace-py: +14 -29
  core: +18 -52
  nox: +2 -2
  spack: +21 -19
  xarray: +5 -1
  kornia: +0 -11
  django-test-migrations: +1 -1
  pydantic: +1 -0
  scrapy: +5 -7
  rich: +1 -3
  pylint: +0 -1
  cvxpy: +5 -4
  django-modern-rest: +4 -4
  porcupine: +4 -0
============================================================

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

pip (https://github.com/pypa/pip)
+ ERROR src/pip/_internal/cli/req_command.py:324:70-72: Cannot infer type of empty container; it will be treated as containing `Any` [implicit-any-empty-container]
+ ERROR src/pip/_internal/cli/req_command.py:328:46-62: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR src/pip/_internal/exceptions/hashes.py:145:13-20: Implicit conversion of `Link | Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR src/pip/_internal/exceptions/hashes.py:145:13-20: Implicit conversion of `Link | Requirement | None` to `bool` is not allowed [implicit-bool]
- ERROR src/pip/_vendor/distlib/resources.py:346:45-57: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR src/pip/_vendor/distlib/resources.py:346:45-57: Argument `type[NoneType] | type[LoaderProtocol]` is not assignable to parameter `key` with type `type[NoneType] | type[zipimporter]` in function `dict.get` [bad-argument-type]
- ERROR src/pip/_vendor/pkg_resources/__init__.py:2994:21-60: The type of `notes` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR src/pip/_vendor/pkg_resources/__init__.py:3292:16-18: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR src/pip/_vendor/pkg_resources/__init__.py:3292:16-18: Implicit conversion of `str | None` to `bool` is not allowed [implicit-bool]
- ERROR src/pip/_vendor/pkg_resources/__init__.py:3292:16-3294:14: Implicit conversion of `Unknown | None` to `bool` is not allowed [implicit-bool]
+ ERROR src/pip/_vendor/pkg_resources/__init__.py:3292:16-3294:14: Implicit conversion of `Literal[''] | bool | None` to `bool` is not allowed [implicit-bool]
+ ERROR src/pip/_vendor/pkg_resources/__init__.py:3293:47-50: The type of this argument is unknown because it comes from an error [unknown-from-error]
+ ERROR src/pip/_vendor/pkg_resources/__init__.py:3293:69-82: Argument `str | None` is not assignable to parameter `prefix` with type `str | tuple[str, ...]` in function `str.startswith` [bad-argument-type]
- ERROR src/pip/_vendor/pkg_resources/__init__.py:3293:32-34: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR src/pip/_vendor/pkg_resources/__init__.py:3293:36-46: The type of attribute `startswith` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR src/pip/_vendor/pkg_resources/__init__.py:3293:58-68: The type of attribute `startswith` is an explicit `Any` [explicit-any-use]
- ERROR src/pip/_vendor/rich/traceback.py:448:28-65: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR src/pip/_vendor/rich/traceback.py:448:28-65: Implicit conversion of `list[str] | None` to `bool` is not allowed [implicit-bool]
- ERROR src/pip/_vendor/rich/traceback.py:579:38-47: The type of attribute `__class__` is an explicit `Any` [explicit-any-use]
- ERROR src/pip/_vendor/rich/traceback.py:583:39-52: The type of attribute `__traceback__` is an explicit `Any` [explicit-any-use]
+ ERROR src/pip/_vendor/urllib3/util/request.py:167:13-32: Result of call expression is of type `int` and is not used; assign to `_` if this is intentional [unused-call-result]

tornado (https://github.com/tornadoweb/tornado)
- ERROR tornado/autoreload.py:178:16-20: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR tornado/autoreload.py:178:16-20: Implicit conversion of `str | None` to `bool` is not allowed [implicit-bool]
- ERROR tornado/autoreload.py:180:17-25: The type of attribute `endswith` is an explicit `Any` [explicit-any-use]
- ERROR tornado/autoreload.py:180:42-50: The type of attribute `endswith` is an explicit `Any` [explicit-any-use]
- ERROR tornado/autoreload.py:181:20-29: The type of `path` is an explicit `Any` [explicit-any-use]
- ERROR tornado/autoreload.py:182:35-39: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR tornado/autoreload.py:221:8-12: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR tornado/autoreload.py:221:8-12: Implicit conversion of `ModuleSpec | None` to `bool` is not allowed [implicit-bool]
- ERROR tornado/autoreload.py:221:8-40: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR tornado/autoreload.py:221:8-40: Implicit conversion of `ModuleSpec | bool | None` to `bool` is not allowed [implicit-bool]
- ERROR tornado/autoreload.py:221:22-26: The type of attribute `name` is an explicit `Any` [explicit-any-use]
- ERROR tornado/autoreload.py:230:28-32: The type of attribute `name` is an explicit `Any` [explicit-any-use]
+ ERROR tornado/autoreload.py:276:5-38: `ModuleSpec | None` is not assignable to attribute `_original_spec` with type `None` [bad-assignment]
- ERROR tornado/http1connection.py:615:16-51: The type of this argument is an explicit `Any` [explicit-any-use]

psycopg (https://github.com/psycopg/psycopg)
- ERROR psycopg/psycopg/_copy_base.py:96:27-55: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR psycopg/psycopg/_copy_base.py:96:27-55: Implicit conversion of `Transformer | None` to `bool` is not allowed [implicit-bool]

apprise (https://github.com/caronc/apprise)
- ERROR apprise/dispatch.py:191:54-69: Implicit conversion of `float | Any` to `bool` is not allowed [implicit-bool]
+ ERROR apprise/dispatch.py:191:54-69: Implicit conversion of `float` to `bool` is not allowed [implicit-bool]

mkdocs (https://github.com/mkdocs/mkdocs)
+ ERROR mkdocs/config/base.py:140:24-57: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR mkdocs/config/base.py:307:31-39: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR mkdocs/config/base.py:366:48-54: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]

operator (https://github.com/canonical/operator)
- ERROR ops/framework.py:300:23-36: The type of attribute `register_type` is an explicit `Any` [explicit-any-use]
+ ERROR ops/framework.py:300:37-52: Argument `type[EventBase]` is not assignable to parameter `cls` with type `type[Serializable]` in function `Framework.register_type` [bad-argument-type]

openlibrary (https://github.com/internetarchive/openlibrary)
+ ERROR openlibrary/core/shell/chrome.py:64:12-37: The type of `path` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR openlibrary/core/shell/chrome.py:66:51-55: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR openlibrary/core/shell/header.py:41:14-46: Unnecessary `str()` call; argument is already of type `str` [unnecessary-type-conversion]
- ERROR openlibrary/core/shell/header.py:41:15-39: Implicit conversion of `str | Any` to `bool` is not allowed [implicit-bool]
+ ERROR openlibrary/core/shell/header.py:41:15-39: Implicit conversion of `str` to `bool` is not allowed [implicit-bool]
+ ERROR openlibrary/core/shell/header.py:46:15-45: The type of `created` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR openlibrary/core/shell/header.py:47:41-48: The type of this argument is an explicit `Any` [explicit-any-use]
+ ERROR openlibrary/core/shell/header.py:47:41-48: The type of this argument is unknown [unknown-argument-type]
- ERROR openlibrary/core/shell/header.py:47:58-65: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR openlibrary/core/shell/header.py:47:58-65: Implicit conversion of `Unknown | None` to `bool` is not allowed [implicit-bool]
+ ERROR openlibrary/plugins/openlibrary/lists.py:895:27-53: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]

rotki (https://github.com/rotki/rotki)
- ERROR rotkehlchen/utils/progress.py:69:12-91: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR rotkehlchen/utils/progress.py:69:12-91: Implicit conversion of `str | Any | None` to `bool` is not allowed [implicit-bool]

pytest (https://github.com/pytest-dev/pytest)
- ERROR src/_pytest/config/__init__.py:1042:18-46: The type of `direct_url` is an explicit `Any` [explicit-any-use]
+ ERROR src/_pytest/config/__init__.py:1043:12-22: Implicit conversion of `str | None` to `bool` is not allowed [implicit-bool]
- ERROR src/_pytest/config/__init__.py:1046:31-41: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR src/_pytest/config/__init__.py:1425:12-58: Implicit conversion of `Namespace | bool | Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR src/_pytest/config/__init__.py:1425:12-58: Implicit conversion of `Literal[False] | Namespace | Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR src/_pytest/fixtures.py:610:16-59: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR src/_pytest/terminal.py:1624:47-49: Cannot infer type of empty container; it will be treated as containing `Any` [implicit-any-empty-container]
+ ERROR src/_pytest/terminal.py:1630:17-35: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR src/_pytest/terminal.py:1631:17-45: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]

graphql-core (https://github.com/graphql-python/graphql-core)
- ERROR src/graphql/type/schema.py:344:20-29: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR src/graphql/type/schema.py:344:20-29: Implicit conversion of `str | None` to `bool` is not allowed [implicit-bool]
- ERROR src/graphql/type/schema.py:350:16-25: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR src/graphql/type/schema.py:357:22-31: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR src/graphql/utilities/ast_to_dict.py:77:16-19: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR src/graphql/utilities/ast_to_dict.py:77:16-19: Implicit conversion of `Location | None` to `bool` is not allowed [implicit-bool]
- ERROR src/graphql/utilities/ast_to_dict.py:78:44-49: The type of attribute `start` is an explicit `Any` [explicit-any-use]
- ERROR src/graphql/utilities/ast_to_dict.py:78:62-65: The type of attribute `end` is an explicit `Any` [explicit-any-use]

altair (https://github.com/vega/altair)
- ERROR altair/jupyter/jupyter_chart.py:400:9-11: The type of `tx` is an explicit `Any` [explicit-any-use]
- ERROR altair/jupyter/jupyter_chart.py:401:20-22: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR altair/jupyter/jupyter_chart.py:402:34-42: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR altair/jupyter/jupyter_chart.py:402:37-42: The type of attribute `param` is an explicit `Any` [explicit-any-use]
+ ERROR altair/jupyter/jupyter_chart.py:398:46-48: Cannot infer type of empty container; it will be treated as containing `Any` [implicit-any-empty-container]
+ ERROR altair/jupyter/jupyter_chart.py:399:18-67: The type of `transforms` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR altair/jupyter/jupyter_chart.py:400:15-25: The type of `tx` is unknown because it comes from an error [unknown-from-error]
+ ERROR altair/jupyter/jupyter_chart.py:401:20-22: The type of this argument is unknown because it comes from an error [unknown-from-error]
+ ERROR altair/jupyter/jupyter_chart.py:402:34-42: The type of this argument is unknown because it comes from an error [unknown-from-error]
- ERROR altair/utils/schemapi.py:1103:12-56: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR altair/utils/schemapi.py:1103:12-56: Implicit conversion of `Unknown | None` to `bool` is not allowed [implicit-bool]
- ERROR altair/utils/schemapi.py:1105:24-35: The type of the returned value is an explicit `Any` [explicit-any-use]
+ ERROR altair/utils/schemapi.py:1105:24-35: The type of the returned value is unknown because it comes from an error [unknown-from-error]

jax (https://github.com/google/jax)
+ ERROR jax/_src/compilation_cache.py:94:11-95:74: Implicit conversion of `bool | object` to `bool` is not allowed [implicit-bool]
- ERROR jax/_src/lax/parallel.py:1522:20-56: Implicit conversion of `str | Any` to `bool` is not allowed [implicit-bool]
+ ERROR jax/_src/lax/parallel.py:1522:20-56: Implicit conversion of `str` to `bool` is not allowed [implicit-bool]
- ERROR jax/_src/pallas/mosaic_gpu/pipeline.py:313:7-57: Implicit conversion of `set[int | Any]` to `bool` is not allowed [implicit-bool]
+ ERROR jax/_src/pallas/mosaic_gpu/pipeline.py:313:7-57: Implicit conversion of `set[int]` to `bool` is not allowed [implicit-bool]
- ERROR jax/_src/pallas/mosaic_gpu/pipeline.py:315:6-26: Implicit conversion of `list[int | Any]` to `bool` is not allowed [implicit-bool]
+ ERROR jax/_src/pallas/mosaic_gpu/pipeline.py:315:6-26: Implicit conversion of `list[int]` to `bool` is not allowed [implicit-bool]
- ERROR jax/_src/pallas/mosaic_gpu/pipeline.py:315:6-78: Implicit conversion of `bool | list[int | Any] | Any` to `bool` is not allowed [implicit-bool]
+ ERROR jax/_src/pallas/mosaic_gpu/pipeline.py:315:6-78: Implicit conversion of `bool | list[int]` to `bool` is not allowed [implicit-bool]
- ERROR jax/_src/pallas/mosaic_gpu/pipeline.py:358:46-47: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR jax/_src/pallas/mosaic_gpu/pipeline.py:359:25-26: The type of `t` is an explicit `Any` [explicit-any-use]

urllib3 (https://github.com/urllib3/urllib3)
+ ERROR src/urllib3/util/request.py:210:13-32: Result of call expression is of type `int` and is not used; assign to `_` if this is intentional [unused-call-result]

scikit-learn (https://github.com/scikit-learn/scikit-learn)
- ERROR sklearn/ensemble/tests/test_forest.py:1559:49-51: The type of `ba` is an explicit `Any` [explicit-any-use]
- ERROR sklearn/ensemble/tests/test_forest.py:1559:53-59: The type of `n_jobs` is an explicit `Any` [explicit-any-use]
+ ERROR sklearn/ensemble/tests/test_forest.py:1562:12-20: Object of class `_Sentinel` has no attribute `count` [missing-attribute]
- ERROR sklearn/ensemble/tests/test_forest.py:1562:15-20: The type of attribute `count` is an explicit `Any` [explicit-any-use]
- ERROR sklearn/ensemble/tests/test_forest.py:1565:49-51: The type of `ba` is an explicit `Any` [explicit-any-use]
- ERROR sklearn/ensemble/tests/test_forest.py:1565:53-54: The type of `_` is an explicit `Any` [explicit-any-use]
- ERROR sklearn/ensemble/tests/test_forest.py:1568:15-20: The type of attribute `count` is an explicit `Any` [explicit-any-use]
+ ERROR sklearn/ensemble/tests/test_forest.py:1568:12-20: Object of class `_Sentinel` has no attribute `count` [missing-attribute]
- ERROR sklearn/metrics/_plot/tests/test_roc_curve_display.py:354:15-46: The type of `y_score` is an explicit `Any` [explicit-any-use]
+ ERROR sklearn/metrics/_plot/tests/test_roc_curve_display.py:354:15-46: The type of `y_score` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
+ ERROR sklearn/metrics/_plot/tests/test_roc_curve_display.py:354:44-45: The type of this argument is unknown [unknown-argument-type]
- ERROR sklearn/metrics/_plot/tests/test_roc_curve_display.py:355:15-62: The type of `y_score` is an explicit `Any` [explicit-any-use]
+ ERROR sklearn/metrics/_plot/tests/test_roc_curve_display.py:355:15-62: The type of `y_score` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR sklearn/metrics/_plot/tests/test_roc_curve_display.py:355:34-38: The type of attribute `ndim` is an explicit `Any` [explicit-any-use]
+ ERROR sklearn/metrics/_plot/tests/test_roc_curve_display.py:355:34-38: The type of attribute `ndim` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR sklearn/metrics/_plot/tests/test_roc_curve_display.py:369:13-20: The type of this argument is an explicit `Any` [explicit-any-use]
+ ERROR sklearn/metrics/_plot/tests/test_roc_curve_display.py:369:13-20: The type of this argument is unknown [unknown-argument-type]
+ ERROR sklearn/neighbors/tests/test_lof.py:180:9-36: Result of call expression is of type `((*args: Unknown, **kwargs: Unknown) -> Unknown) | MethodType` and is not used; assign to `_` if this is intentional [unused-call-result]
- ERROR sklearn/tests/test_build.py:51:20-48: Implicit conversion of `str | Any` to `bool` is not allowed [implicit-bool]
+ ERROR sklearn/tests/test_build.py:51:20-48: Implicit conversion of `str | None` to `bool` is not allowed [implicit-bool]
+ ERROR sklearn/tests/test_multioutput.py:869:9-36: Result of call expression is of type `((*args: Unknown, **kwargs: Unknown) -> Unknown) | MethodType` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR sklearn/tests/test_pipeline.py:552:9-37: Result of call expression is of type `((*args: Unknown, **kwargs: Unknown) -> Unknown) | MethodType` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR sklearn/tests/test_pipeline.py:924:9-37: Result of call expression is of type `((*args: Unknown, **kwargs: Unknown) -> Unknown) | MethodType` and is not used; assign to `_` if this is intentional [unused-call-result]

spark (https://github.com/apache/spark)
- ERROR python/pyspark/pandas/resample.py:141:20-21: The type of `n` is an explicit `Any` [explicit-any-use]
- ERROR python/pyspark/testing/unittestutils.py:53:8-12: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR python/pyspark/testing/unittestutils.py:53:8-12: Implicit conversion of `ModuleSpec | None` to `bool` is not allowed [implicit-bool]
- ERROR python/pyspark/testing/unittestutils.py:53:8-26: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR python/pyspark/testing/unittestutils.py:53:8-26: Implicit conversion of `ModuleSpec | str | None` to `bool` is not allowed [implicit-bool]
- ERROR python/pyspark/testing/unittestutils.py:53:22-26: The type of attribute `name` is an explicit `Any` [explicit-any-use]
- ERROR python/pyspark/testing/unittestutils.py:54:16-25: The type of the returned value is an explicit `Any` [explicit-any-use]
- ERROR python/pyspark/testing/unittestutils.py:54:21-25: The type of attribute `name` is an explicit `Any` [explicit-any-use]

prefect (https://github.com/PrefectHQ/prefect)
+ ERROR src/prefect/futures.py:623:33-84: The type of `add_prefect_done_callback` is partially unknown; it contains an implicit `Any` [partially-unknown-type]

setuptools (https://github.com/pypa/setuptools)
- ERROR setuptools/_vendor/importlib_metadata/compat/py39.py:28:13-40: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR setuptools/_vendor/importlib_metadata/compat/py39.py:28:13-40: Implicit conversion of `str | None` to `bool` is not allowed [implicit-bool]
- ERROR setuptools/_vendor/wheel/_bdist_wheel.py:455:9-461:10: Result of call expression is of type `Any | None` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR setuptools/command/bdist_egg.py:230:67-82: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR setuptools/command/bdist_egg.py:230:72-80: The type of attribute `zip_safe` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/command/bdist_egg.py:252:9-256:11: Result of call expression is of type `Any | None` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR setuptools/command/bdist_egg.py:252:61-256:10: Argument `tuple[Literal['bdist_egg'], str, Unknown | None]` is not assignable to parameter `object` with type `tuple[str, str, str]` in function `list.append` [bad-argument-type]
+ ERROR setuptools/command/bdist_egg.py:284:16-60: The type of `safe` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/command/bdist_egg.py:286:20-24: The type of the returned value is an explicit `Any` [explicit-any-use]
+ ERROR setuptools/command/bdist_egg.py:286:20-24: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
- ERROR setuptools/command/bdist_wheel.py:528:9-532:11: Result of call expression is of type `Any | None` and is not used; assign to `_` if this is intentional [unused-call-result]
- ERROR setuptools/command/egg_info.py:637:13-15: The type of `rf` is an explicit `Any` [explicit-any-use]
- ERROR setuptools/command/sdist.py:79:17-40: Result of call expression is of type `Any | None` and is not used; assign to `_` if this is intentional [unused-call-result]
+ ERROR setuptools/command/sdist.py:78:16-38: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR setuptools/command/sdist.py:79:28-34: The type of attribute `append` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR setuptools/command/sdist.py:79:34-40: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/config/_apply_pyprojecttoml.py:255:8-45: Implicit conversion of `list[Any] | Any` to `bool` is not allowed [implicit-bool]
+ ERROR setuptools/config/_apply_pyprojecttoml.py:255:8-45: Implicit conversion of `List | list[str] | list[@_]` to `bool` is not allowed [implicit-bool]
- ERROR setuptools/config/_apply_pyprojecttoml.py:262:8-45: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR setuptools/config/_apply_pyprojecttoml.py:262:8-45: Implicit conversion of `Dict | dict[Any, list[str]] | None` to `bool` is not allowed [implicit-bool]
- ERROR setuptools/config/_apply_pyprojecttoml.py:374:13-48: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR setuptools/config/_apply_pyprojecttoml.py:374:13-48: Implicit conversion of `Unknown | None` to `bool` is not allowed [implicit-bool]
+ ERROR setuptools/config/_apply_pyprojecttoml.py:374:13-54: The type of `value` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/config/_apply_pyprojecttoml.py:375:22-23: The type of `k` is an explicit `Any` [explicit-any-use]
+ ERROR setuptools/config/_apply_pyprojecttoml.py:375:22-23: The type of `k` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR setuptools/config/_apply_pyprojecttoml.py:375:25-26: The type of `v` is an explicit `Any` [explicit-any-use]
+ ERROR setuptools/config/_apply_pyprojecttoml.py:375:25-26: The type of `v` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
+ ERROR setuptools/config/_apply_pyprojecttoml.py:375:36-41: The type of attribute `items` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR setuptools/config/_apply_pyprojecttoml.py:375:41-43: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/config/_apply_pyprojecttoml.py:375:47-48: The type of this argument is an explicit `Any` [explicit-any-use]
+ ERROR setuptools/config/_apply_pyprojecttoml.py:375:47-48: The type of this argument is unknown [unknown-argument-type]
- ERROR setuptools/config/_apply_pyprojecttoml.py:379:13-48: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR setuptools/config/_apply_pyprojecttoml.py:379:13-48: Implicit conversion of `Unknown | None` to `bool` is not allowed [implicit-bool]
+ ERROR setuptools/config/_apply_pyprojecttoml.py:379:13-54: The type of `value` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR setuptools/config/_apply_pyprojecttoml.py:380:18-21: The type of attribute `get` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR setuptools/config/_apply_pyprojecttoml.py:380:21-40: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR setuptools/config/_apply_pyprojecttoml.py:384:13-48: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR setuptools/config/_apply_pyprojecttoml.py:384:13-48: Implicit conversion of `Unknown | None` to `bool` is not allowed [implicit-bool]
+ ERROR setuptools/config/_apply_pyprojecttoml.py:384:13-54: The type of `value` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR setuptools/config/_apply_pyprojecttoml.py:385:18-21: The type of attribute `get` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR setuptools/config/_apply_pyprojecttoml.py:385:21-36: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR setuptools/tests/config/test_apply_pyprojecttoml.py:70:12-76: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR setuptools/tests/config/test_apply_pyprojecttoml.py:73:12-75: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR setuptools/tests/config/test_apply_pyprojecttoml.py:90:12-73: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]

scikit-build-core (https://github.com/scikit-build/scikit-build-core)
- ERROR src/scikit_build_core/setuptools/build_cmake.py:199:19-51: Implicit conversion of `dict[Any, Any] | Any` to `bool` is not allowed [implicit-bool]
+ ERROR src/scikit_build_core/setuptools/build_cmake.py:199:19-51: Implicit conversion of `Mapping[str, str] | dict[@_, @_] | None` to `bool` is not allowed [implicit-bool]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:202:21-41: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:202:33-40: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:204:21-36: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:209:21-52: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR src/scikit_build_core/setuptools/build_cmake.py:209:21-52: Implicit conversion of `list[str] | None` to `bool` is not allowed [implicit-bool]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:210:19-51: Implicit conversion of `dict[Any, Any] | Any` to `bool` is not allowed [implicit-bool]
+ ERROR src/scikit_build_core/setuptools/build_cmake.py:210:19-51: Implicit conversion of `Mapping[str, str] | dict[@_, @_] | None` to `bool` is not allowed [implicit-bool]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:212:12-20: Implicit conversion of `list[Any]` to `bool` is not allowed [implicit-bool]
+ ERROR src/scikit_build_core/setuptools/build_cmake.py:212:12-20: Implicit conversion of `list[str]` to `bool` is not allowed [implicit-bool]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:213:21-44: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:216:9-16: The type of `package` is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:217:56-63: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:218:25-43: The type of `package_parts` is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:218:33-38: The type of attribute `split` is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:219:64-77: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:220:62-75: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:358:14-33: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:358:23-28: The type of attribute `split` is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:358:39-46: The type of `package` is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:358:50-81: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR src/scikit_build_core/setuptools/build_cmake.py:358:50-81: Implicit conversion of `list[str] | None` to `bool` is not allowed [implicit-bool]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:363:21-52: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR src/scikit_build_core/setuptools/build_cmake.py:363:21-52: Implicit conversion of `list[str] | None` to `bool` is not allowed [implicit-bool]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:364:12-20: Implicit conversion of `list[Any]` to `bool` is not allowed [implicit-bool]
+ ERROR src/scikit_build_core/setuptools/build_cmake.py:364:12-20: Implicit conversion of `list[str]` to `bool` is not allowed [implicit-bool]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:368:9-16: The type of `package` is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:369:56-63: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:370:25-43: The type of `package_parts` is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:370:33-38: The type of attribute `split` is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:371:64-77: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:372:61-74: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:386:21-52: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR src/scikit_build_core/setuptools/build_cmake.py:386:21-52: Implicit conversion of `list[str] | None` to `bool` is not allowed [implicit-bool]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:388:37-44: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:388:60-67: The type of `package` is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:391:21-28: The type of `package` is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:398:21-40: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:398:30-35: The type of attribute `split` is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:426:15-58: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR src/scikit_build_core/setuptools/build_cmake.py:426:15-58: Implicit conversion of `dict[str, list[str]] | None` to `bool` is not allowed [implicit-bool]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:427:12-19: Implicit conversion of `dict[Any, Any] | Any` to `bool` is not allowed [implicit-bool]
+ ERROR src/scikit_build_core/setuptools/build_cmake.py:427:12-19: Implicit conversion of `dict[str, list[str]]` to `bool` is not allowed [implicit-bool]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:437:46-53: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:437:59-66: The type of `pattern` is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:508:27-74: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR src/scikit_build_core/setuptools/build_cmake.py:508:27-74: Implicit conversion of `dict[str, Command] | None` to `bool` is not allowed [implicit-bool]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:549:27-72: Implicit conversion of `dict[Any, Any] | Any` to `bool` is not allowed [implicit-bool]
+ ERROR src/scikit_build_core/setuptools/build_cmake.py:549:27-72: Implicit conversion of `Mapping[str, str] | dict[@_, @_] | None` to `bool` is not allowed [implicit-bool]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:550:32-56: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:572:49-80: Implicit conversion of `list[Any] | Any` to `bool` is not allowed [implicit-bool]
+ ERROR src/scikit_build_core/setuptools/build_cmake.py:572:49-80: Implicit conversion of `list[tuple[str, list[str]]] | list[@_] | None` to `bool` is not allowed [implicit-bool]
- ERROR src/scikit_build_core/setuptools/build_cmake.py:925:28-60: Implicit conversion of `list[Any] | Any` to `bool` is not allowed [implicit-bool]
+ ERROR src/scikit_build_core/setuptools/build_cmake.py:925:28-60: Implicit conversion of `list[Extension] | list[@_] | None` to `bool` is not allowed [implicit-bool]

freqtrade (https://github.com/freqtrade/freqtrade)
- ERROR freqtrade/optimize/analysis/recursive_helpers.py:20:21-69: Implicit conversion of `int | Any` to `bool` is not allowed [implicit-bool]
+ ERROR freqtrade/optimize/analysis/recursive_helpers.py:20:21-69: Implicit conversion of `int | None` to `bool` is not allowed [implicit-bool]

colour (https://github.com/colour-science/colour)
+ ERROR colour/utilities/array.py:2427:45-51: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR colour/utilities/tests/test_array.py:563:31-39: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR colour/utilities/tests/test_array.py:565:36-44: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]

manticore (https://github.com/trailofbits/manticore)
+ ERROR manticore/core/worker.py:371:25-69: Cannot index into `dict[StateLists, Unknown]` [bad-index]
- ERROR tests/native/test_x86_pcmpxstrx.py:8866:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:8953:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:9040:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:9127:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:9214:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:9301:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:9388:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:9475:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:9562:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:9649:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:9736:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:9823:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:9910:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:9997:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:10084:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:10171:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:10258:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:10345:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:10432:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:10519:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:10606:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:10693:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:10780:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:10867:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:10954:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:11041:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:11128:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:11215:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:11302:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:11389:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:11476:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:11563:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:11650:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:11737:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:11824:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:11911:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:11998:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:12085:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:12172:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:12259:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:12346:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:12433:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:12520:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:12607:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:12694:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:12781:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:12868:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:12955:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:13042:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:13129:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:13216:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:13303:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:13390:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:13477:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:13564:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:13651:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:13738:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:13825:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:13912:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:13999:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:14086:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:14173:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:14260:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:14347:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:14432:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:14516:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:14600:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:14684:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:14768:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:14852:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:14936:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:15020:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:15104:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:15188:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:15272:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:15356:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:15440:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:15524:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:15608:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:15692:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:15776:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:15860:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:15944:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:16028:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:16112:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:16196:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:16280:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:16364:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:16448:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:16532:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:16616:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:16700:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:16784:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:16868:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:16952:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:17036:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:17120:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:17204:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:17288:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:17372:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:17456:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:17540:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:17624:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:17708:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:17792:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:17876:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:17960:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:18044:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:18128:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:18212:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:18296:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:18380:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:18464:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:18548:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:18632:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:18716:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:18800:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:18884:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:18968:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:19052:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:19136:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:19220:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:19304:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:19388:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:19472:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:19556:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:19640:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:19724:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:19806:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:19887:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:19968:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:20049:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:20130:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:20211:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:20292:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:20373:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:20454:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:20535:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:20616:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:20697:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:20778:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:20859:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:20940:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:21021:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:21102:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:21183:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:21264:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:21345:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:21426:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:21507:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:21588:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:21751:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:21852:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:21933:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:22014:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:22095:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:22176:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:22257:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:22338:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:22419:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:22500:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:22581:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:22662:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:22743:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:22824:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:22905:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:22986:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:23067:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:23148:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:23229:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:23310:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:23391:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:23472:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:23553:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:23634:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:23715:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:23796:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:23877:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:23958:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:24039:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:24120:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:24201:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:24282:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:24363:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:24444:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:24525:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:24606:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:24687:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:24768:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:24849:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:24930:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:25011:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:25092:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:25171:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:25249:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:25327:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:25405:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:25483:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:25561:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:25639:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:25717:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:25795:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:25873:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:25951:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:26029:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:26107:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:26185:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:26263:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:26341:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:26419:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:26497:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]
- ERROR tests/native/test_x86_pcmpxstrx.py:26575:26-45: The type of `symbol` is an explicit `Any` [explicit-any-use]

... (truncated 45 lines) ...

schemathesis (https://github.com/schemathesis/schemathesis)
- ERROR src/schemathesis/cli/ext/groups.py:30:21-34: The type of this argument is an explicit `Any` [explicit-any-use]
+ ERROR src/schemathesis/cli/ext/groups.py:30:20-35: Unnecessary `bool()` call; argument is already of type `bool` [unnecessary-type-conversion]
+ ERROR src/schemathesis/core/errors.py:197:45-47: Cannot infer type of empty container; it will be treated as containing `Any` [implicit-any-empty-container]
- ERROR src/schemathesis/core/errors.py:199:25-33: The type of this argument is an explicit `Any` [explicit-any-use]
+ ERROR src/schemathesis/core/errors.py:199:25-33: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR src/schemathesis/core/errors.py:505:16-24: The type of this argument is an explicit `Any` [explicit-any-use]
+ ERROR src/schemathesis/core/errors.py:505:15-25: Unnecessary `str()` call; argument is already of type `str` [unnecessary-type-conversion]
- ERROR src/schemathesis/core/errors.py:505:29-34: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR src/schemathesis/core/errors.py:505:29-34: Implicit conversion of `list[str] | None` to `bool` is not allowed [implicit-bool]
+ ERROR src/schemathesis/engine/errors.py:442:39-41: Cannot infer type of empty container; it will be treated as containing `Any` [implicit-any-empty-container]
- ERROR src/schemathesis/engine/errors.py:443:12-17: Implicit conversion of `list[Any] | Any` to `bool` is not allowed [implicit-bool]
+ ERROR src/schemathesis/engine/errors.py:443:12-17: Implicit conversion of `list[str] | list[Unknown]` to `bool` is not allowed [implicit-bool]
- ERROR src/schemathesis/engine/errors.py:449:18-22: The type of `note` is an explicit `Any` [explicit-any-use]
+ ERROR src/schemathesis/engine/errors.py:448:22-450:6: The type of `filtered_notes` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR src/schemathesis/engine/errors.py:449:75-80: The type of attribute `strip` is an explicit `Any` [explicit-any-use]
+ ERROR src/schemathesis/engine/errors.py:449:75-80: The type of attribute `strip` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR src/schemathesis/engine/errors.py:449:83-93: The type of attribute `startswith` is an explicit `Any` [explicit-any-use]
+ ERROR src/schemathesis/engine/errors.py:449:83-93: The type of attribute `startswith` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR src/schemathesis/python/_constants/walk.py:53:43-47: The type of this argument is an explicit `Any` [explicit-any-use]

materialize (https://github.com/MaterializeInc/materialize)
- ERROR misc/python/materialize/cli/lint_pipeline_topics.py:124:9-16: The type of `service` is an explicit `Any` [explicit-any-use]
+ ERROR misc/python/materialize/cli/lint_pipeline_topics.py:124:9-16: The type of `service` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
+ ERROR misc/python/materialize/cli/scratch/claude.py:126:46-48: Cannot infer type of empty container; it will be treated as containing `Any` [implicit-any-empty-container]
- ERROR misc/python/materialize/cli/scratch/claude.py:127:34-35: The type of this argument is an explicit `Any` [explicit-any-use]
+ ERROR misc/python/materialize/cli/scratch/claude.py:127:34-35: The type of this argument is unknown [unknown-argument-type]
- ERROR misc/python/materialize/cli/scratch/claude.py:127:41-42: The type of `a` is an explicit `Any` [explicit-any-use]
+ ERROR misc/python/materialize/cli/scratch/claude.py:127:41-42: The type of `a` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
+ ERROR misc/python/materialize/mzcompose/composition.py:225:57-59: Cannot infer type of empty container; it will be treated as containing `Any` [implicit-any-empty-container]
- ERROR misc/python/materialize/mzcompose/composition.py:229:17-31: The type of `python_service` is an explicit `Any` [explicit-any-use]
+ ERROR misc/python/materialize/mzcompose/composition.py:229:17-31: The type of `python_service` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR misc/python/materialize/mzcompose/composition.py:230:35-39: The type of attribute `name` is an explicit `Any` [explicit-any-use]
+ ERROR misc/python/materialize/mzcompose/composition.py:230:35-39: The type of attribute `name` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR misc/python/materialize/mzcompose/composition.py:232:51-55: The type of attribute `name` is an explicit `Any` [explicit-any-use]
+ ERROR misc/python/materialize/mzcompose/composition.py:232:51-55: The type of attribute `name` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR misc/python/materialize/mzcompose/composition.py:234:57-61: The type of attribute `name` is an explicit `Any` [explicit-any-use]
+ ERROR misc/python/materialize/mzcompose/composition.py:234:57-61: The type of attribute `name` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR misc/python/materialize/mzcompose/composition.py:234:80-86: The type of attribute `config` is an explicit `Any` [explicit-any-use]
+ ERROR misc/python/materialize/mzcompose/composition.py:234:80-86: The type of attribute `config` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR misc/python/materialize/mzcompose/composition.py:235:17-31: The type of `python_service` is an explicit `Any` [explicit-any-use]
+ ERROR misc/python/materialize/mzcompose/composition.py:235:17-31: The type of `python_service` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR misc/python/materialize/mzcompose/composition.py:236:42-56: The type of this argument is an explicit `Any` [explicit-any-use]
+ ERROR misc/python/materialize/mzcompose/composition.py:236:42-56: The type of this argument is unknown [unknown-argument-type]
- ERROR misc/python/materialize/mzcompose/composition.py:239:17-28: The type of `volume_name` is an explicit `Any` [explicit-any-use]
+ ERROR misc/python/materialize/mzcompose/composition.py:239:17-28: The type of `volume_name` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR misc/python/materialize/mzcompose/composition.py:239:30-40: The type of `volume_def` is an explicit `Any` [explicit-any-use]
+ ERROR misc/python/materialize/mzcompose/composition.py:239:30-40: The type of `volume_def` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
+ ERROR misc/python/materialize/mzcompose/composition.py:239:71-73: Cannot infer type of empty container; it will be treated as containing `Any` [implicit-any-empty-container]
- ERROR misc/python/materialize/mzcompose/composition.py:244:17-29: The type of `network_name` is an explicit `Any` [explicit-any-use]
+ ERROR misc/python/materialize/mzcompose/composition.py:244:17-29: The type of `network_name` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR misc/python/materialize/mzcompose/composition.py:244:31-42: The type of `network_def` is an explicit `Any` [explicit-any-use]
+ ERROR misc/python/materialize/mzcompose/composition.py:244:31-42: The type of `network_def` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
+ ERROR misc/python/materialize/mzcompose/composition.py:244:74-76: Cannot infer type of empty container; it will be treated as containing `Any` [implicit-any-empty-container]

streamlit (https://github.com/streamlit/streamlit)
- ERROR lib/streamlit/components/v2/manifest_scanner.py:301:12-17: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR lib/streamlit/components/v2/manifest_scanner.py:301:12-17: Implicit conversion of `list[PackagePath] | None` to `bool` is not allowed [implicit-bool]
- ERROR lib/streamlit/components/v2/manifest_scanner.py:303:9-13: The type of `file` is an explicit `Any` [explicit-any-use]
- ERROR lib/streamlit/components/v2/manifest_scanner.py:304:20-24: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR lib/streamlit/components/v2/manifest_scanner.py:304:67-71: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR lib/streamlit/components/v2/manifest_scanner.py:308:60-64: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR lib/streamlit/components/v2/manifest_scanner.py:455:8-34: Implicit conversion of `Literal[False] | Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR lib/streamlit/components/v2/manifest_scanner.py:455:8-34: Implicit conversion of `Literal[False] | list[PackagePath] | None` to `bool` is not allowed [implicit-bool]
- ERROR lib/streamlit/components/v2/manifest_scanner.py:456:13-17: The type of `file` is an explicit `Any` [explicit-any-use]
- ERROR lib/streamlit/components/v2/manifest_scanner.py:457:36-40: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR lib/streamlit/components/v2/manifest_scanner.py:457:67-71: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR lib/streamlit/components/v2/manifest_scanner.py:459:59-63: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR lib/streamlit/elements/help.py:508:12-21: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR lib/streamlit/elements/help.py:508:12-21: Implicit conversion of `type[object] | None` to `bool` is not allowed [implicit-bool]
- ERROR lib/streamlit/elements/help.py:513:40-49: The type of this argument is an explicit `Any` [explicit-any-use]

mitmproxy (https://github.com/mitmproxy/mitmproxy)
+ ERROR mitmproxy/proxy/layer.py:89:29-75: The type of `show_debug_output` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR mitmproxy/tools/console/flowview.py:315:24-29: Implicit conversion of `str | Any` to `bool` is not allowed [implicit-bool]
+ ERROR mitmproxy/tools/console/flowview.py:315:24-29: Implicit conversion of `Literal[''] | MultiDictView[str, str]` to `bool` is not allowed [implicit-bool]

cloud-init (https://github.com/canonical/cloud-init)
- ERROR cloudinit/net/__init__.py:79:12-19: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR cloudinit/net/__init__.py:82:12-19: The type of this argument is an explicit `Any` [explicit-any-use]

strawberry (https://github.com/strawberry-graphql/strawberry)
- ERROR strawberry/exceptions/utils/source_finder.py:47:34-46: The type of attribute `has_location` is an explicit `Any` [explicit-any-use]
- ERROR strawberry/exceptions/utils/source_finder.py:47:67-73: The type of attribute `origin` is an explicit `Any` [explicit-any-use]
+ ERROR strawberry/types/nodes.py:119:23-72: Argument `list[FieldNode] | tuple[SelectionNode, ...]` is not assignable to parameter `field_nodes` with type `Collection[FieldNode]` in function `convert_selections` [bad-argument-type]
+ ERROR strawberry/types/nodes.py:145:23-68: Argument `list[FieldNode] | tuple[SelectionNode, ...]` is not assignable to parameter `field_nodes` with type `Collection[FieldNode]` in function `convert_selections` [bad-argument-type]
+ ERROR strawberry/types/type_resolver.py:102:31-70: The type of `default_factory` is partially unknown; it contains an implicit `Any` [partially-unknown-type]

pandera (https://github.com/pandera-dev/pandera)
+ ERROR pandera/backends/narwhals/base.py:485:20-46: The type of `data` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pandera/backends/narwhals/base.py:495:43-62: The type of `data_implementation` is an explicit `Any` [explicit-any-use]
+ ERROR pandera/backends/narwhals/base.py:495:43-62: The type of `data_implementation` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR pandera/backends/narwhals/base.py:495:48-62: The type of attribute `implementation` is an explicit `Any` [explicit-any-use]
+ ERROR pandera/backends/narwhals/base.py:495:48-62: The type of attribute `implementation` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR pandera/backends/narwhals/container.py:159:12-65: Implicit conversion of `Literal[False] | Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR pandera/backends/narwhals/container.py:159:12-65: Implicit conversion of `Literal[False] | Unknown | None` to `bool` is not allowed [implicit-bool]
+ ERROR pandera/backends/polars/container.py:82:28-72: The type of `declared_parsers` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pandera/backends/polars/container.py:82:33-65: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR pandera/backends/polars/container.py:82:33-65: Implicit conversion of `Unknown | None` to `bool` is not allowed [implicit-bool]
+ ERROR pandera/backends/polars/container.py:82:33-71: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pandera/backends/polars/container.py:83:13-22: The type of `component` is an explicit `Any` [explicit-any-use]
+ ERROR pandera/backends/polars/container.py:83:13-22: The type of `component` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR pandera/backends/polars/container.py:83:27-57: Implicit conversion of `dict[Any, Any] | Any` to `bool` is not allowed [implicit-bool]
+ ERROR pandera/backends/polars/container.py:83:27-57: Implicit conversion of `dict[@_, @_] | dict[Any, Any]` to `bool` is not allowed [implicit-bool]
+ ERROR pandera/backends/polars/container.py:84:30-36: The type of attribute `extend` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pandera/backends/polars/container.py:84:36-79: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pandera/backends/polars/container.py:84:37-78: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pandera/backends/polars/container.py:84:45-54: The type of this argument is an explicit `Any` [explicit-any-use]
+ ERROR pandera/backends/polars/container.py:84:45-54: The type of this argument is unknown [unknown-argument-type]
- ERROR pandera/backends/polars/container.py:85:12-28: Implicit conversion of `list[Any]` to `bool` is not allowed [implicit-bool]
+ ERROR pandera/backends/polars/container.py:85:12-28: Implicit conversion of `list[Unknown]` to `bool` is not allowed [implicit-bool]
- ERROR pandera/backends/polars/container.py:391:20-74: Implicit conversion of `Literal[False] | set[str] | Any` to `bool` is not allowed [implicit-bool]
+ ERROR pandera/backends/polars/container.py:391:20-74: Implicit conversion of `Literal[False] | set[str]` to `bool` is not allowed [implicit-bool]
- ERROR pandera/engines/pandas_engine.py:1455:17-60: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR pandera/engines/pandas_engine.py:1455:17-60: Implicit conversion of `str | None` to `bool` is not allowed [implicit-bool]
- ERROR tests/polars/test_polars_container.py:695:15-50: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR tests/polars/test_polars_container.py:695:15-50: Implicit conversion of `Unknown | None` to `bool` is not allowed [implicit-bool]
+ ERROR tests/polars/test_polars_container.py:695:15-698:10: The type of `col` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR tests/polars/test_polars_container.py:696:13-43: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR tests/polars/test_polars_container.py:696:13-43: Implicit conversion of `Unknown | None` to `bool` is not allowed [implicit-bool]

zulip (https://github.com/zulip/zulip)
- ERROR zerver/middleware.py:493:19-69: The type of `urlconf` is an explicit `Any` [explicit-any-use]
- ERROR zerver/middleware.py:494:66-73: The type of this argument is an explicit `Any` [explicit-any-use]
+ ERROR zerver/middleware.py:494:66-73: Argument `str | Any | None` is not assignable to parameter `urlconf` with type `str` in function `django.conf.urls.i18n.is_language_prefix_patterns_used` [bad-argument-type]

hydra-zen (https://github.com/mit-ll-responsible-ai/hydra-zen)
+ ERROR src/hydra_zen/wrapper/_implementations.py:414:45-47: Cannot infer type of empty container; it will be treated as containing `Any` [implicit-any-empty-container]
- ERROR src/hydra_zen/wrapper/_implementations.py:445:54-55: The type of this argument is an explicit `Any` [explicit-any-use]
+ ERROR src/hydra_zen/wrapper/_implementations.py:445:54-55: The type of this argument is unknown [unknown-argument-type]
- ERROR src/hydra_zen/wrapper/_implementations.py:445:68-69: The type of `x` is an explicit `Any` [explicit-any-use]
+ ERROR src/hydra_zen/wrapper/_implementations.py:445:68-69: The type of `x` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]

bokeh (https://github.com/bokeh/bokeh)
+ ERROR src/bokeh/__init__.py:128:30-33: The type of attribute `get` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR src/bokeh/__init__.py:128:33-42: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR src/bokeh/io/notebook.py:326:29-37: Type of lambda parameter `_message` is unknown [implicit-any-lambda]
- ERROR src/bokeh/io/notebook.py:329:27-34: Type of lambda parameter `message` is unknown [implicit-any-lambda]
- ERROR src/bokeh/io/notebook.py:329:59-66: The type of this argument is unknown [unknown-argument-type]
- ERROR src/bokeh/io/notebook.py:543:29-37: Type of lambda parameter `_message` is unknown [implicit-any-lambda]

beartype (https://github.com/beartype/beartype)
- ERROR beartype/_util/module/utilmodget.py:365:9-24: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR beartype/_util/module/utilmodget.py:365:9-24: Implicit conversion of `str | None` to `bool` is not allowed [implicit-bool]
- ERROR beartype/_util/module/utilmodget.py:365:9-367:37: Implicit conversion of `bool | Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR beartype/_util/module/utilmodget.py:365:9-367:37: Implicit conversion of `Literal[''] | bool | None` to `bool` is not allowed [implicit-bool]
- ERROR beartype/_util/module/utilmodget.py:373:26-41: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR beartype/_util/module/utilmodinitted.py:149:20-31: The type of this argument is an explicit `Any` [explicit-any-use]

zope.interface (https://github.com/zopefoundation/zope.interface)
- ERROR src/zope/interface/tests/test_declarations.py:2572:20-50: The type of `provided` is an explicit `Any` [explicit-any-use]
- ERROR src/zope/interface/tests/test_declarations.py:2573:30-38: The type of this argument is an explicit `Any` [explicit-any-use]
+ ERROR src/zope/interface/tests/test_declarations.py:2572:20-50: The type of `provided` is unknown because it comes from an error [unknown-from-error]
+ ERROR src/zope/interface/tests/test_declarations.py:2573:30-38: The type of this argument is unknown because it comes from an error [unknown-from-error]

mypy (https://github.com/python/mypy)
+ ERROR mypy/moduleinspect.py:58:30-64: `MutableSequence[str] | None` is not assignable to `list[str] | None` [bad-assignment]
- ERROR mypy/stubgenc.py:754:16-40: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR mypy/stubgenc.py:754:16-40: Implicit conversion of `str | Any | None` to `bool` is not allowed [implicit-bool]

hydpy (https://github.com/hydpy-dev/hydpy)
- ERROR hydpy/core/autodoctools.py:463:8-18: Implicit conversion of `tuple[()] | Any` to `bool` is not allowed [implicit-bool]
+ ERROR hydpy/core/autodoctools.py:463:8-18: Implicit conversion of `tuple[type[Method], ...]` to `bool` is not allowed [implicit-bool]
- ERROR hydpy/core/autodoctools.py:464:64-74: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR hydpy/core/autodoctools.py:465:13-22: The type of `submethod` is an explicit `Any` [explicit-any-use]
- ERROR hydpy/core/autodoctools.py:467:45-55: The type of attribute `__module__` is an explicit `Any` [explicit-any-use]
- ERROR hydpy/core/autodoctools.py:467:72-80: The type of attribute `__name__` is an explicit `Any` [explicit-any-use]
- ERROR hydpy/core/autodoctools.py:1441:33-39: The type of attribute `values` is an explicit `Any` [explicit-any-use]
- ERROR hydpy/core/autodoctools.py:1451:11-37: The type of `doc` is an explicit `Any` [explicit-any-use]
- ERROR hydpy/core/autodoctools.py:1471:15-66: The type of `doc` is an explicit `Any` [explicit-any-use]
+ ERROR hydpy/core/autodoctools.py:1471:15-27: `+` is not supported between `None` and `Literal['\n\n']` [unsupported-operation]
- ERROR hydpy/core/objecttools.py:1258:16-59: The type of `brackets` is an explicit `Any` [explicit-any-use]
- ERROR hydpy/core/objecttools.py:1271:9-18: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR hydpy/core/objecttools.py:1273:22-42: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR hydpy/core/objecttools.py:1358:16-59: The type of `brackets` is an explicit `Any` [explicit-any-use]
- ERROR hydpy/core/objecttools.py:1375:9-18: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR hydpy/core/objecttools.py:1377:22-42: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR hydpy/cythons/modelutils.py:1492:13-21: The type of `submodel` is an explicit `Any` [explicit-any-use]
- ERROR hydpy/cythons/modelutils.py:1493:44-52: The type of attribute `__name__` is an explicit `Any` [explicit-any-use]
- ERROR hydpy/cythons/modelutils.py:1493:64-68: The type of attribute `name` is an explicit `Any` [explicit-any-use]
- ERROR hydpy/cythons/modelutils.py:1500:12-29: Implicit conversion of `tuple[()] | Any` to `bool` is not allowed [implicit-bool]
+ ERROR hydpy/cythons/modelutils.py:1500:12-29: Implicit conversion of `tuple[type[Submodel], ...]` to `bool` is not allowed [implicit-bool]
- ERROR hydpy/cythons/modelutils.py:1500:12-50: Implicit conversion of `list[str] | Any` to `bool` is not allowed [implicit-bool]
+ ERROR hydpy/cythons/modelutils.py:1500:12-50: Implicit conversion of `list[str] | tuple[type[Submodel], ...]` to `bool` is not allowed [implicit-bool]
- ERROR hydpy/cythons/modelutils.py:1510:17-25: The type of `submodel` is an explicit `Any` [explicit-any-use]
- ERROR hydpy/cythons/modelutils.py:1511:41-45: The type of attribute `name` is an explicit `Any` [explicit-any-use]
- ERROR hydpy/cythons/modelutils.py:1511:59-67: The type of attribute `__name__` is an explicit `Any` [explicit-any-use]
- ERROR hydpy/docs/prepare.py:89:17-23: The type of `member` is an explicit `Any` [explicit-any-use]
+ ERROR hydpy/docs/prepare.py:89:17-23: The type of `member` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR hydpy/docs/prepare.py:90:36-42: The type of this argument is an explicit `Any` [explicit-any-use]
+ ERROR hydpy/docs/prepare.py:90:36-42: The type of this argument is unknown [unknown-argument-type]

pandas (https://github.com/pandas-dev/pandas)
+ ERROR pandas/core/arrays/sparse/array.py:2946:29-58: The type of `dtype` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pandas/core/arrays/sparse/array.py:2946:44-51: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pandas/core/arrays/sparse/array.py:2947:72-83: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pandas/core/nanops.py:1890:28-58: Implicit conversion of `Literal[False] | int` to `bool` is not allowed [implicit-bool]
+ ERROR pandas/io/pytables.py:6689:17-51: The type of `table` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pandas/io/pytables.py:6694:13-6696:38: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pandas/io/pytables.py:6694:19-31: The type of attribute `colinstances` is an explicit `Any` [explicit-any-use]
+ ERROR pandas/io/pytables.py:6694:19-31: The type of attribute `colinstances` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR pandas/io/pytables.py:6694:38-48: The type of attribute `is_indexed` is an explicit `Any` [explicit-any-use]
+ ERROR pandas/io/pytables.py:6694:38-48: The type of attribute `is_indexed` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR pandas/io/pytables.py:6696:30-38: The type of attribute `colnames` is an explicit `Any` [explicit-any-use]
+ ERROR pandas/io/pytables.py:6696:30-38: The type of attribute `colnames` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]

anyio (https://github.com/agronholm/anyio)
- ERROR src/anyio/abc/_tasks.py:39:12-58: Returning implicit Any from function declared to return "str" [no-any-return-implicit]
- ERROR src/anyio/abc/_tasks.py:39:55-56: Implicit conversion of `Unknown | None` to `bool` is not allowed [implicit-bool]
+ ERROR src/anyio/abc/_tasks.py:39:55-56: Implicit conversion of `str | Unknown | None` to `bool` is not allowed [implicit-bool]

trio (https://github.com/python-trio/trio)
- ERROR src/trio/_core/_thread_cache.py:89:30-48: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR src/trio/_tests/test_threads.py:251:12-30: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR src/trio/_tests/test_threads.py:251:12-30: Implicit conversion of `_NamedFuncPointer | None` to `bool` is not allowed [implicit-bool]
- ERROR src/trio/_util.py:213:36-46: The type of attribute `startswith` is an explicit `Any` [explicit-any-use]

sphinx (https://github.com/sphinx-doc/sphinx)
- ERROR sphinx/ext/autodoc/_dynamic/_importer.py:245:24-32: Implicit conversion of `str | Any` to `bool` is not allowed [implicit-bool]
+ ERROR sphinx/ext/autodoc/_dynamic/_importer.py:245:24-32: Implicit conversion of `str | None` to `bool` is not allowed [implicit-bool]
- ERROR sphinx/ext/autodoc/_dynamic/_importer.py:245:24-62: Implicit conversion of `Literal[''] | bool | Any` to `bool` is not allowed [implicit-bool]
+ ERROR sphinx/ext/autodoc/_dynamic/_importer.py:245:24-62: Implicit conversion of `Literal[''] | bool | None` to `bool` is not allowed [implicit-bool]
- ERROR sphinx/ext/autodoc/_dynamic/_type_comments.py:145:12-24: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR sphinx/ext/autodoc/_dynamic/_type_comments.py:145:12-24: Implicit conversion of `str | None` to `bool` is not allowed [implicit-bool]
+ ERROR sphinx/ext/autodoc/_dynamic/_type_comments.py:147:62-70: Argument `FunctionType` is not assignable to parameter `type_comment` with type `FunctionDef` in function `signature_from_ast` [bad-argument-type]
- ERROR sphinx/ext/autodoc/_dynamic/_type_comments.py:146:24-85: The type of `function` is an explicit `Any` [explicit-any-use]
- ERROR sphinx/ext/autodoc/_dynamic/_type_comments.py:146:34-46: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR sphinx/ext/autodoc/_dynamic/_type_comments.py:147:62-70: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR sphinx/pycode/__init__.py:43:12-18: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR sphinx/pycode/__init__.py:43:12-18: Implicit conversion of `LoaderProtocol | None` to `bool` is not allowed [implicit-bool]
- ERROR sphinx/pycode/__init__.py:43:12-58: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR sphinx/pycode/__init__.py:43:12-58: Implicit conversion of `LoaderProtocol | Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR sphinx/pycode/__init__.py:46:26-52: The type of `source` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR sphinx/pycode/__init__.py:43:31-37: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR sphinx/pycode/__init__.py:46:26-52: The type of `source` is an explicit `Any` [explicit-any-use]
- ERROR sphinx/pycode/__init__.py:46:33-43: The type of attribute `get_source` is an explicit `Any` [explicit-any-use]
+ ERROR sphinx/pycode/__init__.py:46:33-43: The type of attribute `get_source` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR sphinx/pycode/__init__.py:53:12-81: Implicit conversion of `Literal[False] | Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR sphinx/pycode/__init__.py:53:12-81: Implicit conversion of `Literal[False] | LoaderProtocol | Any | None` to `bool` is not allowed [implicit-bool]
- ERROR sphinx/pycode/__init__.py:53:33-39: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR sphinx/pycode/__init__.py:53:33-39: Implicit conversion of `LoaderProtocol | None` to `bool` is not allowed [implicit-bool]
- ERROR sphinx/pycode/__init__.py:53:52-58: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR sphinx/pycode/__init__.py:56:35-47: The type of attribute `get_filename` is an explicit `Any` [explicit-any-use]
+ ERROR sphinx/pycode/__init__.py:56:35-47: The type of attribute `get_filename` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
+ ERROR sphinx/pycode/__init__.py:64:29-37: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR sphinx/testing/fixtures.py:230:12-24: Implicit conversion of `str | Any` to `bool` is not allowed [implicit-bool]
+ ERROR sphinx/testing/fixtures.py:230:12-24: Implicit conversion of `Literal[''] | Any` to `bool` is not allowed [implicit-bool]
- ERROR sphinx/util/typing.py:341:20-28: Implicit conversion of `tuple[()] | Any` to `bool` is not allowed [implicit-bool]
+ ERROR sphinx/util/typing.py:341:20-28: Implicit conversion of `tuple[Any, ...]` to `bool` is not allowed [implicit-bool]
- ERROR sphinx/util/typing.py:343:43-51: The type of this argument is an explicit `Any` [explicit-any-use]

werkzeug (https://github.com/pallets/werkzeug)
+ ERROR tests/live_apps/run.py:23:33-35: Cannot infer type of empty container; it will be treated as containing `Any` [implicit-any-empty-container]
+ ERROR tests/live_apps/run.py:24:8-14: The type of attribute `update` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR tests/live_apps/run.py:24:14-64: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR tests/live_apps/run.py:25:8-14: The type of attribute `update` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR tests/live_apps/run.py:25:14-39: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR tests/live_apps/run.py:26:15-40: The type of `ssl_context` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR tests/live_apps/run.py:26:22-25: The type of attribute `get` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR tests/live_apps/run.py:26:25-40: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR tests/live_apps/run.py:27:24-64: The type of `override_client_addr` is an explicit `Any` [explicit-any-use]
+ ERROR tests/live_apps/run.py:27:24-64: The type of `override_client_addr` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
+ ERROR tests/live_apps/run.py:27:31-34: The type of attribute `pop` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR tests/live_apps/run.py:27:34-64: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR tests/live_apps/run.py:30:5-26: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR tests/live_apps/run.py:32:5-26: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR tests/live_apps/run.py:35:41-71: `(_: Unknown) -> Any` is not assignable to attribute `address_string` with type `(self: WSGIRequestHandler) -> str` [bad-assignment]
+ ERROR tests/live_apps/run.py:35:41-71: `(_: Unknown) -> Unknown` is not assignable to attribute `address_string` with type `(self: WSGIRequestHandler) -> str` [bad-assignment]
- ERROR tests/live_apps/run.py:35:51-71: The return type of this lambda is an explicit `Any` [explicit-any-use]
+ ERROR tests/live_apps/run.py:35:51-71: The return type of this lambda is unknown; it is inferred as an implicit `Any` [unknown-return-type]
+ ERROR tests/live_apps/run.py:37:12-20: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR src/werkzeug/_reloader.py:50:33-43: The type of attribute `startswith` is an explicit `Any` [explicit-any-use]
- ERROR src/werkzeug/_reloader.py:53:34-38: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR src/werkzeug/_reloader.py:55:19-23: The type of `old` is an explicit `Any` [explicit-any-use]
- ERROR src/werkzeug/_reloader.py:56:20-41: The type of `name` is an explicit `Any` [explicit-any-use]
- ERROR src/werkzeug/_reloader.py:56:36-40: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR src/werkzeug/datastructures/file_storage.py:234:29-37: The type of this argument is an explicit `Any` [explicit-any-use]

pytensor (https://github.com/pymc-devs/pytensor)
- ERROR pytensor/assumptions/core.py:589:26-29: The type of this argument is an explicit `Any` [explicit-any-use]
+ ERROR pytensor/assumptions/core.py:589:12-25: Object of class `partial` has no attribute `check` [missing-attribute]
+ ERROR pytensor/compile/executor.py:706:21-70: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pytensor/d3viz/formatting.py:123:23-52: The type of `profile` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pytensor/d3viz/formatting.py:146:62-69: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pytensor/graph/basic.py:159:16-32: The type of the returned value is unknown; it is inferred as an implicit `Any` [unknown-return-type]
+ ERROR pytensor/graph/basic.py:159:16-32: The type of the returned value is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pytensor/graph/basic.py:159:29-31: The type of this argument is an explicit `Any` [explicit-any-use]
- ERROR pytensor/graph/fg.py:689:13-17: The type of `name` is an explicit `Any` [explicit-any-use]
- ERROR pytensor/graph/fg.py:690:35-39: The type of this argument is an explicit `Any` [explicit-any-use]
+ ERROR pytensor/graph/fg.py:676:18-53: The type of `attach` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pytensor/graph/fg.py:706:18-53: The type of `detach` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pytensor/graph/rewriting/basic.py:2386:41-72: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR pytensor/graph/rewriting/basic.py:2386:41-72: Implicit conversion of `str | None` to `bool` is not allowed [implicit-bool]
- ERROR pytensor/graph/rewriting/basic.py:2442:45-2444:30: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR pytensor/graph/rewriting/basic.py:2442:45-2444:30: Implicit conversion of `str | None` to `bool` is not allowed [implicit-bool]
- ERROR pytensor/graph/rewriting/basic.py:2822:16-43: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR pytensor/graph/rewriting/basic.py:2822:16-43: Implicit conversion of `Unknown | None` to `bool` is not allowed [implicit-bool]
- ERROR pytensor/graph/rewriting/db.py:433:16-57: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR pytensor/graph/rewriting/db.py:433:16-57: Implicit conversion of `float | None` to `bool` is not allowed [implicit-bool]
+ ERROR pytensor/link/utils.py:348:13-69: The type of `types` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pytensor/link/utils.py:389:48-50: Cannot infer type of empty container; it will be treated as containing `Any` [implicit-any-empty-container]
- ERROR pytensor/printing.py:293:16-40: Implicit conversion of `str | Any` to `bool` is not allowed [implicit-bool]
+ ERROR pytensor/printing.py:293:16-40: Implicit conversion of `str | None` to `bool` is not allowed [implicit-bool]
- ERROR pytensor/printing.py:294:8-16: Implicit conversion of `str | Any` to `bool` is not allowed [implicit-bool]
+ ERROR pytensor/printing.py:294:8-16: Implicit conversion of `str` to `bool` is not allowed [implicit-bool]
+ ERROR pytensor/printing.py:1116:33-86: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pytensor/printing.py:1118:17-74: Argument `Generator[partial[Any] | None]` is not assignable to parameter `iterable` with type `Iterable[dict[Variable[Unknown, Unknown], list[Any | None]] | None]` in function `list.extend` [bad-argument-type]
+ ERROR pytensor/printing.py:1118:17-74: The type of this argument is partially unknown; it contains an implicit `Any` [partially-unknown-type]
+ ERROR pytensor/printing.py:2243:19-48: The type of `profile` is partially unknown; it contains an implicit `Any` [partially-unknown-type]
- ERROR pytensor/printing.py:2347:12-19: Implicit conversion of `Any | None` to `bool` is not allowed [implicit-bool]
+ ERROR pytensor/printing.py:2347:12-19: Implicit conversion of `Unknown | None` to `bool` is not allowed [implicit-bool]
- ERROR pytensor/printing.py:2348:20-61: The type of `time` is an explicit `Any` [explicit-any-use]
+ ERROR pytensor/printing.py:2348:20-61: The type of `time` is unknown; it is inferred as an implicit `Any` [unknown-variable-type]
- ERROR pytensor/printing.py:2348:28-38: The type of attribute `apply_time` is an explicit `Any` [explicit-any-use]
+ ERROR pytensor/printing.py:2348:28-38: The type of attribute `apply_time` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR pytensor/printing.py:2348:39-42: The type of attribute `get` is an explicit `Any` [explicit-any-use]
+ ERROR pytensor/printing.py:2348:39-42: The type of attribute `get` is unknown; it is inferred as an implicit `Any` [unknown-attribute-access]
- ERROR pytensor/printing.py:2350:24-37: The type of attribute `fct_callcount` is an explicit `Any` [explicit-any-use]

... (truncated 259 lines) ...

@rchen152 rchen152 added the size/s label Nov 2, 2026
stroxler
stroxler requested changes Nov 2, 2026
View reviewed changes

@stroxler stroxler left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks! AI review flagged a number of issues we should look at before we merge; the exponential blowup is especially important to address

  1. Re-inferring arguments causes exponential work.
    [special_calls.rs:210–231](https://github.com/meta/pyrefly/blob/afd2e15ec56fc2133449070c0146c76ef4cc9093/pyrefly/lib/alt/special_calls.rs#L210-L231)
    The ordinary call already infers the receiver, then the helper infers it again. Each nested literal-name getattr doubles the work—even when specialization falls back to Any. With optimized binaries, 20 nested calls took ~12.3 seconds at head versus ~0.11 seconds at base, for both known and missing attributes. Infer the receiver once and reuse its type for validation and lookup; likewise avoid re-inferring the default.

  2. Literal lookup incorrectly resolves name-mangled fields.
    [special_calls.rs:235–240](https://github.com/meta/pyrefly/blob/afd2e15ec56fc2133449070c0146c76ef4cc9093/pyrefly/lib/alt/special_calls.rs#L235-L240)
    For a class declaring __x: int, Python stores _C__x; getattr(c, "__x") does not perform mangling. In a repro with __getattr__ returning str, the runtime result is a string, but the PR infers int and incorrectly rejects .upper(). Conservatively fall back for names recognized by the existing Ast::is_mangled_attr helper.

  3. Valid defaulted probes emit synthetic hook-call errors.
    [special_calls.rs:236–240](https://github.com/meta/pyrefly/blob/afd2e15ec56fc2133449070c0146c76ef4cc9093/pyrefly/lib/alt/special_calls.rs#L236-L240)
    If __getattr__ has overloads accepting "x" and "y", getattr(obj, "missing", None) is a valid runtime probe returning None. However, has_attr succeeds merely because the hook exists; the subsequent lookup reports “No matching overload” for "missing". Probe refinement silently and retain ordinary builtin typing when resolution fails.

  4. Cleaner logic: extract the literal name at dispatch rather than passing parallel raw/processed argument slices, and replace the existence check plus lookup with one fallible lookup.

@stroxler stroxler assigned stroxler and unassigned maggiemoss Nov 2, 2026

This branch has not been deployed

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

Reviewers

@stroxler stroxler stroxler requested changes
@maggiemoss maggiemoss Awaiting requested review from maggiemoss

Requested changes must be addressed to merge this pull request.

Assignees

@stroxler stroxler

Labels

cla signed size/s waiting-for-author

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

[Feat] better behavior for getattr() w/ literal attribute names

4 participants

@asukaminato0721 @stroxler @maggiemoss @rchen152