1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
from typing import List, TypeVar, Union, Callable, Tuple
from numbers import Integral
def f0(x: int, y: Integral) -> None:
pass
def f1(x: List[int]) -> List[int]:
pass
T = TypeVar('T')
T_co = TypeVar('T_co', covariant=True)
T_contra = TypeVar('T_contra', contravariant=True)
def f2(x: List[T], y: List[T_co], z: T) -> List[T_contra]:
pass
def f3(x: Union[str, Integral]) -> None:
pass
MyStr = str
def f4(x: 'MyStr', y: MyStr) -> None:
pass
def f5(x: int, *, y: str, z: str) -> None:
pass
def f6(x: int = None, y: dict = {}) -> None:
pass
def f7(x: Callable[[int, str], int]) -> None:
# See https://github.com/ambv/typehinting/issues/149 for Callable[..., int]
pass
def f8(x: Tuple[int, str], y: Tuple[int, ...]) -> None:
pass
|
