Try to use TypeVar's bounded to Hashable for built-in hashable collections and mappings#15754
Draft
jonathandung wants to merge 5 commits intopython:mainfrom
Draft
Try to use TypeVar's bounded to Hashable for built-in hashable collections and mappings#15754jonathandung wants to merge 5 commits intopython:mainfrom
TypeVar's bounded to Hashable for built-in hashable collections and mappings#15754jonathandung wants to merge 5 commits intopython:mainfrom
Conversation
This comment has been minimized.
This comment has been minimized.
Member
|
Ah right, mypy has trouble with types being Hashable. (Not sure if there are other bugs in the CI results, but that's the first one.) |
Contributor
Author
|
Has this mypy behaviour been seen elsewhere? Also, should I proceed to work on collections.abc and collections? Thanks |
Member
|
The CI output here clearly means we can't merge this. You can look on the mypy issue tracker to see if an issue has already been reported, or even try to fix it. I looked at the CI logs a bit and it might be finding some real bugs though. In networkx we have this line: |
Member
|
|
Member
|
Relevant mypy issue python/mypy#11470 |
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
Contributor
|
Diff from mypy_primer, showing the effect of this PR on open source code: beartype (https://github.com/beartype/beartype)
+ beartype/_data/py/databuiltins.py:151: error: Value of type variable "_H1_co" of "frozenset" cannot be "type[None]" [type-var]
+ beartype/_data/cls/datacls.py:184: error: Value of type variable "_H1_co" of "frozenset" cannot be "type[_Generic]" [type-var]
+ beartype/_check/forward/reference/_cls/fwdrefmeta.py:1006: error: Type argument "type[Any]" of "dict" must be a subtype of "Hashable" [type-var]
+ beartype/_check/forward/reference/_cls/fwdrefmeta.py:1031: error: Type argument "type[Any]" of "dict" must be a subtype of "Hashable" [type-var]
CPython (Argument Clinic) (https://github.com/python/cpython)
+ Tools/clinic/libclinic/converters.py:17: error: Value of type variable "_H1" of "set" cannot be "type[object]" [type-var]
+ Tools/clinic/libclinic/converters.py:17: error: Type argument "type[object]" of "set" must be a subtype of "Hashable" [type-var]
+ Tools/clinic/libclinic/converters.py:732: error: Type argument "type[object]" of "frozenset" must be a subtype of "Hashable" [type-var]
+ Tools/clinic/libclinic/converters.py:737: error: Value of type variable "_H1_co" of "frozenset" cannot be "type[object]" [type-var]
dacite (https://github.com/konradhalas/dacite)
+ dacite/config.py:16: error: Type argument "type[Any]" of "dict" must be a subtype of "Hashable" [type-var]
+ dacite/config.py:16: error: Argument "default_factory" to "field" has incompatible type "type[dict[_KT, _VT]]"; expected "Callable[[], dict[type[Any], Callable[[Any], Any]]]" [arg-type]
+ dacite/exceptions.py:55: error: Type argument "type[Any]" of "dict" must be a subtype of "Hashable" [type-var]
sphinx (https://github.com/sphinx-doc/sphinx)
+ sphinx/pycode/ast.py:11:17: error: Type argument "type[AST]" of "dict" must be a subtype of "Hashable" [type-var]
+ sphinx/addnodes.py:304:19: error: Type argument "type[desc_sig_element]" of "set" must be a subtype of "Hashable" [type-var]
+ sphinx/domains/__init__.py: note: In class "Domain":
+ sphinx/domains/__init__.py:99:37: error: Type argument "type[Node]" of "dict" must be a subtype of "Hashable" [type-var]
+ sphinx/config.py: note: In function "check_confval_types":
+ sphinx/config.py:815:45: error: Unsupported operand types for in ("type[Any]" and "set[ABCMeta]") [operator]
+ sphinx/util/docutils.py:87:23: error: Type argument "type[Element]" of "set" must be a subtype of "Hashable" [type-var]
+ sphinx/util/docutils.py: note: In function "docutils_namespace":
+ sphinx/util/docutils.py:104:38: error: Argument 1 to "discard" of "set" has incompatible type "type[Element]"; expected "Hashable" [arg-type]
+ sphinx/util/docutils.py:104:38: note: Following member(s) of "Element" have conflicts:
+ sphinx/util/docutils.py:104:38: note: Expected:
+ sphinx/util/docutils.py:104:38: note: def __hash__() -> int
+ sphinx/util/docutils.py:104:38: note: Got:
+ sphinx/util/docutils.py:104:38: note: def __hash__(self: object) -> int
+ sphinx/registry.py: note: In member "__init__" of class "SphinxComponentRegistry":
+ sphinx/registry.py:107:37: error: Type argument "type[Node]" of "dict" must be a subtype of "Hashable" [type-var]
+ sphinx/ext/coverage.py: note: In function "_determine_py_coverage_modules":
+ sphinx/ext/coverage.py:145:30: error: Need type annotation for "additional_modules" [var-annotated]
+ sphinx/ext/inheritance_diagram.py:78:22: error: Value of type variable "_H1_co" of "frozenset" cannot be "type[Any]" [type-var]
xarray (https://github.com/pydata/xarray)
+ .../projects/_xarray_venv/lib/python3.13/site-packages/pandas-stubs/io/formats/style.pyi:17: note: ... from here,
+ .../projects/_xarray_venv/lib/python3.13/site-packages/pandas-stubs/core/frame.pyi:176: note: ... from here,
+ .../projects/_xarray_venv/lib/python3.13/site-packages/pandas-stubs/_typing.pyi:36: note: ... from here,
+ xarray/core/extension_array.py:27: note: ... from here:
+ xarray/compat/npcompat.py: note: In function "isdtype":
+ xarray/compat/npcompat.py:61: error: Unsupported operand types for - ("set[Any]" and "set[type[Any]]") [operator]
+ xarray/compat/npcompat.py:71: error: Value of type variable "_H2" of "__or__" of "set" cannot be "type[Any]" [type-var]
+ xarray/core/utils.py: note: In function "_check_dims":
+ xarray/core/utils.py:1146: error: Need type annotation for "wrong_dims" [var-annotated]
+ xarray/backends/locks.py: note: In member "__init__" of class "CombinedLock":
+ xarray/backends/locks.py:218: error: Value of type variable "_H1" of "set" cannot be "Lock" [type-var]
+ xarray/backends/api.py: note: In function "_remove_path":
+ xarray/backends/api.py:1355: error: Type argument "_FLike" of "set" must be a subtype of "Hashable" [type-var]
+ xarray/backends/api.py:1366: error: Unsupported operand types for in ("_FLike | NestedSequence[_FLike]" and "set[_FLike]") [operator]
+ xarray/core/missing.py: note: In function "interpolate_variable":
+ xarray/core/missing.py:721: error: Need type annotation for "vectorize_dims" [var-annotated]
poetry (https://github.com/python-poetry/poetry)
+ src/poetry/puzzle/solver.py:328: error: Argument 1 to "__init__" of "DFSNode" has incompatible type "tuple[str, frozenset[NormalizedName], bool]"; expected "tuple[str, frozenset[str], bool]" [arg-type]
hydra-zen (https://github.com/mit-ll-responsible-ai/hydra-zen)
+ src/hydra_zen/typing/_implementations.py:221: error: Type argument "SupportedPrimitive" of "frozenset" must be a subtype of "Hashable" [type-var]
+ src/hydra_zen/structured_configs/_implementations.py:1073: error: Unsupported operand types for in ("type[_T]" and "set[ABCMeta]") [operator]
+ src/hydra_zen/structured_configs/_implementations.py:1314: error: Unsupported operand types for in ("type[_T]" and "set[ABCMeta]") [operator]
+ src/hydra_zen/structured_configs/_implementations.py:3214: error: Value of type variable "_H1" of "set" cannot be "str | type[NOTHING]" [type-var]
+ src/hydra_zen/structured_configs/_implementations.py:3218: error: Value of type variable "_KT" of "Counter" cannot be "str | type[NOTHING]" [type-var]
Tanjun (https://github.com/FasterSpeeding/Tanjun)
+ tanjun/annotations.py:2178: error: Type argument "type[Any]" of "dict" must be a subtype of "Hashable" [type-var]
dd-trace-py (https://github.com/DataDog/dd-trace-py)
+ ddtrace/internal/telemetry/writer.py:163: error: Type argument "dict[str, Any]" of "set" must be a subtype of "Hashable" [type-var]
+ ddtrace/internal/telemetry/writer.py:591: error: Type argument "dict[str, Any]" of "set" must be a subtype of "Hashable" [type-var]
+ ddtrace/debugging/_signal/utils.py:102: error: Unsupported operand types for in ("type[Any]" and "frozenset[ABCMeta]") [operator]
+ ddtrace/debugging/_signal/utils.py:114: error: Unsupported operand types for in ("type[Any]" and "set[ABCMeta]") [operator]
+ ddtrace/debugging/_signal/utils.py:118: error: Unsupported operand types for in ("type[Any]" and "set[ABCMeta]") [operator]
+ ddtrace/debugging/_signal/utils.py:242: error: Unsupported operand types for in ("type[Any]" and "frozenset[ABCMeta]") [operator]
+ ddtrace/debugging/_signal/utils.py:258: error: Unsupported operand types for in ("type[Any]" and "frozenset[ABCMeta]") [operator]
+ ddtrace/testing/internal/writer.py:238: error: Type argument "type[TestItem[Any, Any]]" of "dict" must be a subtype of "Hashable" [type-var]
materialize (https://github.com/MaterializeInc/materialize)
+ misc/python/materialize/util.py:43: error: Type argument "type[T]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/util.py:46: error: Value of type variable "_H1" of "set" cannot be "type[T]" [type-var]
+ misc/python/materialize/util.py:46: error: Value of type variable "_H2" of "union" of "set" cannot be "type[T]" [type-var]
+ misc/python/materialize/data_ingest/data_type.py:896: error: Value of type variable "_H1" of "set" cannot be "type[DataType]" [type-var]
+ misc/python/materialize/data_ingest/data_type.py:925: error: Value of type variable "_H1" of "set" cannot be "type[DataType]" [type-var]
+ misc/python/materialize/data_ingest/data_type.py:948: error: Value of type variable "_H1" of "set" cannot be "type[DataType]" [type-var]
+ misc/python/materialize/data_ingest/data_type.py:977: error: Value of type variable "_H1" of "set" cannot be "type[DataType]" [type-var]
+ misc/python/materialize/mzbuild.py:914: error: Type argument "type[PreImage]" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/mzbuild.py:935: error: Type argument "type[PreImage]" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/mzbuild.py:1245: error: Type argument "type[PreImage]" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/framework.py:72: error: Type argument "type[T]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/framework.py:76: error: Unsupported operand types for in ("type[Capability]" and "set[type[T]]") [operator]
+ misc/python/materialize/zippy/framework.py:124: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/framework.py:129: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/framework.py:133: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/framework.py:165: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/framework.py:170: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/framework.py:194: error: Type argument "type[Action] | ActionFactory" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/storaged_actions.py:23: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/storaged_actions.py:27: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/storaged_actions.py:41: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/storaged_actions.py:51: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/storaged_actions.py:57: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/sql_server_actions.py:52: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/sql_server_actions.py:55: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/sql_server_actions.py:74: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/sql_server_actions.py:129: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/replica_actions.py:23: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/replica_actions.py:43: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/replica_actions.py:104: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/postgres_actions.py:34: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/postgres_actions.py:37: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/postgres_actions.py:56: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/postgres_actions.py:108: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/peek_actions.py:22: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/mysql_actions.py:47: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/mysql_actions.py:50: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/mysql_actions.py:69: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/mysql_actions.py:121: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/kafka_actions.py:62: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/kafka_actions.py:65: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/kafka_actions.py:76: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/kafka_actions.py:136: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/crdb_actions.py:31: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/blob_store_actions.py:31: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/balancerd_actions.py:22: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/balancerd_actions.py:26: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/balancerd_actions.py:46: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/balancerd_actions.py:56: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/balancerd_actions.py:64: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/backup_and_restore_actions.py:20: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/table_actions.py:36: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/table_actions.py:63: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/table_actions.py:96: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/table_actions.py:138: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/sql_server_cdc_actions.py:32: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/source_actions.py:33: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/source_actions.py:72: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/pg_cdc_actions.py:28: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/mysql_cdc_actions.py:29: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/debezium_actions.py:42: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/debezium_actions.py:45: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/debezium_actions.py:56: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/copy_s3_actions.py:25: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/copy_s3_actions.py:63: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/view_actions.py:37: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/view_actions.py:144: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/mz_actions.py:38: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/mz_actions.py:42: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/mz_actions.py:63: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/mz_actions.py:67: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/mz_actions.py:154: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/mz_actions.py:164: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/mz_actions.py:172: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/mz_actions.py:198: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/mz_actions.py:245: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/sink_actions.py:33: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/iceberg_actions.py:34: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/iceberg_actions.py:38: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/iceberg_actions.py:79: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/all_actions.py:29: error: Type argument "type[Capability]" of "set" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/scenarios.py:94: error: Type argument "type[Action] | ActionFactory" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/scenarios.py:111: error: Type argument "type[Action] | ActionFactory" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/scenarios.py:134: error: Type argument "type[Action] | ActionFactory" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/scenarios.py:158: error: Type argument "type[Action] | ActionFactory" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/scenarios.py:189: error: Type argument "type[Action] | ActionFactory" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/scenarios.py:208: error: Type argument "type[Action] | ActionFactory" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/scenarios.py:238: error: Type argument "type[Action] | ActionFactory" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/scenarios.py:258: error: Type argument "type[Action] | ActionFactory" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/scenarios.py:282: error: Type argument "type[Action] | ActionFactory" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/scenarios.py:304: error: Type argument "type[Action] | ActionFactory" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/scenarios.py:320: error: Type argument "type[Action] | ActionFactory" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/scenarios.py:344: error: Type argument "type[Action] | ActionFactory" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/scenarios.py:367: error: Type argument "type[Action] | ActionFactory" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/scenarios.py:385: error: Type argument "type[Action] | ActionFactory" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/scenarios.py:404: error: Type argument "type[Action] | ActionFactory" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/scenarios.py:420: error: Type argument "type[Action] | ActionFactory" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/scenarios.py:442: error: Type argument "type[Action] | ActionFactory" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/scenarios.py:471: error: Type argument "type[Action] | ActionFactory" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/scenarios.py:490: error: Type argument "type[Action] | ActionFactory" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/zippy/scenarios.py:506: error: Type argument "type[Action] | ActionFactory" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/parallel_workload/expression.py:62: error: Type argument "type[DataType]" of "dict" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/parallel_workload/worker.py:36: error: Type argument "type[Action]" of "Counter" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/parallel_workload/worker.py:40: error: Type argument "type[Action]" of "Counter" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/parallel_workload/worker.py:63: error: Argument 1 to "defaultdict" has incompatible type "type[Counter[_KT]]"; expected "Callable[[], Counter[type[Action]]] | None" [arg-type]
+ misc/python/materialize/parallel_workload/parallel_workload.py:433: error: Type argument "type[Action]" of "Counter" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/parallel_workload/parallel_workload.py:438: error: Type argument "type[Action]" of "Counter" must be a subtype of "Hashable" [type-var]
+ misc/python/materialize/parallel_workload/parallel_workload.py:438: error: Argument 1 to "defaultdict" has incompatible type "type[Counter[_KT]]"; expected "Callable[[], Counter[type[Action]]] | None" [arg-type]
pylint (https://github.com/pycqa/pylint)
+ pylint/pyreverse/utils.py:128: error: Type argument "type[Any]" of "dict" must be a subtype of "Hashable" [type-var]
+ pylint/testutils/lint_module_test.py:255: error: Unsupported operand types for == ("Counter[tuple[int, str]]" and "Counter[tuple[int, str]]") [operator]
+ pylint/testutils/lint_module_test.py:255: note: Following member(s) of "Counter[tuple[int, str]]" have conflicts:
+ pylint/testutils/lint_module_test.py:255: note: __hash__: expected "Callable[[], int]", got "None"
pydantic (https://github.com/pydantic/pydantic)
+ pydantic/v1/typing.py:562: error: Type argument "type[Any] | str | ForwardRef" of "dict" must be a subtype of "Hashable" [type-var]
+ pydantic/v1/typing.py:582: error: Value of type variable "_H1" of "set" cannot be "type[Any] | str | ForwardRef" [type-var]
+ pydantic/v1/utils.py:87: error: Type argument "type[Any]" of "set" must be a subtype of "Hashable" [type-var]
+ pydantic/v1/utils.py:110: error: Type argument "type[Any]" of "set" must be a subtype of "Hashable" [type-var]
+ pydantic/v1/config.py:69: error: Type argument "type[object]" of "dict" must be a subtype of "Hashable" [type-var]
+ pydantic/v1/config.py:104: error: Type argument "type[Any] | str | ForwardRef" of "dict" must be a subtype of "Hashable" [type-var]
+ pydantic/v1/json.py:44: error: Type argument "type[Any]" of "dict" must be a subtype of "Hashable" [type-var]
+ pydantic/v1/error_wrappers.py:136: error: Type argument "type[Exception]" of "dict" must be a subtype of "Hashable" [type-var]
+ pydantic/v1/fields.py:1044: error: Unsupported operand types for in ("type[T]" and "set[type[defaultdict[_KT, _VT]]]") [operator]
+ pydantic/_internal/_utils.py:37: error: Type argument "type[Any]" of "set" must be a subtype of "Hashable" [type-var]
+ pydantic/_internal/_utils.py:60: error: Type argument "type[Any]" of "set" must be a subtype of "Hashable" [type-var]
+ pydantic/config.py:451: error: Type argument "type[object]" of "dict" must be a subtype of "Hashable" [type-var]
+ pydantic/_internal/_validators.py:511: error: Type argument "type[IPv4Address] | type[IPv6Address] | type[IPv4Network] | type[IPv6Network] | type[IPv4Interface] | type[IPv6Interface]" of "dict" must be a subtype of "Hashable" [type-var]
+ pydantic/_internal/_config.py:60: error: Type argument "type[object]" of "dict" must be a subtype of "Hashable" [type-var]
+ pydantic/_internal/_generate_schema.py:298: error: Value of type variable "_KT" of "dict" cannot be "type[Any]" [type-var]
+ pydantic/_internal/_generate_schema.py:298: error: Type argument "type[Any]" of "dict" must be a subtype of "Hashable" [type-var]
+ pydantic/_internal/_generate_schema.py:483: error: Type argument "type[IPv4Address] | type[IPv6Address] | type[IPv4Network] | type[IPv6Network] | type[IPv4Interface] | type[IPv6Interface]" of "dict" must be a subtype of "Hashable" [type-var]
+ pydantic/main.py:451: error: Type argument "type[object]" of "dict" must be a subtype of "Hashable" [type-var]
+ pydantic/deprecated/json.py:55: error: Type argument "type[Any]" of "dict" must be a subtype of "Hashable" [type-var]
scrapy (https://github.com/scrapy/scrapy)
+ tests/test_spidermiddleware.py:130: error: Type argument "type[Any]" of "dict" must be a subtype of "Hashable" [type-var]
comtypes (https://github.com/enthought/comtypes)
+ comtypes/server/connectionpoints.py:127: error: Type argument "type[IDispatch]" of "dict" must be a subtype of "Hashable" [type-var]
schemathesis (https://github.com/schemathesis/schemathesis)
+ src/schemathesis/core/deserialization.py:15: note: ... from here:
strawberry (https://github.com/strawberry-graphql/strawberry)
+ strawberry/types/fields/resolver.py:259: error: Type argument "ReservedParameterSpecification" of "dict" must be a subtype of "Hashable" [type-var]
+ strawberry/relay/fields.py:139: error: Type argument "type[Node]" of "defaultdict" must be a subtype of "Hashable" [type-var]
stone (https://github.com/dropbox/stone)
+ stone/backends/python_type_mapping.py:37: error: Value of type variable "_KT" of "dict" cannot be "type[DataType]" [type-var]
+ stone/backends/python_type_mapping.py:37: error: Type argument "type[DataType]" of "dict" must be a subtype of "Hashable" [type-var]
spack (https://github.com/spack/spack)
+ lib/spack/spack/package_base.py:408: error: Type argument "K" of "dict" must be a subtype of "Hashable" [type-var]
+ lib/spack/spack/package_base.py:409: error: Type argument "K" of "dict" must be a subtype of "Hashable" [type-var]
+ lib/spack/spack/package_base.py:417: error: Type argument "K" of "dict" must be a subtype of "Hashable" [type-var]
+ lib/spack/spack/package_base.py:428: error: Value of type variable "_KT" of "dict" cannot be "K" [type-var]
+ lib/spack/spack/package_base.py:431: error: Type argument "K" of "dict" must be a subtype of "Hashable" [type-var]
+ lib/spack/spack/package_base.py:441: error: Type argument "K" of "dict" must be a subtype of "Hashable" [type-var]
+ lib/spack/spack/package_base.py:445: error: Type argument "K" of "dict" must be a subtype of "Hashable" [type-var]
+ lib/spack/spack/package_base.py:485: error: Type argument "K" of "dict" must be a subtype of "Hashable" [type-var]
static-frame (https://github.com/static-frame/static-frame)
+ static_frame/core/store_config.py:335: error: Type argument "type[TVStoreConfig]" of "set" must be a subtype of "Hashable" [type-var]
mypy (https://github.com/python/mypy)
+ mypy/server/objgraph.py:43: error: Unsupported operand types for in ("type[object]" and "set[ABCMeta]") [operator]
+ mypy/server/objgraph.py:43: note: See https://mypy.rtfd.io/en/stable/_refs.html#code-operator for more info
+ mypy/server/objgraph.py:72: error: Unsupported operand types for in ("type[object]" and "set[type[ReferenceType[_T]]]") [operator]
+ mypy/util.py:374: error: Type argument "type[object]" of "dict" must be a subtype of "Hashable" [type-var]
+ mypy/util.py:374: note: See https://mypy.rtfd.io/en/stable/_refs.html#code-type-var for more info
+ mypy/fastparse.py:541: error: Type argument "type[AST]" of "dict" must be a subtype of "Hashable" [type-var]
+ mypy/fastparse.py:564: error: Type argument "type[AST]" of "dict" must be a subtype of "Hashable" [type-var]
spark (https://github.com/apache/spark)
+ python/pyspark/core/rdd.py:2321: error: Value of type variable "_H1" of "set" cannot be "S" [type-var]
+ python/pyspark/sql/types.py:241: error: Type argument "type[DataTypeSingleton]" of "dict" must be a subtype of "Hashable" [type-var]
+ python/pyspark/pandas/frame.py:12082: error: Value of type variable "_H1" of "set" cannot be "type[Any]" [type-var]
+ python/pyspark/pandas/indexes/base.py:593: error: Value of type variable "_H1" of "set" cannot be "type[Any]" [type-var]
altair (https://github.com/vega/altair)
+ altair/utils/core.py:877: error: Type argument "type[SchemaBase]" of "dict" must be a subtype of "Hashable" [type-var]
+ altair/utils/core.py:953: error: Type argument "type[SchemaBase]" of "dict" must be a subtype of "Hashable" [type-var]
pytest (https://github.com/pytest-dev/pytest)
+ src/_pytest/assertion/util.py:489: error: Need type annotation for "diff" [var-annotated]
discord.py (https://github.com/Rapptz/discord.py)
+ discord/guild.py:3804: error: Type argument "Snowflake" of "Mapping" must be a subtype of "Hashable" [type-var]
+ discord/ui/select.py:141: error: Type argument "type[SelectDefaultValue] | type[Object] | type[Role] | type[Member] | type[ClientUser] | type[User] | type[GuildChannel] | type[AppCommandChannel] | type[AppCommandThread] | type[Thread]" of "dict" must be a subtype of "Hashable" [type-var]
+ discord/ui/select.py:1233: error: Type argument "type[BaseSelect[Any]]" of "dict" must be a subtype of "Hashable" [type-var]
steam.py (https://github.com/Gobot1234/steam.py)
+ steam/_gc/state.py:59: error: Type argument "type[GCProtobufMessage] | type[GCMessage]" of "dict" must be a subtype of "Hashable" [type-var]
+ steam/ext/commands/bot.py:182: error: Type argument "type[Any]" of "MappingProxyType" must be a subtype of "Hashable" [type-var]
artigraph (https://github.com/artigraph/artigraph)
+ src/arti/partitions/__init__.py:23: error: Type argument "type[Type]" of "dict" must be a subtype of "Hashable" [type-var]
+ src/arti/graphs/__init__.py:181: error: Unused "type: ignore" comment [unused-ignore]
+ src/arti/graphs/__init__.py:181: error: Argument 1 to "frozendict" has incompatible type "dict[Artifact | Producer, frozenset[Producer] | frozenset[Artifact]]"; expected "Mapping[Artifact | Producer, frozenset[Artifact | Producer]] | Iterable[tuple[Artifact | Producer, frozenset[Artifact | Producer]]]" [arg-type]
+ src/arti/graphs/__init__.py:181: note: Error code "arg-type" not covered by "type: ignore[operator]" comment
+ tests/arti/partitions/test_partitions.py:44: error: Type argument "type[Type]" of "dict" must be a subtype of "Hashable" [type-var]
werkzeug (https://github.com/pallets/werkzeug)
+ tests/test_datastructures.py:281: error: Argument 1 to "discard" of "set" has incompatible type "dict[Any, Any]"; expected "Hashable" [arg-type]
+ tests/test_datastructures.py:281: note: Following member(s) of "dict[Any, Any]" have conflicts:
+ tests/test_datastructures.py:281: note: __hash__: expected "Callable[[], int]", got "None"
Expression (https://github.com/cognitedata/Expression)
+ expression/collections/map.py:42: error: Type argument "_Key" of "Mapping" must be a subtype of "Hashable" [type-var]
+ expression/collections/map.py:135: error: Type argument "_Key" of "ItemsView" must be a subtype of "Hashable" [type-var]
+ expression/collections/map.py:137: error: Value of type variable "_KT_co" of "ItemsView" cannot be "_Key" [type-var]
+ expression/collections/map.py:137: error: Value of type variable "_KT" of "dict" cannot be "_Key" [type-var]
flake8 (https://github.com/pycqa/flake8)
+ src/flake8/options/config.py:119: error: Unsupported operand types for in ("str | type[Action] | _ARG" and "set[str]") [operator]
jinja (https://github.com/pallets/jinja)
+ src/jinja2/compiler.py:133: error: Unsupported operand types for in ("type[Any]" and "set[ABCMeta]") [operator]
+ src/jinja2/environment.py:1200: error: Value of type variable "_H1_co" of "frozenset" cannot be "str | type[Extension]" [type-var]
+ src/jinja2/ext.py:785: error: Type argument "type[Extension]" of "dict" must be a subtype of "Hashable" [type-var]
operator (https://github.com/canonical/operator)
+ ops/framework.py:716: error: Unsupported operand types for in ("type[StoredStateData] | type[EventBase]" and "set[type[Serializable]]") [operator]
flake8-pyi (https://github.com/PyCQA/flake8-pyi)
+ flake8_pyi/visitor.py:1256: error: Type argument "type[object]" of "set" must be a subtype of "Hashable" [type-var]
kornia (https://github.com/kornia/kornia)
+ kornia/core/tensor_wrapper.py:40: error: Unsupported operand types for in ("type[Any]" and "set[ABCMeta]") [operator]
+ kornia/core/tensor_wrapper.py:55: error: Unsupported operand types for in ("type[Any]" and "set[ABCMeta]") [operator]
sympy (https://github.com/sympy/sympy)
+ sympy/core/sympify.py:41: error: Type argument "type[Any]" of "dict" must be a subtype of "Hashable" [type-var]
+ sympy/core/sympify.py:44: error: Type argument "type[Any]" of "dict" must be a subtype of "Hashable" [type-var]
+ sympy/core/evalf.py:1396: error: Type argument "type[Expr]" of "dict" must be a subtype of "Hashable" [type-var]
+ sympy/core/expr.py:1929: error: Value of type variable "_H1" of "set" cannot be "Basic | type[Basic]" [type-var]
jax (https://github.com/google/jax)
+ jax/_src/effects.py:96: error: Type argument "type[Effect]" of "set" must be a subtype of "Hashable" [type-var]
+ jax/_src/tree_util.py:422: error: Type argument "type[Any]" of "dict" must be a subtype of "Hashable" [type-var]
+ jax/_src/state/types.py:672: error: Type argument "type[Any]" of "dict" must be a subtype of "Hashable" [type-var]
+ jax/_src/interpreters/mlir.py:196: error: Type argument "type[AbstractValue]" of "dict" must be a subtype of "Hashable" [type-var]
+ jax/_src/interpreters/mlir.py:407: error: Type argument "type[Any]" of "dict" must be a subtype of "Hashable" [type-var]
+ jax/_src/interpreters/pxla.py:255: error: Type argument "type[AbstractValue]" of "dict" must be a subtype of "Hashable" [type-var]
+ jax/_src/callback.py:679: error: Type argument "type[AbstractValue]" of "dict" must be a subtype of "Hashable" [type-var]
+ jax/_src/ad_checkpoint.py:695: error: Unsupported operand types for in ("Var | Literal" and "set[Var]") [operator]
+ jax/_src/dlpack.py:45: error: Type argument "str | type[Any] | dtype[Any] | SupportsDType" of "frozenset" must be a subtype of "Hashable" [type-var]
+ jax/_src/dlpack.py:45: error: Incompatible types in assignment (expression has type "frozenset[_ScalarMeta]", variable has type "frozenset[str | type[Any] | dtype[Any] | SupportsDType]") [assignment]
+ jax/_src/checkify.py:1152: error: Type argument "type[JaxException]" of "frozenset" must be a subtype of "Hashable" [type-var]
+ jax/_src/checkify.py:1152: error: Incompatible default for parameter "errors" (default has type "frozenset[type[FailedCheckError]]", parameter has type "frozenset[type[JaxException]]") [assignment]
+ jax/_src/pallas/core.py:1668: error: Type argument "type[Any]" of "dict" must be a subtype of "Hashable" [type-var]
+ jax/_src/pallas/core.py:1837: error: Type argument "type[Any]" of "dict" must be a subtype of "Hashable" [type-var]
+ jax/_src/test_util.py:366: error: Type argument "str | type[Any] | dtype[Any] | SupportsDType" of "set" must be a subtype of "Hashable" [type-var]
+ jax/_src/test_util.py:367: error: Type argument "str | type[Any] | dtype[Any] | SupportsDType" of "set" must be a subtype of "Hashable" [type-var]
+ jax/_src/pallas/fuser/block_spec.py:212: error: Type argument "Var | Literal" of "dict" must be a subtype of "Hashable" [type-var]
+ jax/_src/internal_test_util/test_harnesses.py:421: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/_src/internal_test_util/test_harnesses.py:422: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/_src/internal_test_util/test_harnesses.py:422: error: Argument 1 to "set" has incompatible type "list[str | type[Any] | dtype[Any] | SupportsDType]"; expected "Iterable[Hashable]" [arg-type]
+ jax/_src/internal_test_util/test_harnesses.py:459: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/_src/internal_test_util/test_harnesses.py:459: error: Argument 1 to "set" has incompatible type "list[str | type[Any] | dtype[Any] | SupportsDType]"; expected "Iterable[Hashable]" [arg-type]
+ jax/_src/internal_test_util/test_harnesses.py:521: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/_src/internal_test_util/test_harnesses.py:521: error: Argument 1 to "set" has incompatible type "list[str | type[Any] | dtype[Any] | SupportsDType]"; expected "Iterable[Hashable]" [arg-type]
+ jax/_src/internal_test_util/test_harnesses.py:718: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/_src/internal_test_util/test_harnesses.py:718: error: Argument 1 to "set" has incompatible type "list[str | type[Any] | dtype[Any] | SupportsDType]"; expected "Iterable[Hashable]" [arg-type]
+ jax/_src/internal_test_util/test_harnesses.py:758: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/_src/internal_test_util/test_harnesses.py:827: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/_src/internal_test_util/test_harnesses.py:827: error: Argument 1 to "set" has incompatible type "list[str | type[Any] | dtype[Any] | SupportsDType]"; expected "Iterable[Hashable]" [arg-type]
+ jax/_src/internal_test_util/test_harnesses.py:881: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/_src/internal_test_util/test_harnesses.py:881: error: Argument 1 to "set" has incompatible type "list[str | type[Any] | dtype[Any] | SupportsDType]"; expected "Iterable[Hashable]" [arg-type]
+ jax/_src/internal_test_util/test_harnesses.py:919: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/_src/internal_test_util/test_harnesses.py:919: error: Argument 1 to "set" has incompatible type "list[str | type[Any] | dtype[Any] | SupportsDType]"; expected "Iterable[Hashable]" [arg-type]
+ jax/_src/internal_test_util/test_harnesses.py:920: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/_src/internal_test_util/test_harnesses.py:920: error: Argument 1 to "set" has incompatible type "list[str | type[Any] | dtype[Any] | SupportsDType]"; expected "Iterable[Hashable]" [arg-type]
+ jax/_src/internal_test_util/test_harnesses.py:980: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/_src/internal_test_util/test_harnesses.py:980: error: Argument 1 to "set" has incompatible type "list[str | type[Any] | dtype[Any] | SupportsDType]"; expected "Iterable[Hashable]" [arg-type]
+ jax/_src/internal_test_util/test_harnesses.py:983: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/_src/internal_test_util/test_harnesses.py:983: error: Argument 1 to "set" has incompatible type "list[str | type[Any] | dtype[Any] | SupportsDType]"; expected "Iterable[Hashable]" [arg-type]
+ jax/_src/internal_test_util/test_harnesses.py:1031: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/_src/internal_test_util/test_harnesses.py:1031: error: Argument 1 to "set" has incompatible type "list[str | type[Any] | dtype[Any] | SupportsDType]"; expected "Iterable[Hashable]" [arg-type]
+ jax/_src/internal_test_util/test_harnesses.py:1100: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/_src/internal_test_util/test_harnesses.py:1401: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/_src/internal_test_util/test_harnesses.py:1401: error: Argument 1 to "set" has incompatible type "list[str | type[Any] | dtype[Any] | SupportsDType]"; expected "Iterable[Hashable]" [arg-type]
+ jax/_src/internal_test_util/test_harnesses.py:1450: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/_src/internal_test_util/test_harnesses.py:1450: error: Argument 1 to "set" has incompatible type "list[str | type[Any] | dtype[Any] | SupportsDType]"; expected "Iterable[Hashable]" [arg-type]
+ jax/_src/internal_test_util/test_harnesses.py:1652: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/_src/internal_test_util/test_harnesses.py:1652: error: Argument 1 to "set" has incompatible type "list[str | type[Any] | dtype[Any] | SupportsDType]"; expected "Iterable[Hashable]" [arg-type]
+ jax/_src/internal_test_util/test_harnesses.py:2322: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/_src/internal_test_util/test_harnesses.py:2378: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/_src/internal_test_util/test_harnesses.py:2402: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/_src/internal_test_util/test_harnesses.py:2710: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/_src/internal_test_util/test_harnesses.py:2710: error: Argument 1 to "set" has incompatible type "list[str | type[Any] | dtype[Any] | SupportsDType]"; expected "Iterable[Hashable]" [arg-type]
+ jax/_src/internal_test_util/test_harnesses.py:2711: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/_src/internal_test_util/test_harnesses.py:2711: error: Argument 1 to "set" has incompatible type "list[str | type[Any] | dtype[Any] | SupportsDType]"; expected "Iterable[Hashable]" [arg-type]
+ jax/_src/internal_test_util/test_harnesses.py:2806: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/experimental/jax2tf/tests/call_tf_test.py:227: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/experimental/jax2tf/tests/call_tf_test.py:1049: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
+ jax/experimental/jax2tf/tests/call_tf_test.py:1110: error: Value of type variable "_H1" of "set" cannot be "str | type[Any] | dtype[Any] | SupportsDType" [type-var]
ibis (https://github.com/ibis-project/ibis)
+ ibis/backends/sql/datatypes.py:1754: error: Value of type variable "_H1" of "set" cannot be "type[Never]" [type-var]
- ibis/expr/types/relations.py:939: note: def [_T_co] frozenset() -> frozenset[_T_co]
+ ibis/expr/types/relations.py:939: note: def [_H1_co: Hashable] frozenset() -> frozenset[_H1_co]
- ibis/expr/types/relations.py:939: note: def [_T_co] frozenset(Iterable[_T_co], /) -> frozenset[_T_co]
+ ibis/expr/types/relations.py:939: note: def [_H1_co: Hashable] frozenset(Iterable[_H1_co], /) -> frozenset[_H1_co]
+ ibis/backends/sql/compilers/base.py:62: error: Value of type variable "_H1_co" of "frozenset" cannot be "type[Never]" [type-var]
+ ibis/expr/datatypes/tests/test_core.py:580: error: Value of type variable "_H1" of "set" cannot be "type[Never]" [type-var]
- ibis/backends/impala/__init__.py:784: note: def [_T_co] frozenset() -> frozenset[_T_co]
+ ibis/backends/impala/__init__.py:784: note: def [_H1_co: Hashable] frozenset() -> frozenset[_H1_co]
- ibis/backends/impala/__init__.py:784: note: def [_T_co] frozenset(Iterable[_T_co], /) -> frozenset[_T_co]
+ ibis/backends/impala/__init__.py:784: note: def [_H1_co: Hashable] frozenset(Iterable[_H1_co], /) -> frozenset[_H1_co]
- ibis/backends/flink/ddl.py:104: note: def [_T] set() -> set[_T]
+ ibis/backends/flink/ddl.py:104: note: def [_H1: Hashable] set() -> set[_H1]
- ibis/backends/flink/ddl.py:104: note: def [_T] set(Iterable[_T], /) -> set[_T]
+ ibis/backends/flink/ddl.py:104: note: def [_H1: Hashable] set(Iterable[_H1], /) -> set[_H1]
graphql-core (https://github.com/graphql-python/graphql-core)
+ src/graphql/execution/execute.py:236: error: Type argument "AsyncIterator[Any]" of "set" must be a subtype of "Hashable" [type-var]
bokeh (https://github.com/bokeh/bokeh)
+ src/bokeh/sphinxext/_internal/bokeh_roles.py:60: note: ... from here:
+ src/bokeh/themes/theme.py:27: note: ... from here:
+ src/bokeh/models/util/structure.py:163: note: ... from here:
+ src/bokeh/core/query.py:55:27: error: Type argument "str | type[_Operator]" of "dict" must be a subtype of "Hashable" [type-var]
+ src/bokeh/core/query.py:55:27: error: Value of type variable "_KT" of "dict" cannot be "str | type[_Operator]" [type-var]
+ src/bokeh/core/query.py:349:18: error: Type argument "type[_Operator]" of "dict" must be a subtype of "Hashable" [type-var]
+ src/bokeh/core/serialization.py: note: In class "Serializer":
+ src/bokeh/core/serialization.py:212:30: error: Type argument "type[Any]" of "dict" must be a subtype of "Hashable" [type-var]
+ src/bokeh/core/serialization.py: note: At top level:
cwltool (https://github.com/common-workflow-language/cwltool)
+ .../projects/_cwltool_venv/lib/python3.13/site-packages/galaxy/util/plugin_config.py:16: note: ... from here,
+ .../projects/_cwltool_venv/lib/python3.13/site-packages/galaxy/tool_util/deps/containers.py:17: note: ... from here,
+ cwltool/software_requirements.py:143: note: ... from here:
+ .../projects/_cwltool_venv/lib/python3.13/site-packages/_pytest/legacypath.py:38: note: ... from here,
+ .../projects/_cwltool_venv/lib/python3.13/site-packages/pytest/__init__.py:31: note: ... from here,
+ tests/test_anon_types.py:3: note: ... from here:
tornado (https://github.com/tornadoweb/tornado)
+ tornado/platform/asyncio.py:496: error: Type argument "int | _HasFileno" of "dict" must be a subtype of "Hashable" [type-var]
+ tornado/platform/asyncio.py:497: error: Type argument "int | _HasFileno" of "dict" must be a subtype of "Hashable" [type-var]
+ tornado/platform/asyncio.py:648: error: Type argument "int | _HasFileno" of "dict" must be a subtype of "Hashable" [type-var]
mongo-python-driver (https://github.com/mongodb/mongo-python-driver)
+ bson/json_util.py:975: error: Type argument "type[Any]" of "dict" must be a subtype of "Hashable" [type-var]
+ bson/json_util.py:975: note: Error code "type-var" not covered by "type: ignore[type-arg]" comment
openlibrary (https://github.com/internetarchive/openlibrary)
+ openlibrary/admin/stats.py:11: note: ... from here:
+ openlibrary/catalog/add_book/load_book.py: note: In function "find_author":
+ openlibrary/catalog/add_book/load_book.py:184: error: Type argument "dict[Any, Any]" of "set" must be a subtype of "Hashable" [type-var]
pandas-stubs (https://github.com/pandas-dev/pandas-stubs)
+ pandas-stubs/core/series.pyi:513: error: Type argument "S1" of "KeysView" must be a subtype of "Hashable" [type-var]
+ pandas-stubs/core/series.pyi:1125: error: Type argument "S1" of "Mapping" must be a subtype of "Hashable" [type-var]
+ pandas-stubs/core/series.pyi:1140: error: Type argument "S1" of "Mapping" must be a subtype of "Hashable" [type-var]
+ tests/dtypes.py:80: error: Type argument "str | type[signedinteger[Any]]" of "dict" must be a subtype of "Hashable" [type-var]
+ tests/dtypes.py:82: error: Unpacked dict entry 0 has incompatible type "dict[object, type[signedinteger[Any]]]"; expected "SupportsKeysAndGetItem[str | type[signedinteger[Any]], type[signedinteger[Any]]]" [dict-item]
+ tests/dtypes.py:83: error: Unpacked dict entry 1 has incompatible type "dict[str, type[signedinteger[Any]]]"; expected "SupportsKeysAndGetItem[str | type[signedinteger[Any]], type[signedinteger[Any]]]" [dict-item]
+ tests/dtypes.py:85: error: Unpacked dict entry 2 has incompatible type "dict[object, type[signedinteger[Any]]]"; expected "SupportsKeysAndGetItem[str | type[signedinteger[Any]], type[signedinteger[Any]]]" [dict-item]
+ tests/dtypes.py:86: error: Unpacked dict entry 3 has incompatible type "dict[str, type[signedinteger[Any]]]"; expected "SupportsKeysAndGetItem[str | type[signedinteger[Any]], type[signedinteger[Any]]]" [dict-item]
+ tests/dtypes.py:88: error: Unpacked dict entry 4 has incompatible type "dict[object, type[signedinteger[Any]]]"; expected "SupportsKeysAndGetItem[str | type[signedinteger[Any]], type[signedinteger[Any]]]" [dict-item]
+ tests/dtypes.py:89: error: Unpacked dict entry 5 has incompatible type "dict[str, type[signedinteger[Any]]]"; expected "SupportsKeysAndGetItem[str | type[signedinteger[Any]], type[signedinteger[Any]]]" [dict-item]
+ tests/dtypes.py:91: error: Unpacked dict entry 6 has incompatible type "dict[str, type[signedinteger[Any]]]"; expected "SupportsKeysAndGetItem[str | type[signedinteger[Any]], type[signedinteger[Any]]]" [dict-item]
+ tests/dtypes.py:93: error: Unpacked dict entry 7 has incompatible type "dict[object, type[signedinteger[Any]]]"; expected "SupportsKeysAndGetItem[str | type[signedinteger[Any]], type[signedinteger[Any]]]" [dict-item]
+ tests/dtypes.py:94: error: Unpacked dict entry 8 has incompatible type "dict[str, type[signedinteger[Any]]]"; expected "SupportsKeysAndGetItem[str | type[signedinteger[Any]], type[signedinteger[Any]]]" [dict-item]
+ tests/dtypes.py:96: error: Unpacked dict entry 9 has incompatible type "dict[object, type[signedinteger[Any]]]"; expected "SupportsKeysAndGetItem[str | type[signedinteger[Any]], type[signedinteger[Any]]]" [dict-item]
+ tests/dtypes.py:98: error: Unpacked dict entry 10 has incompatible type "dict[object, type[signedinteger[Any]]]"; expected "SupportsKeysAndGetItem[str | type[signedinteger[Any]], type[signedinteger[Any]]]" [dict-item]
+ tests/dtypes.py:109: error: Type argument "str | type[unsignedinteger[Any]]" of "dict" must be a subtype of "Hashable" [type-var]
+ tests/dtypes.py:111: error: Unpacked dict entry 0 has incompatible type "dict[object, type[unsignedinteger[Any]]]"; expected "SupportsKeysAndGetItem[str | type[unsignedinteger[Any]], type[unsignedinteger[Any]]]" [dict-item]
+ tests/dtypes.py:112: error: Unpacked dict entry 1 has incompatible type "dict[str, type[unsignedinteger[Any]]]"; expected "SupportsKeysAndGetItem[str | type[unsignedinteger[Any]], type[unsignedinteger[Any]]]" [dict-item]
+ tests/dtypes.py:114: error: Unpacked dict entry 2 has incompatible type "dict[object, type[unsignedinteger[Any]]]"; expected "SupportsKeysAndGetItem[str | type[unsignedinteger[Any]], type[unsignedinteger[Any]]]" [dict-item]
+ tests/dtypes.py:115: error: Unpacked dict entry 3 has incompatible type "dict[str, type[unsignedinteger[Any]]]"; expected "SupportsKeysAndGetItem[str | type[unsignedinteger[Any]], type[unsignedinteger[Any]]]" [dict-item]
+ tests/dtypes.py:117: error: Unpacked dict entry 4 has incompatible type "dict[object, type[unsignedinteger[Any]]]"; expected "SupportsKeysAndGetItem[str | type[unsignedinteger[Any]], type[unsignedinteger[Any]]]" [dict-item]
+ tests/dtypes.py:118: error: Unpacked dict entry 5 has incompatible type "dict[str, type[unsignedinteger[Any]]]"; expected "SupportsKeysAndGetItem[str | type[unsignedinteger[Any]], type[unsignedinteger[Any]]]" [dict-item]
+ tests/dtypes.py:120: error: Unpacked dict entry 6 has incompatible type "dict[str, type[unsignedinteger[Any]]]"; expected "SupportsKeysAndGetItem[str | type[unsignedinteger[Any]], type[unsignedinteger[Any]]]" [dict-item]
+ tests/dtypes.py:122: error: Unpacked dict entry 7 has incompatible type "dict[object, type[unsignedinteger[Any]]]"; expected "SupportsKeysAndGetItem[str | type[unsignedinteger[Any]], type[unsignedinteger[Any]]]" [dict-item]
+ tests/dtypes.py:123: error: Unpacked dict entry 8 has incompatible type "dict[str, type[unsignedinteger[Any]]]"; expected "SupportsKeysAndGetItem[str | type[unsignedinteger[Any]], type[unsignedinteger[Any]]]" [dict-item]
+ tests/dtypes.py:125: error: Unpacked dict entry 9 has incompatible type "dict[object, type[unsignedinteger[Any]]]"; expected "SupportsKeysAndGetItem[str | type[unsignedinteger[Any]], type[unsignedinteger[Any]]]" [dict-item]
+ tests/dtypes.py:127: error: Unpacked dict entry 10 has incompatible type "dict[object, type[unsignedinteger[Any]]]"; expected "SupportsKeysAndGetItem[str | type[unsignedinteger[Any]], type[unsignedinteger[Any]]]" [dict-item]
+ tests/dtypes.py:137: error: Type argument "str | type[floating[Any]]" of "dict" must be a subtype of "Hashable" [type-var]
+ tests/dtypes.py:138: error: Unpacked dict entry 0 has incompatible type "dict[object, type[floating[Any]]]"; expected "SupportsKeysAndGetItem[str | type[floating[Any]], type[floating[Any]]]" [dict-item]
+ tests/dtypes.py:139: error: Unpacked dict entry 1 has incompatible type "dict[str, type[floating[Any]]]"; expected "SupportsKeysAndGetItem[str | type[floating[Any]], type[floating[Any]]]" [dict-item]
+ tests/dtypes.py:141: error: Type argument "str | type[floating[Any]]" of "dict" must be a subtype of "Hashable" [type-var]
+ tests/dtypes.py:143: error: Unpacked dict entry 0 has incompatible type "dict[object, type[floating[Any]]]"; expected "SupportsKeysAndGetItem[str | type[floating[Any]], type[floating[Any]]]" [dict-item]
+ tests/dtypes.py:144: error: Unpacked dict entry 1 has incompatible type "dict[str, type[floating[Any]]]"; expected "SupportsKeysAndGetItem[str | type[floating[Any]], type[floating[Any]]]" [dict-item]
+ tests/dtypes.py:146: error: Unpacked dict entry 2 has incompatible type "dict[object, type[floating[Any]]]"; expected "SupportsKeysAndGetItem[str | type[floating[Any]], type[floating[Any]]]" [dict-item]
+ tests/dtypes.py:147: error: Unpacked dict entry 3 has incompatible type "dict[str, type[floating[Any]]]"; expected "SupportsKeysAndGetItem[str | type[floating[Any]], type[floating[Any]]]" [dict-item]
+ tests/dtypes.py:149: error: Unpacked dict entry 4 has incompatible type "dict[object, type[floating[Any]]]"; expected "SupportsKeysAndGetItem[str | type[floating[Any]], type[floating[Any]]]" [dict-item]
+ tests/dtypes.py:150: error: Unpacked dict entry 5 has incompatible type "dict[str, type[floating[Any]]]"; expected "SupportsKeysAndGetItem[str | type[floating[Any]], type[floating[Any]]]" [dict-item]
+ tests/dtypes.py:163: error: Value of type variable "_H1" of "__or__" of "dict" cannot be "str | type[floating[Any]]" [type-var]
+ tests/dtypes.py:168: error: Type argument "str | type[complexfloating[Any, Any]]" of "dict" must be a subtype of "Hashable" [type-var]
+ tests/dtypes.py:170: error: Unpacked dict entry 0 has incompatible type "dict[object, type[complexfloating[Any, Any]]]"; expected "SupportsKeysAndGetItem[str | type[complexfloating[Any, Any]], type[complexfloating[Any, Any]]]" [dict-item]
+ tests/dtypes.py:171: error: Unpacked dict entry 1 has incompatible type "dict[str, type[complexfloating[Any, Any]]]"; expected "SupportsKeysAndGetItem[str | type[complexfloating[Any, Any]], type[complexfloating[Any, Any]]]" [dict-item]
+ tests/dtypes.py:173: error: Unpacked dict entry 2 has incompatible type "dict[object, type[complexfloating[Any, Any]]]"; expected "SupportsKeysAndGetItem[str | type[complexfloating[Any, Any]], type[complexfloating[Any, Any]]]" [dict-item]
+ tests/dtypes.py:174: error: Unpacked dict entry 3 has incompatible type "dict[str, type[complexfloating[Any, Any]]]"; expected "SupportsKeysAndGetItem[str | type[complexfloating[Any, Any]], type[complexfloating[Any, Any]]]" [dict-item]
+ tests/dtypes.py:176: error: Unpacked dict entry 4 has incompatible type "dict[object, type[complexfloating[Any, Any]]]"; expected "SupportsKeysAndGetItem[str | type[complexfloating[Any, Any]], type[complexfloating[Any, Any]]]" [dict-item]
+ tests/dtypes.py:177: error: Unpacked dict entry 5 has incompatible type "dict[str, type[complexfloating[Any, Any]]]"; expected "SupportsKeysAndGetItem[str | type[complexfloating[Any, Any]], type[complexfloating[Any, Any]]]" [dict-item]
setuptools (https://github.com/pypa/setuptools)
+ setuptools/config/expand.py:321: error: Unsupported operand types for in ("str | PathLike[str]" and "set[str]") [operator]
pytest-autoprofile (https://gitlab.com/TTsangSC/pytest-autoprofile)
+ src/pytest_autoprofile/importers.py:1063: error: Type argument "type[Exception]" of "dict" must be a subtype of "Hashable" [type-var]
numpy-stl (https://github.com/WoLpH/numpy-stl)
+ stl/base.py:144: error: Type argument "SupportsIndex | slice[Any, Any, Any] | EllipsisType | _SupportsArray[dtype[numpy.bool[builtins.bool] | integer[Any]]] | _NestedSequence[_SupportsArray[dtype[numpy.bool[builtins.bool] | integer[Any]]]] | int | _NestedSequence[int] | None | tuple[SupportsIndex | slice[Any, Any, Any] | EllipsisType | _SupportsArray[dtype[numpy.bool[builtins.bool] | integer[Any]]] | _NestedSequence[_SupportsArray[dtype[numpy.bool[builtins.bool] | integer[Any]]]] | int | _NestedSequence[int] | None, ...]" of "Mapping" must be a subtype of "Hashable" [type-var]
rotki (https://github.com/rotki/rotki)
+ rotkehlchen/api/v1/fields.py:119: error: Unsupported operand types for in ("list[Any] | str" and "set[str]") [operator]
+ rotkehlchen/tests/utils/balances.py:50: error: Type argument "type[T]" of "set" must be a subtype of "Hashable" [type-var]
attrs (https://github.com/python-attrs/attrs)
+ typing-examples/mypy.py:217: error: Value of type variable "_KT" of "dict" cannot be "C" [type-var]
+ typing-examples/mypy.py:217: error: Type argument "C" of "dict" must be a subtype of "Hashable" [type-var]
+ typing-examples/mypy.py:225: error: Value of type variable "_KT" of "dict" cannot be "C" [type-var]
+ typing-examples/mypy.py:225: error: Type argument "C" of "dict" must be a subtype of "Hashable" [type-var]
+ typing-examples/mypy.py:231: error: Value of type variable "_KT" of "dict" cannot be "C" [type-var]
+ typing-examples/mypy.py:231: error: Type argument "C" of "dict" must be a subtype of "Hashable" [type-var]
+ typing-examples/mypy.py:235: error: Value of type variable "_KT" of "dict" cannot be "C" [type-var]
+ typing-examples/mypy.py:235: error: Type argument "C" of "dict" must be a subtype of "Hashable" [type-var]
+ typing-examples/mypy.py:241: error: Value of type variable "_KT" of "dict" cannot be "C" [type-var]
+ typing-examples/mypy.py:241: error: Type argument "C" of "dict" must be a subtype of "Hashable" [type-var]
scipy-stubs (https://github.com/scipy/scipy-stubs)
+ scipy-stubs/optimize/_shgo_lib/_vertex.pyi:78: error: Type argument "_CanArrayND[floating[Any] | integer[Any] | numpy.bool[builtins.bool]] | Sequence[float | floating[Any] | integer[Any] | numpy.bool[builtins.bool]]" of "OrderedDict" must be a subtype of "Hashable" [type-var]
pandas (https://github.com/pandas-dev/pandas)
+ pandas/core/computation/expr.py:189: error: Value of type variable "_H1_co" of "frozenset" cannot be "type[AST]" [type-var]
+ pandas/core/arraylike.py:314: error: Value of type variable "_H1" of "set" cannot be "type[Any]" [type-var]
+ pandas/core/arraylike.py:315: error: Argument 1 to "issubset" of "set" has incompatible type "set[type[Any]]"; expected "Iterable[Hashable]" [arg-type]
manticore (https://github.com/trailofbits/manticore)
+ tests/other/test_smtlibv2.py:243: error: Type argument "type[Any]" of "set" must be a subtype of "Hashable" [type-var]
+ tests/other/test_smtlibv2.py:244: error: Value of type variable "_H2" of "union" of "set" cannot be "Any | type[Any]" [type-var]
+ tests/other/test_smtlibv2.py:245: error: Value of type variable "_H2" of "union" of "set" cannot be "type[Any]" [type-var]
meson (https://github.com/mesonbuild/meson)
+ mesonbuild/compilers/compilers.py:279:14: error: Unsupported operand types for in ("str | int | list[str]" and "set[str]") [operator]
+ mesonbuild/compilers/compilers.py:286:14: error: Unsupported operand types for in ("str | int | list[str]" and "set[str]") [operator]
+ mesonbuild/cmake/common.py:60:12: error: Unsupported operand types for in ("str | int | list[str]" and "set[str]") [operator]
+ mesonbuild/interpreterbase/decorators.py:397:52: error: Type argument "type[Any]" of "Mapping" must be a subtype of "Hashable" [type-var]
+ mesonbuild/interpreterbase/decorators.py:431:47: error: Type argument "type[Any]" of "Mapping" must be a subtype of "Hashable" [type-var]
+ mesonbuild/interpreterbase/interpreterbase.py:47:21: error: Value of type variable "_KT" of "dict" cannot be "type[HoldableObject] | type[int] | type[bool] | type[str] | type[list[Any]] | type[dict[Any, Any]]" [type-var]
+ mesonbuild/interpreterbase/interpreterbase.py:48:9: error: Type argument "type[HoldableObject] | type[int] | type[bool] | type[str] | type[list[Any]] | type[dict[Any, Any]]" of "dict" must be a subtype of "Hashable" [type-var]
+ mesonbuild/compilers/cpp.py:887:12: error: Unsupported operand types for in ("str | int | list[str]" and "set[str]") [operator]
+ mesonbuild/compilers/c.py:452:12: error: Unsupported operand types for in ("str | int | list[str]" and "set[str]") [operator]
+ mesonbuild/compilers/c.py:454:14: error: Unsupported operand types for in ("str | int | list[str]" and "set[str]") [operator]
+ mesonbuild/interpreter/type_checking.py:579:49: error: Need type annotation for "lang" [var-annotated]
+ mesonbuild/dependencies/qt.py:310:16: error: Unsupported operand types for in ("str | int | list[str]" and "set[str]") [operator]
+ mesonbuild/dependencies/python.py:407:28: error: Unsupported operand types for in ("str | int | list[str]" and "set[str]") [operator]
psycopg (https://github.com/psycopg/psycopg)
+ tests/test_adapt.py:438: error: "Hashable" has no attribute "__name__" [attr-defined]
+ tests/test_adapt.py:439: error: "Hashable" has no attribute "__name__" [attr-defined]
prefect (https://github.com/PrefectHQ/prefect)
+ src/prefect/utilities/collections.py:186: error: Type argument "type[T]" of "dict" must be a subtype of "Hashable" [type-var]
+ src/prefect/utilities/collections.py:201: error: Type argument "type[T]" of "dict" must be a subtype of "Hashable" [type-var]
+ src/prefect/server/events/jinja_filters.py:22: error: Type argument "type[ORMBaseModel]" of "dict" must be a subtype of "Hashable" [type-var]
+ src/prefect/utilities/engine/__init__.py:63: error: Type argument "type[Any]" of "set" must be a subtype of "Hashable" [type-var]
+ src/prefect/runtime/task_run.py:38: error: Type argument "type[bool] | type[int] | type[float] | type[str] | type[None]" of "dict" must be a subtype of "Hashable" [type-var]
+ src/prefect/runtime/flow_run.py:67: error: Type argument "type[bool] | type[int] | type[float] | type[str] |
... (truncated 32 lines) ... |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Closes #15751.