Skip to content

report error for unsolved type variables in function calls#1749

Open
KotlinIsland wants to merge 1 commit intomainfrom
unsolved-type-var
Open

report error for unsolved type variables in function calls#1749
KotlinIsland wants to merge 1 commit intomainfrom
unsolved-type-var

Conversation

@KotlinIsland
Copy link
Collaborator

@KotlinIsland KotlinIsland commented Mar 5, 2026

@KotlinIsland KotlinIsland requested a review from DetachHead March 5, 2026 03:08
@KotlinIsland KotlinIsland requested a review from DetachHead March 5, 2026 03:21
@KotlinIsland KotlinIsland force-pushed the unsolved-type-var branch 3 times, most recently from 6ff7dcd to c5fcd37 Compare March 5, 2026 04:29
@github-actions

This comment has been minimized.

@KotlinIsland KotlinIsland force-pushed the unsolved-type-var branch 3 times, most recently from 868276b to 09ecbcc Compare March 5, 2026 06:16
@github-actions

This comment has been minimized.

Comment on lines +53 to +54
# OK: T is inferred from argument
h = MyClass.create_from(42)
Copy link
Owner

Choose a reason for hiding this comment

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

it doesnt get inferred. this reports reportUnknownMemberType and reportUnknownVariableType. see #1735 (im open to re-opening that PR btw)

Copy link
Collaborator Author

@KotlinIsland KotlinIsland Mar 9, 2026

Choose a reason for hiding this comment

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

okay, well this case is currentlly passing, it correctly doesn't report reportUnsolvedTypeVar

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

isn't that mr about defaults?

Copy link
Owner

Choose a reason for hiding this comment

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

# this should produce an error, but there are some issues with this feature, see #1499

this doesnt really explain what the issue is

isn't that mr about defaults?

hmm yeah but i guess the same thing applies to generics without defaults



# Error: T cannot be inferred
g = MyClass.create()
Copy link
Owner

Choose a reason for hiding this comment

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

this is a reportUnknownVariableType not a reportUnsolvedTypeVar. in fact the more i think about this the more i believe instead of creating a new rule, we should fix the cases that reportAny/reportUnknown* don't catch (like the example from #1499)

Copy link
Collaborator Author

Choose a reason for hiding this comment

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

there are cases where an unsolved type var don't produce an unknown, but i guess that's more esoteric

i agree we should catch the missing reportUnknowns

@github-actions
Copy link
Contributor

github-actions bot commented Mar 9, 2026

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

