Skip to content

Commit c93781b

Browse files
clarified gradual guarantee in test
1 parent 39fe412 commit c93781b

1 file changed

Lines changed: 4 additions & 2 deletions

File tree

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,8 @@
11
from typing import Any
22

33

4-
def test_gradual_assignment(arg: Any) -> None:
4+
def check_gradual_guarantee(arg: Any) -> int:
5+
# if Any materialized to `Callable[[], int] | None`, this function type checks
56
if callable(arg):
6-
_: int = arg()
7+
return arg() # OK
8+
return -1

0 commit comments

Comments
 (0)