Rust: Re-enable special casing in indexing for Vec

2026-04-26 09:15:12 +02:00 · 2025-06-24 09:30:23 +02:00
parent 326c7de521
commit 153e91bebb
1 changed files with 2 additions and 0 deletions
--- 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 |