JIe
2bb7059579
Some checks failed
Detach Plugins / check (FlyGrep.vim) (push) Has been cancelled
Detach Plugins / check (GitHub.vim) (push) Has been cancelled
Detach Plugins / check (JavaUnit.vim) (push) Has been cancelled
Detach Plugins / check (SourceCounter.vim) (push) Has been cancelled
Detach Plugins / check (cpicker.nvim) (push) Has been cancelled
Detach Plugins / check (dein-ui.vim) (push) Has been cancelled
Detach Plugins / check (git.vim) (push) Has been cancelled
Detach Plugins / check (iedit.vim) (push) Has been cancelled
Detach Plugins / check (scrollbar.vim) (push) Has been cancelled
Detach Plugins / check (vim-chat) (push) Has been cancelled
Detach Plugins / check (vim-cheat) (push) Has been cancelled
Detach Plugins / check (vim-todo) (push) Has been cancelled
Detach Plugins / check (xmake.vim) (push) Has been cancelled
test / Linux (nvim, nightly) (push) Has been cancelled
test / Linux (nvim, v0.3.8) (push) Has been cancelled
test / Linux (nvim, v0.4.0) (push) Has been cancelled
test / Linux (nvim, v0.4.2) (push) Has been cancelled
test / Linux (nvim, v0.4.3) (push) Has been cancelled
test / Linux (nvim, v0.4.4) (push) Has been cancelled
test / Linux (nvim, v0.5.0) (push) Has been cancelled
test / Linux (nvim, v0.5.1) (push) Has been cancelled
test / Linux (nvim, v0.6.0) (push) Has been cancelled
test / Linux (nvim, v0.6.1) (push) Has been cancelled
test / Linux (nvim, v0.7.0) (push) Has been cancelled
test / Linux (nvim, v0.7.2) (push) Has been cancelled
test / Linux (nvim, v0.8.0) (push) Has been cancelled
test / Linux (nvim, v0.8.1) (push) Has been cancelled
test / Linux (nvim, v0.8.2) (push) Has been cancelled
test / Linux (nvim, v0.8.3) (push) Has been cancelled
test / Linux (nvim, v0.9.0) (push) Has been cancelled
test / Linux (nvim, v0.9.1) (push) Has been cancelled
test / Linux (true, vim, v7.4.052) (push) Has been cancelled
test / Linux (true, vim, v7.4.1689) (push) Has been cancelled
test / Linux (true, vim, v7.4.629) (push) Has been cancelled
test / Linux (true, vim, v8.0.0027) (push) Has been cancelled
test / Linux (true, vim, v8.0.0183) (push) Has been cancelled
test / Linux (vim, nightly) (push) Has been cancelled
test / Linux (vim, v8.0.0184) (push) Has been cancelled
test / Linux (vim, v8.0.1453) (push) Has been cancelled
test / Linux (vim, v8.1.2269) (push) Has been cancelled
test / Linux (vim, v8.2.2434) (push) Has been cancelled
test / Linux (vim, v8.2.3995) (push) Has been cancelled
test / Windows (nvim, nightly) (push) Has been cancelled
test / Windows (nvim, v0.3.8) (push) Has been cancelled
test / Windows (nvim, v0.4.2) (push) Has been cancelled
test / Windows (nvim, v0.4.3) (push) Has been cancelled
test / Windows (nvim, v0.4.4) (push) Has been cancelled
test / Windows (nvim, v0.5.0) (push) Has been cancelled
test / Windows (nvim, v0.5.1) (push) Has been cancelled
test / Windows (nvim, v0.6.0) (push) Has been cancelled
test / Windows (nvim, v0.6.1) (push) Has been cancelled
test / Windows (nvim, v0.7.0) (push) Has been cancelled
test / Windows (nvim, v0.7.2) (push) Has been cancelled
test / Windows (nvim, v0.8.0) (push) Has been cancelled
test / Windows (nvim, v0.8.1) (push) Has been cancelled
test / Windows (nvim, v0.8.2) (push) Has been cancelled
test / Windows (nvim, v0.8.3) (push) Has been cancelled
test / Windows (nvim, v0.9.0) (push) Has been cancelled
test / Windows (nvim, v0.9.1) (push) Has been cancelled
test / Windows (vim, nightly) (push) Has been cancelled
test / Windows (vim, v7.4.1185) (push) Has been cancelled
test / Windows (vim, v7.4.1689) (push) Has been cancelled
test / Windows (vim, v8.0.0027) (push) Has been cancelled
test / Windows (vim, v8.0.1453) (push) Has been cancelled
test / Windows (vim, v8.1.2269) (push) Has been cancelled
test / Windows (vim, v8.2.2434) (push) Has been cancelled
test / Windows (vim, v8.2.3995) (push) Has been cancelled
docker / docker (push) Has been cancelled
mirror / check (coding) (push) Has been cancelled
mirror / check (gitee) (push) Has been cancelled
mirror / check (gitlab) (push) Has been cancelled
90 lines
1.4 KiB
Python
90 lines
1.4 KiB
Python
# python >= 3.6
|
|
from typing import List, Dict, overload, Tuple, TypeVar
|
|
|
|
lst: list
|
|
list_alias: List
|
|
list_str: List[str]
|
|
list_str: List[int]
|
|
|
|
# -------------------------
|
|
# With base classes
|
|
# -------------------------
|
|
|
|
@overload
|
|
def overload_f2(value: List) -> str: ...
|
|
@overload
|
|
def overload_f2(value: Dict) -> int: ...
|
|
|
|
#? str()
|
|
overload_f2([''])
|
|
#? int()
|
|
overload_f2({1.0: 1.0})
|
|
#? str()
|
|
overload_f2(lst)
|
|
#? str()
|
|
overload_f2(list_alias)
|
|
#? str()
|
|
overload_f2(list_str)
|
|
|
|
|
|
@overload
|
|
def overload_f3(value: list) -> str: ...
|
|
@overload
|
|
def overload_f3(value: dict) -> float: ...
|
|
|
|
#? str()
|
|
overload_f3([''])
|
|
#? float()
|
|
overload_f3({1.0: 1.0})
|
|
#? str()
|
|
overload_f3(lst)
|
|
#? str()
|
|
overload_f3(list_alias)
|
|
#? str()
|
|
overload_f3(list_str)
|
|
|
|
# -------------------------
|
|
# Generics Matching
|
|
# -------------------------
|
|
|
|
@overload
|
|
def overload_f1(value: List[str]) -> str: ...
|
|
|
|
|
|
@overload
|
|
def overload_f1(value: Dict[str, str]) -> Dict[str, str]: ...
|
|
|
|
def overload_f1():
|
|
pass
|
|
|
|
#? str()
|
|
overload_f1([''])
|
|
#? str() dict()
|
|
overload_f1(1)
|
|
#? dict()
|
|
overload_f1({'': ''})
|
|
|
|
#? str() dict()
|
|
overload_f1(lst)
|
|
#? str() dict()
|
|
overload_f1(list_alias)
|
|
#? str()
|
|
overload_f1(list_str)
|
|
#? str() dict()
|
|
overload_f1(list_int)
|
|
|
|
# -------------------------
|
|
# Broken Matching
|
|
# -------------------------
|
|
T = TypeVar('T')
|
|
|
|
@overload
|
|
def broken_f1(value: 1) -> str: ...
|
|
|
|
@overload
|
|
def broken_f1(value: Tuple[T]) -> Tuple[T]: ...
|
|
|
|
tup: Tuple[float]
|
|
#? float()
|
|
broken_f1(broken_f1(tup))[0]
|