Update rust/ql/lib/codeql/rust/internal/TypeInference.qll

geoffw0 · paldepind · web-flow · commit d02a7288ff3c · 2025-06-23T13:04:56.000+01:00
Co-authored-by: Simon Friis Vindum &lt;paldepind@github.com&gt;
diff --git a/rust/ql/lib/codeql/rust/internal/TypeInference.qll b/rust/ql/lib/codeql/rust/internal/TypeInference.qll
@@ -1152,10 +1152,9 @@ private Type inferForLoopExprType(AstNode n, TypePath path) {
       or
       iterablePath.isCons(any(ArrayTypeParameter tp), path)
       or
-      exists(TypePath path0 |
-        iterablePath.isCons(any(RefTypeParameter tp), path0) and
-        path0.isCons(any(SliceTypeParameter tp), path)
-      )
+      iterablePath
+          .stripPrefix(TypePath::cons(TRefTypeParameter(),
+              TypePath::singleton(any(SliceTypeParameter tp)))) = path
       // TODO: iterables (general case for containers, ranges etc)
     )
   )

Original file line number	Diff line number	Diff line change
`@@ -1152,10 +1152,9 @@ private Type inferForLoopExprType(AstNode n, TypePath path) {`
`1152`	`1152`	`or`
`1153`	`1153`	`iterablePath.isCons(any(ArrayTypeParameter tp), path)`
`1154`	`1154`	`or`
`1155`		`- exists(TypePath path0 \|`
`1156`		`- iterablePath.isCons(any(RefTypeParameter tp), path0) and`
`1157`		`- path0.isCons(any(SliceTypeParameter tp), path)`
`1158`		`- )`
	`1155`	`+ iterablePath`
	`1156`	`+ .stripPrefix(TypePath::cons(TRefTypeParameter(),`
	`1157`	`+ TypePath::singleton(any(SliceTypeParameter tp)))) = path`
`1159`	`1158`	`// TODO: iterables (general case for containers, ranges etc)`
`1160`	`1159`	`)`
`1161`	`1160`	`)`