Skip to content

Infer type var tuple contents in more situations #18958

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
A5rocks wants to merge 8 commits into
base: master
Choose a base branch
from
Open

Infer type var tuple contents in more situations #18958

Changes from 1 commit
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
5b6a5e4
Infer type var tuple contents in more situations
A5rocks Apr 23, 2025
160524d
Only defer to higher quality constraints if things are unsolvable
A5rocks Apr 24, 2025
15f5ba6
Update tests to pass
A5rocks Apr 24, 2025
f1cab1e
Merge branch 'master' into more-typevartuple-inference
A5rocks Oct 4, 2025
8535ee4
Update revealed types
A5rocks Oct 4, 2025
64fc727
Merge branch 'master' into more-typevartuple-inference
A5rocks Nov 25, 2025
29ab9f8
Remove now OK bad2
A5rocks Nov 25, 2025
e28b61d
Update error message
A5rocks Nov 26, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Update error message
  • Loading branch information
@A5rocks
A5rocks authored Nov 26, 2025
commit e28b61dc5274255b36cb364b23a7a615d3d25f55
4 changes: 2 additions & 2 deletions test-data/unit/check-typevar-tuple.test
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2657,8 +2657,8 @@ def task(a: int, b: str, *, task_status: TaskStatus[str]) -> None: ...

def test() -> None:
reveal_type(nursery_start(task, "a", 2)) # N: Revealed type is "builtins.str" \
# E: Argument 1 to "nursery_start" has incompatible type "Callable[[int, str, NamedArg(TaskStatus[str], 'task_status')], None]"; expected "NurseryStartFunc[str, int, str]" \
# N: "NurseryStartFunc[str, int, str].__call__" has type "Callable[[str, int, NamedArg(TaskStatus[str], 'task_status')], object]"
# E: Argument 1 to "nursery_start" has incompatible type "def task(a: int, b: str, *, task_status: TaskStatus[str]) -> None"; expected "NurseryStartFunc[str, int, str]" \
# N: "NurseryStartFunc[str, int, str].__call__" has type "def __call__(str, int, /, *, task_status: TaskStatus[str]) -> object"
reveal_type(nursery_start(task, 1, "b")) # N: Revealed type is "builtins.str"
[builtins fixtures/tuple.pyi]

Expand Down