Rust: Move type inference/path resolution out of elements folder

Author: hvitved

Diff for: rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll

@@ -10,7 +10,7 @@ private import codeql.dataflow.internal.DataFlowImpl
 private import rust
 private import SsaImpl as SsaImpl
 private import codeql.rust.controlflow.internal.Scope as Scope
-private import codeql.rust.elements.internal.PathResolution
+private import codeql.rust.internal.PathResolution
 private import codeql.rust.controlflow.ControlFlowGraph
 private import codeql.rust.controlflow.CfgNodes
 private import codeql.rust.dataflow.Ssa

Diff for: rust/ql/lib/codeql/rust/elements/internal/CallExprImpl.qll

@@ -13,7 +13,7 @@ private import codeql.rust.elements.PathExpr
  */
 module Impl {
   private import rust
-  private import PathResolution as PathResolution
+  private import codeql.rust.internal.PathResolution as PathResolution
 
   pragma[nomagic]
   Path getFunctionPath(CallExpr ce) { result = ce.getFunction().(PathExpr).getPath() }

Diff for: rust/ql/lib/codeql/rust/elements/internal/FieldExprImpl.qll

@@ -12,7 +12,7 @@ private import codeql.rust.elements.internal.generated.FieldExpr
  */
 module Impl {
   private import rust
-  private import TypeInference as TypeInference
+  private import codeql.rust.internal.TypeInference as TypeInference
 
   // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**

Diff for: rust/ql/lib/codeql/rust/elements/internal/MethodCallExprImpl.qll

@@ -6,8 +6,8 @@
 
 private import rust
 private import codeql.rust.elements.internal.generated.MethodCallExpr
-private import codeql.rust.elements.internal.PathResolution
-private import codeql.rust.elements.internal.TypeInference
+private import codeql.rust.internal.PathResolution
+private import codeql.rust.internal.TypeInference
 
 /**
  * INTERNAL: This module contains the customizable definition of `MethodCallExpr` and should not

Diff for: rust/ql/lib/codeql/rust/elements/internal/RecordExprImpl.qll

@@ -12,7 +12,7 @@ private import codeql.rust.elements.internal.generated.RecordExpr
  */
 module Impl {
   private import rust
-  private import PathResolution as PathResolution
+  private import codeql.rust.internal.PathResolution as PathResolution
 
   // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**

Diff for: rust/ql/lib/codeql/rust/elements/internal/RecordPatImpl.qll

@@ -12,7 +12,7 @@ private import codeql.rust.elements.internal.generated.RecordPat
  */
 module Impl {
   private import rust
-  private import PathResolution as PathResolution
+  private import codeql.rust.internal.PathResolution as PathResolution
 
   // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**

Diff for: rust/ql/lib/codeql/rust/elements/internal/TupleStructPatImpl.qll

@@ -12,7 +12,7 @@ private import codeql.rust.elements.internal.generated.TupleStructPat
  */
 module Impl {
   private import rust
-  private import PathResolution as PathResolution
+  private import codeql.rust.internal.PathResolution as PathResolution
 
   // the following QLdoc is generated: if you need to edit it, do it in the schema file
   /**

Diff for: rust/ql/lib/codeql/rust/internal/CachedStages.qll

@@ -100,8 +100,8 @@ module Stages {
    */
   cached
   module TypeInference {
-    private import codeql.rust.elements.internal.Type
-    private import codeql.rust.elements.internal.TypeInference
+    private import codeql.rust.internal.Type
+    private import codeql.rust.internal.TypeInference
 
     /**
      * Always holds.

Diff for: rust/ql/lib/codeql/rust/elements/internal/PathResolution.qll renamed to rust/ql/lib/codeql/rust/internal/PathResolution.qll

@@ -3,7 +3,7 @@
  */
 
 private import rust
-private import codeql.rust.elements.internal.PathResolution
+private import PathResolution
 
 /** Holds if `p` may resolve to multiple items including `i`. */
 query predicate multiplePathResolutions(Path p, ItemNode i) {

Diff for: rust/ql/lib/codeql/rust/internal/PathResolutionConsistency.qll

@@ -2,4 +2,4 @@
  * Provides classes for recognizing type inference inconsistencies.
  */
 
-import codeql.rust.elements.internal.TypeInference::Consistency
+import TypeInference::Consistency

Diff for: rust/ql/lib/codeql/rust/elements/internal/Type.qll renamed to rust/ql/lib/codeql/rust/internal/Type.qll

@@ -1,6 +1,6 @@
 import rust
-import codeql.rust.elements.internal.PathResolution
-import codeql.rust.elements.internal.TypeInference
+import codeql.rust.internal.PathResolution
+import codeql.rust.internal.TypeInference
 import utils.test.InlineExpectationsTest
 import TestUtils
 

Diff for: rust/ql/lib/codeql/rust/elements/internal/TypeInference.qll renamed to rust/ql/lib/codeql/rust/internal/TypeInference.qll

@@ -1,5 +1,5 @@
 import rust
-import codeql.rust.elements.internal.TypeInference as TypeInference
+import codeql.rust.internal.TypeInference as TypeInference
 import TypeInference
 import utils.test.InlineExpectationsTest