Python: Final(?!) fix of annotations

yoff · yoff · commit 6dc0d691ac25 · 2021-01-14T01:06:10.000+01:00
diff --git a/python/ql/test/experimental/dataflow/coverage/test.py b/python/ql/test/experimental/dataflow/coverage/test.py
@@ -597,7 +597,7 @@ def test_iterated_unpacking_assignment_conversion():
     SINK(a1)
     SINK_F(a2)  # The list itself is not tainted
     SINK_F(a2[0])
-    SINK(a2[1])  # Flow not found
+    SINK(a2[1])  # Flow not found since `*a2` does not know to read from index 2
     SINK_F(b)  # The list itself is not tainted
     SINK_F(b[0])
 
@@ -606,7 +606,7 @@ def test_iterated_unpacking_assignment_conversion():
     SINK(a1)
     SINK_F(a2)  # The list itself is not tainted
     SINK_F(a2[0])
-    SINK(a2[1])  # Flow not found
+    SINK(a2[1])  # Flow not found since `*a2` does not know to read from index 2
     SINK_F(b)  # The list itself is not tainted
     SINK_F(b[0])  # Expected FP here due to list abstraction
 
