wip

Author: hvitved

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

@@ -1858,6 +1858,32 @@ private module AssocFunctionResolution {
   }
 }
 
+pragma[nomagic]
+private Type inferFunctionCallType0(
+  FunctionCallMatchingInput::Access call, FunctionPosition pos, AstNode n, DerefChain derefChain,
+  BorrowKind borrow, TypePath path
+) {
+  exists(TypePath path0 |
+    n = call.getNodeAt(pos) and
+    exists(string derefChainBorrow |
+      FunctionCallMatchingInput::decodeDerefChainBorrow(derefChainBorrow, derefChain, borrow)
+    |
+      result = FunctionCallMatching::inferAccessType(call, derefChainBorrow, pos, path0)
+      or
+      call.hasUnknownTypeAt(derefChainBorrow, pos, path0) and
+      result = TUnknownType()
+    )
+  |
+    if
+      // index expression `x[i]` desugars to `*x.index(i)`, so we must account for
+      // the implicit deref
+      pos.isReturn() and
+      call instanceof IndexExpr
+    then path0.isCons(getRefTypeParameter(_), path)
+    else path = path0
+  )
+}
+
 pragma[nomagic]
 private Type getFieldExprLookupType(FieldExpr fe, string name, DerefChain derefChain) {
   exists(TypePath path |