temp

Author: hvitved

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

@@ -268,12 +268,16 @@ private predicate isPanicMacroCall(MacroExpr me) {
   me.getMacroCall().resolveMacro().(MacroRules).getName().getText() = "panic"
 }
 
-private Type inferCertainStructExprType(StructExpr se, TypePath path) {
-  result = se.getPath().(TypeMention).getTypeAt(path)
-}
+/** Module for inferring certain type information. */
+module CertainTypeInference {
+  // todo: remove module wrapper
+  Type inferCertainStructExprType(StructExpr se, TypePath path) {
+    result = se.getPath().(TypeMention).getTypeAt(path)
+  }
 
-private Type inferCertainStructPatType(StructPat sp, TypePath path) {
-  result = sp.getPath().(TypeMention).getTypeAt(path)
+  Type inferCertainStructPatType(StructPat sp, TypePath path) {
+    result = sp.getPath().(TypeMention).getTypeAt(path)
+  }
 }
 
 private Type inferAssignmentOperationType(AstNode n, TypePath path) {
@@ -386,6 +390,13 @@ private class NonAssocCallExpr extends CallExpr {
   }
 }
 
+/**
+ * Provides functionality related to context-based typing of calls.
+ */
+private module ContextTyping {
+  // todo: remove
+}
+
 /**
  * Holds if the type path `path` pointing to `type` is stripped of any leading
  * complex root type allowed for `self` parameters, such as `&`, `Box`, `Rc`,
@@ -2167,6 +2178,7 @@ private TupleType inferArgList(ArgList args, TypePath path) {
 
 cached
 private module Cached {
+  // todo: remove module wrapper
   /** Holds if `n` is implicitly dereferenced and/or borrowed. */
   cached
   predicate implicitDerefChainBorrow(Expr e, DerefChain derefChain, boolean borrow) {
@@ -2993,9 +3005,9 @@ private module Input3 implements InputSig3 {
     result = inferRefExprType(n) and
     path.isEmpty()
     or
-    result = inferCertainStructExprType(n, path)
+    result = CertainTypeInference::inferCertainStructExprType(n, path)
     or
-    result = inferCertainStructPatType(n, path)
+    result = CertainTypeInference::inferCertainStructPatType(n, path)
     or
     result = inferRangeExprType(n) and
     path.isEmpty()