Implement typing.cast

2026-01-09 13:32:20 +08:00 · 2019-05-27 20:59:04 +02:00
parent 8d24e35fa9
commit 5a6d8ba010
2 changed files with 18 additions and 2 deletions
--- a/test/completion/pep0484_typing.py
+++ b/test/completion/pep0484_typing.py
@@ -351,3 +351,14 @@ def foo(a: typing.List, b: typing.Dict, c: typing.MutableMapping) -> typing.Type
    c['asdf']
 #? int
 foo()
+
+def cast_tests():
+    x = 3.0
+    y = typing.cast(int, x)
+    #? int()
+    y
+    return typing.cast(str, x)
+
+
+#? str()
+cast_tests()