Python: Add test case

Author: tausbn

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. |

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)