Python: Add test case

tausbn · web-flow · commit f91e82678158 · 2021-07-20T11:57:12.000Z
diff --git a/python/ql/test/query-tests/Variables/undefined/UninitializedLocal.expected b/python/ql/test/query-tests/Variables/undefined/UninitializedLocal.expected
@@ -11,4 +11,5 @@
 | UninitializedLocal.py:163:7:163:7 | x | Local variable 'x' may be used before it is initialized. |
 | UninitializedLocal.py:176:16:176:16 | x | Local variable 'x' may be used before it is initialized. |
 | UninitializedLocal.py:178:16:178:16 | y | Local variable 'y' may be used before it is initialized. |
+| UninitializedLocal.py:294:14:294:22 | annotated | Local variable 'annotated' may be used before it is initialized. |
 | odasa3987.py:11:8:11:10 | var | Local variable 'var' may be used before it is initialized. |
diff --git a/python/ql/test/query-tests/Variables/undefined/UninitializedLocal.py b/python/ql/test/query-tests/Variables/undefined/UninitializedLocal.py
@@ -288,3 +288,8 @@ def avoid_redundant_split(a):
         var = False
     if var:
         foo.bar() #foo is defined here.
+
+def type_annotation_fp():
+    annotated : annotation = [1,2,3]
+    for x in annotated:
+        print(x)
