Rust: Re-enable special casing in indexing for Vec

paldepind · paldepind · commit 153e91bebbf8 · 2025-06-24T09:30:23.000+02:00
diff --git a/rust/ql/lib/codeql/rust/internal/TypeInference.qll b/rust/ql/lib/codeql/rust/internal/TypeInference.qll
@@ -1132,6 +1132,8 @@ private Type inferIndexExprType(IndexExpr ie, TypePath path) {
     ) and
     result = inferType(ie.getBase(), exprPath)
   |
+    exprPath.isCons(any(Vec v).getElementTypeParameter(), path)
+    or
     exprPath.isCons(any(ArrayTypeParameter tp), path)
     or
     exists(TypePath path0 |

Original file line number	Diff line number	Diff line change
`@@ -1132,6 +1132,8 @@ private Type inferIndexExprType(IndexExpr ie, TypePath path) {`
`1132`	`1132`	`) and`
`1133`	`1133`	`result = inferType(ie.getBase(), exprPath)`
`1134`	`1134`	`\|`
	`1135`	`+ exprPath.isCons(any(Vec v).getElementTypeParameter(), path)`
	`1136`	`+ or`
`1135`	`1137`	`exprPath.isCons(any(ArrayTypeParameter tp), path)`
`1136`	`1138`	`or`
`1137`	`1139`	`exists(TypePath path0 \|`