github
diff --git a/‎python/ql/consistency-queries/TypeTrackingConsistency.ql‎
Lines changed: 7 additions & 0 deletions b/‎python/ql/consistency-queries/TypeTrackingConsistency.ql‎
Lines changed: 7 additions & 0 deletions
diff --git a/‎python/ql/test/experimental/library-tests/CallGraph/CONSISTENCY/TypeTrackingConsistency.expected‎
Lines changed: 0 additions & 2 deletions b/‎python/ql/test/experimental/library-tests/CallGraph/CONSISTENCY/TypeTrackingConsistency.expected‎
Lines changed: 0 additions & 2 deletions
@@ -36,6 +36,13 @@ private module ConsistencyChecksInput implements ConsistencyChecksInputSig {
     // which I couldn't just fix. We ignore the problems here, and instead rely on the
     // test-case added in https://github.com/github/codeql/pull/15841
     n.getLocation().getFile().getAbsolutePath().matches("%/socketserver.py")
+    or
+    // for iterable unpacking like `a,b = some_list`, we currently don't want to allow
+    // type-tracking... however, in the future when we allow tracking list indexes
+    // precisely (that is, move away from ListElementContent), we should ensure we have
+    // proper flow to the synthetic `IterableElementNode`.
+    exists(DataFlow::ListElementContent c) and
+    n instanceof DataFlow::IterableElementNode
   }
 }
Original file line number	Diff line number	Diff line change
`@@ -36,6 +36,13 @@ private module ConsistencyChecksInput implements ConsistencyChecksInputSig {`
`36`	`36`	`// which I couldn't just fix. We ignore the problems here, and instead rely on the`
`37`	`37`	`// test-case added in https://github.com/github/codeql/pull/15841`
`38`	`38`	`n.getLocation().getFile().getAbsolutePath().matches("%/socketserver.py")`
	`39`	`+ or`
	`40`	+ // for iterable unpacking like `a,b = some_list`, we currently don't want to allow
	`41`	`+ // type-tracking... however, in the future when we allow tracking list indexes`
	`42`	`+ // precisely (that is, move away from ListElementContent), we should ensure we have`
	`43`	+ // proper flow to the synthetic `IterableElementNode`.
	`44`	`+ exists(DataFlow::ListElementContent c) and`
	`45`	`+ n instanceof DataFlow::IterableElementNode`
`39`	`46`	`}`
`40`	`47`	`}`
`41`	`48`