pyp (https://github.com/hauntsaninja/pyp)
+   .../projects/pyp/pyp.py:689:5 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/pyp/pyp.py:690:5 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/pyp/pyp.py:696:5 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/pyp/pyp.py:704:5 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/pyp/pyp.py:712:5 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/pyp/pyp.py:717:5 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/pyp/tests/test_pyp.py:706:10 - error: Type variable "AnyStr" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
- 11 errors, 231 warnings, 0 notes
+ 18 errors, 231 warnings, 0 notes

build (https://github.com/pypa/build)
+   .../projects/build/docs/conf.py:61:20 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/build/src/build/__main__.py:427:5 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/build/src/build/__main__.py:436:5 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/build/src/build/__main__.py:443:5 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/build/src/build/__main__.py:450:5 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/build/src/build/__main__.py:458:5 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/build/src/build/__main__.py:468:5 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/build/src/build/__main__.py:474:5 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/build/src/build/__main__.py:482:5 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/build/src/build/__main__.py:490:5 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/build/src/build/__main__.py:496:5 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/build/src/build/__main__.py:506:5 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/build/src/build/__main__.py:521:5 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/build/src/build/__main__.py:528:5 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/build/src/build/__main__.py:533:5 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+ .../projects/build/src/build/util.py
+   .../projects/build/src/build/util.py:45:23 - error: Type variable "_TProjectBuilder" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/build/tests/conftest.py:179:13 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/build/tests/packages/inline/build.py:63:12 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/build/tests/test_ctx_logger.py:59:13 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/build/tests/test_integration.py:35:24 - error: Type variable "AnyOrLiteralStr" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/build/tests/test_main.py:37:13 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/build/tests/test_projectbuilder.py:267:9 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/build/tests/test_projectbuilder.py:324:50 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
- 48 errors, 1501 warnings, 0 notes
+ 71 errors, 1501 warnings, 0 notes

httpx-caching (https://github.com/johtso/httpx-caching)
+   .../projects/httpx-caching/tests/conftest.py:76:20 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
- 92 errors, 906 warnings, 0 notes
+ 93 errors, 906 warnings, 0 notes

kopf (https://github.com/nolar/kopf)
+   .../projects/kopf/kopf/_cogs/configs/configuration.py:402:50 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/kopf/kopf/_cogs/configs/configuration.py:408:50 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/kopf/kopf/_cogs/configs/conventions.py:148:59 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/kopf/kopf/_cogs/structs/credentials.py:135:49 - error: Type variable "AnyStr" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/kopf/kopf/_cogs/structs/credentials.py:145:49 - error: Type variable "AnyStr" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/kopf/kopf/_cogs/structs/dicts.py:247:64 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/kopf/kopf/_cogs/structs/dicts.py:254:64 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/kopf/kopf/_cogs/structs/dicts.py:322:13 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/kopf/kopf/_cogs/structs/references.py:491:2 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/kopf/kopf/_core/engines/peering.py:311:9 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/kopf/kopf/_core/reactor/running.py:432:13 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/kopf/kopf/_kits/hierarchies.py:51:53 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/kopf/kopf/_kits/hierarchies.py:89:53 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/kopf/kopf/_kits/webhooks.py:336:22 - error: Type variable "AnyStr" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/kopf/kopf/_kits/webhooks.py:336:62 - error: Type variable "AnyStr" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
- 119 errors, 1836 warnings, 0 notes
+ 134 errors, 1836 warnings, 0 notes

psycopg (https://github.com/psycopg/psycopg)
+   .../projects/psycopg/docs/lib/libpq_docs.py:147:71 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/docs/lib/libpq_docs.py:172:17 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/docs/lib/libpq_docs.py:177:60 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/docs/lib/pg3_docs.py:181:12 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/docs/lib/sql_role.py:16:72 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/docs/lib/sql_role.py:19:55 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/docs/lib/ticket_role.py:18:75 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/docs/lib/ticket_role.py:44:16 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_adapters_map.py:226:18 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_adapters_map.py:253:32 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_adapters_map.py:258:32 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_connection_base.py:211:33 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_connection_base.py:267:24 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_connection_base.py:486:42 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_connection_base.py:523:42 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_connection_base.py:557:19 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_connection_base.py:639:21 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_connection_info.py:121:16 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_connection_info.py:129:16 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_connection_info.py:137:16 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_conninfo_attempts.py:37:16 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_conninfo_attempts_async.py:37:16 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_conninfo_utils.py:53:10 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_copy_base.py:88:39 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_cursor_base.py:94:22 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_cursor_base.py:501:60 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_cursor_base.py:620:35 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_cursor_base.py:640:48 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_dns.py:108:15 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_dns.py:122:15 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_dns.py:154:15 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_pipeline_base.py:58:16 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_py_transformer.py:309:19 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_queries.py:214:15 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_queries.py:393:10 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_tstrings.py:99:21 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_tstrings.py:112:13 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_typeinfo.py:86:20 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_typeinfo.py:88:20 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_typeinfo.py:110:16 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/_typeinfo.py:128:16 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/generators.py:248:15 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/generators.py:298:10 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/pq/_debug.py:88:17 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/pq/_pq_ctypes.py:820:18 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/pq/_pq_ctypes.py:828:18 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/pq/misc.py:148:13 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/pq/misc.py:151:23 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/pq/misc.py:153:37 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/pq/misc.py:166:22 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/pq/pq_ctypes.py:845:22 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/pq/pq_ctypes.py:1120:14 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/sql.py:476:22 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/sql.py:485:17 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/types/composite.py:491:12 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/types/enum.py:212:10 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/types/enum.py:215:22 - error: Type variable "_EnumMemberT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg/psycopg/types/enum.py:237:10 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/psycopg/psycopg_pool/psycopg_pool/pool.py:483:53 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)

... (truncated 226 lines) ...

hydra-zen (https://github.com/mit-ll-responsible-ai/hydra-zen)
+   .../projects/hydra-zen/src/hydra_zen/_launch.py:105:24 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/src/hydra_zen/_launch.py:462:23 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:575:13 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:2195:24 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/src/hydra_zen/structured_configs/_implementations.py:3544:21 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/behaviors.py:30:19 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/behaviors.py:35:21 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/behaviors.py:40:21 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/behaviors.py:44:23 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/behaviors.py:49:25 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/behaviors.py:54:26 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/behaviors.py:55:28 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/behaviors.py:59:14 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/behaviors.py:63:14 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/behaviors.py:80:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:89:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:90:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:110:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:111:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:112:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:119:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:125:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:132:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:136:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:140:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:152:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:153:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:165:18 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:186:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:187:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:320:15 - error: Type variable "Importable" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:321:15 - error: Type variable "Importable" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:339:56 - error: Type variable "Importable" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:351:56 - error: Type variable "Importable" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:379:9 - error: Type variable "Importable" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:456:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:483:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:486:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:572:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:575:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:582:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:583:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:778:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:995:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:996:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:997:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:998:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:1062:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:1063:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:1064:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:1065:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:1066:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:1067:17 - error: Type variable "F" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:1071:6 - error: Type variable "F2" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:1084:6 - error: Type variable "F2" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:1096:6 - error: Type variable "F2" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:1101:6 - error: Type variable "F2" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/hydra-zen/tests/annotations/declarations.py:1106:22 - error: Type variable "F2" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)

... (truncated 49 lines) ...

arviz (https://github.com/arviz-devs/arviz)
+   .../projects/arviz/docs/source/schema/PyMC3_schema_example.ipynb:2:2:8 - error: Type variable "HashableT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/arviz/docs/source/schema/PyStan_schema_example.ipynb:2:2:8 - error: Type variable "HashableT" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
- 58 errors, 277 warnings, 0 notes
+ 60 errors, 277 warnings, 0 notes

aiortc (https://github.com/aiortc/aiortc)
+   .../projects/aiortc/src/aiortc/codecs/__init__.py:120:14 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/aiortc/src/aiortc/codecs/__init__.py:142:24 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/aiortc/src/aiortc/codecs/g711.py:56:19 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/aiortc/src/aiortc/codecs/g722.py:61:19 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/aiortc/src/aiortc/codecs/h264.py:82:23 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/aiortc/src/aiortc/codecs/h264.py:149:20 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/aiortc/src/aiortc/codecs/h264.py:234:31 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/aiortc/src/aiortc/codecs/h264.py:318:24 - error: Type variable "DESCRIPTOR_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/aiortc/src/aiortc/codecs/opus.py:59:19 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/aiortc/src/aiortc/codecs/vpx.py:269:20 - error: Type variable "T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/aiortc/src/aiortc/codecs/vpx.py:285:24 - error: Type variable "DESCRIPTOR_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)
+   .../projects/aiortc/src/aiortc/contrib/signaling.py:229:5 - error: Type variable "_T" has no solution; consider providing it explicitly (reportUnsolvedTypeVar)

... (truncated 4434 lines) ...```

@KotlinIsland
Copy link
Collaborator Author

@DetachHead ci failed for some flake i think, wanna review?

@DetachHead
Copy link
Owner

that can happen if you push the same commit multiple times, it tries to publish a canary version that already exists

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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

report an error when a type variable cannot be resolved

2 participants