temp

Author: hvitved

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

@@ -268,12 +268,15 @@ 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 {
+  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) {
@@ -2993,9 +2996,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()