mirror of
https://github.com/davidhalter/jedi.git
synced 2026-10-14 02:38:57 +08:00
This commit is contained in:
1 parent
8a56168d9a
commit
91206f4c65
2 files changed
+29
No files matched your search
@@ -86,3 +86,28 @@ def broken_f1(value: Tuple[T]) -> Tuple[T]: ...
|
||||
tup: Tuple[float]
|
||||
#? float()
|
||||
broken_f1(broken_f1(tup))[0]
|
||||
|
||||
# -------------------------
|
||||
# Typing Extensions
|
||||
# -------------------------
|
||||
|
||||
import typing_extensions
|
||||
import typing
|
||||
|
||||
@typing_extensions.overload
|
||||
def extensions(x: int) -> int: ...
|
||||
@typing_extensions.overload
|
||||
def extensions(x: str) -> str: ...
|
||||
#? int()
|
||||
extensions(1)
|
||||
#? str()
|
||||
extensions("")
|
||||
|
||||
@typing.overload
|
||||
def typing_direct(x: int) -> int: ...
|
||||
@typing.overload
|
||||
def typing_direct(x: str) -> str: ...
|
||||
#? int()
|
||||
typing_direct(1)
|
||||
#? str()
|
||||
typing_direct("")
|
||||
Reference in new issue
Block a user