8000 Fix inference for overloaded __call__ with generic self by hauntsaninja · Pull Request #16053 · python/mypy · GitHub
[go: up one dir, main page]
Skip to content

Fix inference for overloaded __call__ with generic self #16053

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

Merged
merged 15 commits into from
Sep 19, 2023
Merged

Fix inference for overloaded __call__ with generic self #16053

Changes from 1 commit
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
2f12b60
Fix inference for overloaded __call__ with generic self
hauntsaninja Sep 5, 2023
a2abbb6
undo lazy hack
hauntsaninja Sep 14, 2023
98b4b30
Merge remote-tracking branch 'upstream/master' into generic-call
hauntsaninja Sep 14, 2023
d5431e1
regression test
hauntsaninja Sep 15, 2023
c36efdd
new, bad test
hauntsaninja Sep 15, 2023
89fc492
fix for non-generic callable tuple subclasses
hauntsaninja Sep 15, 2023
45a7851
Merge remote-tracking branch 'upstream/master' into generic-call
hauntsaninja Sep 15, 2023
9a776cf
fix
hauntsaninja Sep 15, 2023
844826c
check fallback args
hauntsaninja Sep 15, 2023
8004705
unnecessary if
hauntsaninja Sep 15, 2023
4499906
comment
hauntsaninja Sep 15, 2023
54187d1
remove my fix for callable generic tuple subclasses
hauntsaninja Sep 17, 2023
1d959c3
ilevkivskyi fix
hauntsaninja Sep 17, 2023
b3aa066
subtype fixes
hauntsaninja Sep 17, 2023
ca4c294
break
hauntsaninja Sep 19, 2023
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
Next Next commit
new, bad test
  • Loading branch information
@hauntsaninja
hauntsaninja committed Sep 15, 2023
commit c36efdda7434d351cdf0ff9221789a7549cba9ff
15 changes: 15 additions & 0 deletions test-data/unit/check-tuples.test
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -1434,7 +1434,22 @@ def foo(o: CallableTuple) -> int:
class CallableTuple(Tuple[str, int]):
def __call__(self, n: int, m: int) -> int:
return n
[builtins fixtures/tuple.pyi]

[case testTypeTupleGenericCall]
from typing import Generic, Tuple, TypeVar

T = TypeVar('T')

def foo(o: CallableTuple[int]) -> int:
reveal_type(o) # N: Revealed type is "Tuple[builtins.str, builtins.int, fallback=__main__.CallableTuple[builtins.int]]"
reveal_type(o.count(3)) # N: Revealed type is "builtins.int"
# TODO: incorrect error below
return o(1, 2) # E: Invalid self argument "CallableTuple[int]" to attribute function "__call__" with type "Callable[[CallableTuple[T], int, int], int]"

class CallableTuple(Tuple[str, T]):
def __call__(self, n: int, m: int) -> int:
return n
[builtins fixtures/tuple.pyi]

[case testTupleCompatibleWithSequence]
Expand Down
0