From 9e74a7869aa9119ff7cf00d55ca87a294a0ee210 Mon Sep 17 00:00:00 2001 From: Simon Friis Vindum Date: Mon, 12 Jan 2026 14:50:08 +0100 Subject: [PATCH] Rust: Move everything type inference related into the typeinference directory --- .../ql/consistency-queries/TypeInferenceConsistency.ql | 2 +- .../lib/codeql/rust/dataflow/internal/DataFlowImpl.qll | 2 +- .../lib/codeql/rust/dataflow/internal/ModelsAsData.qll | 4 ++-- rust/ql/lib/codeql/rust/dataflow/internal/Node.qll | 2 +- .../rust/dataflow/internal/TaintTrackingImpl.qll | 4 ++-- .../lib/codeql/rust/elements/internal/CallExprImpl.qll | 2 +- rust/ql/lib/codeql/rust/elements/internal/CallImpl.qll | 2 +- .../codeql/rust/elements/internal/FieldExprImpl.qll | 2 +- .../rust/elements/internal/InvocationExprImpl.qll | 2 +- .../codeql/rust/frameworks/rustcrypto/RustCrypto.qll | 4 ++-- rust/ql/lib/codeql/rust/internal/CachedStages.qll | 4 ++-- .../internal/typeinference/BlanketImplementation.qll | 6 +++--- .../codeql/rust/internal/typeinference/DerefChain.qll | 6 +++--- .../internal/typeinference/FunctionOverloading.qll | 6 +++--- .../rust/internal/typeinference/FunctionType.qll | 6 +++--- .../codeql/rust/internal/{ => typeinference}/Type.qll | 2 +- .../internal/{ => typeinference}/TypeInference.qll | 10 +++++----- .../{ => typeinference}/TypeInferenceConsistency.qll | 0 .../rust/internal/{ => typeinference}/TypeMention.qll | 2 +- .../rust/security/AccessAfterLifetimeExtensions.qll | 4 ++-- .../rust/security/AccessInvalidPointerExtensions.qll | 4 ++-- rust/ql/lib/codeql/rust/security/Barriers.qll | 4 ++-- .../test/PathResolutionInlineExpectationsTest.qll | 2 +- .../diagnostics/TypeInferenceConsistencyCounts.ql | 2 +- .../src/queries/summary/NodesWithTypeAtLengthLimit.ql | 2 +- rust/ql/src/queries/summary/Stats.qll | 2 +- rust/ql/src/queries/telemetry/DatabaseQuality.qll | 4 ++-- .../library-tests/type-inference/type-inference.ql | 4 ++-- 28 files changed, 48 insertions(+), 48 deletions(-) rename rust/ql/lib/codeql/rust/internal/{ => typeinference}/Type.qll (99%) rename rust/ql/lib/codeql/rust/internal/{ => typeinference}/TypeInference.qll (99%) rename rust/ql/lib/codeql/rust/internal/{ => typeinference}/TypeInferenceConsistency.qll (100%) rename rust/ql/lib/codeql/rust/internal/{ => typeinference}/TypeMention.qll (99%) diff --git a/rust/ql/consistency-queries/TypeInferenceConsistency.ql b/rust/ql/consistency-queries/TypeInferenceConsistency.ql index 2ca9e55e964e..0040e6a5473c 100644 --- a/rust/ql/consistency-queries/TypeInferenceConsistency.ql +++ b/rust/ql/consistency-queries/TypeInferenceConsistency.ql @@ -5,4 +5,4 @@ * @id rust/diagnostics/type-inference-consistency */ -import codeql.rust.internal.TypeInferenceConsistency +import codeql.rust.internal.typeinference.TypeInferenceConsistency diff --git a/rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll b/rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll index c21c053b1734..f0da3cd38f79 100644 --- a/rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll +++ b/rust/ql/lib/codeql/rust/dataflow/internal/DataFlowImpl.qll @@ -15,7 +15,7 @@ private import codeql.rust.internal.PathResolution private import codeql.rust.controlflow.ControlFlowGraph private import codeql.rust.dataflow.Ssa private import codeql.rust.dataflow.FlowSummary -private import codeql.rust.internal.TypeInference as TypeInference +private import codeql.rust.internal.typeinference.TypeInference as TypeInference private import codeql.rust.internal.typeinference.DerefChain private import Node private import Content diff --git a/rust/ql/lib/codeql/rust/dataflow/internal/ModelsAsData.qll b/rust/ql/lib/codeql/rust/dataflow/internal/ModelsAsData.qll index 7a44dc520c5a..a0c6caf85423 100644 --- a/rust/ql/lib/codeql/rust/dataflow/internal/ModelsAsData.qll +++ b/rust/ql/lib/codeql/rust/dataflow/internal/ModelsAsData.qll @@ -205,8 +205,8 @@ private module Debug { private import Private private import Content private import codeql.rust.dataflow.internal.DataFlowImpl - private import codeql.rust.internal.TypeMention - private import codeql.rust.internal.Type + private import codeql.rust.internal.typeinference.TypeMention + private import codeql.rust.internal.typeinference.Type private predicate relevantManualModel(SummarizedCallableImpl sc, string can) { exists(Provenance manual | diff --git a/rust/ql/lib/codeql/rust/dataflow/internal/Node.qll b/rust/ql/lib/codeql/rust/dataflow/internal/Node.qll index b8bfddf8adbb..e422962e71df 100644 --- a/rust/ql/lib/codeql/rust/dataflow/internal/Node.qll +++ b/rust/ql/lib/codeql/rust/dataflow/internal/Node.qll @@ -14,7 +14,7 @@ private import codeql.rust.controlflow.ControlFlowGraph private import codeql.rust.controlflow.CfgNodes private import codeql.rust.dataflow.Ssa private import codeql.rust.dataflow.FlowSummary -private import codeql.rust.internal.TypeInference as TypeInference +private import codeql.rust.internal.typeinference.TypeInference as TypeInference private import codeql.rust.internal.typeinference.DerefChain private import Node as Node private import DataFlowImpl diff --git a/rust/ql/lib/codeql/rust/dataflow/internal/TaintTrackingImpl.qll b/rust/ql/lib/codeql/rust/dataflow/internal/TaintTrackingImpl.qll index 944227d2fccf..a7c58c53dd10 100644 --- a/rust/ql/lib/codeql/rust/dataflow/internal/TaintTrackingImpl.qll +++ b/rust/ql/lib/codeql/rust/dataflow/internal/TaintTrackingImpl.qll @@ -7,8 +7,8 @@ private import Node as Node private import Content private import FlowSummaryImpl as FlowSummaryImpl private import codeql.rust.internal.CachedStages -private import codeql.rust.internal.TypeInference as TypeInference -private import codeql.rust.internal.Type as Type +private import codeql.rust.internal.typeinference.TypeInference as TypeInference +private import codeql.rust.internal.typeinference.Type as Type private import codeql.rust.frameworks.stdlib.Builtins as Builtins /** diff --git a/rust/ql/lib/codeql/rust/elements/internal/CallExprImpl.qll b/rust/ql/lib/codeql/rust/elements/internal/CallExprImpl.qll index cad921640ef3..b65b603dd8f3 100644 --- a/rust/ql/lib/codeql/rust/elements/internal/CallExprImpl.qll +++ b/rust/ql/lib/codeql/rust/elements/internal/CallExprImpl.qll @@ -15,7 +15,7 @@ module Impl { private import codeql.rust.elements.internal.InvocationExprImpl::Impl as InvocationExprImpl private import codeql.rust.elements.internal.CallImpl::Impl as CallImpl private import codeql.rust.internal.PathResolution as PathResolution - private import codeql.rust.internal.TypeInference as TypeInference + private import codeql.rust.internal.typeinference.TypeInference as TypeInference pragma[nomagic] Path getFunctionPath(CallExpr ce) { result = ce.getFunction().(PathExpr).getPath() } diff --git a/rust/ql/lib/codeql/rust/elements/internal/CallImpl.qll b/rust/ql/lib/codeql/rust/elements/internal/CallImpl.qll index e35b932242c7..2af80de6697a 100644 --- a/rust/ql/lib/codeql/rust/elements/internal/CallImpl.qll +++ b/rust/ql/lib/codeql/rust/elements/internal/CallImpl.qll @@ -1,7 +1,7 @@ private import rust module Impl { - private import codeql.rust.internal.TypeInference as TypeInference + private import codeql.rust.internal.typeinference.TypeInference as TypeInference private import codeql.rust.elements.internal.ExprImpl::Impl as ExprImpl private import codeql.rust.elements.internal.InvocationExprImpl::Impl as InvocationExprImpl diff --git a/rust/ql/lib/codeql/rust/elements/internal/FieldExprImpl.qll b/rust/ql/lib/codeql/rust/elements/internal/FieldExprImpl.qll index 469a8ccc05da..db5578b835ae 100644 --- a/rust/ql/lib/codeql/rust/elements/internal/FieldExprImpl.qll +++ b/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 codeql.rust.internal.TypeInference as TypeInference + private import codeql.rust.internal.typeinference.TypeInference as TypeInference // the following QLdoc is generated: if you need to edit it, do it in the schema file /** diff --git a/rust/ql/lib/codeql/rust/elements/internal/InvocationExprImpl.qll b/rust/ql/lib/codeql/rust/elements/internal/InvocationExprImpl.qll index e1db44eb4d12..d4f68329de94 100644 --- a/rust/ql/lib/codeql/rust/elements/internal/InvocationExprImpl.qll +++ b/rust/ql/lib/codeql/rust/elements/internal/InvocationExprImpl.qll @@ -1,7 +1,7 @@ private import rust module Impl { - private import codeql.rust.internal.TypeInference as TypeInference + private import codeql.rust.internal.typeinference.TypeInference as TypeInference private import codeql.rust.elements.internal.ExprImpl::Impl as ExprImpl private newtype TArgumentPosition = diff --git a/rust/ql/lib/codeql/rust/frameworks/rustcrypto/RustCrypto.qll b/rust/ql/lib/codeql/rust/frameworks/rustcrypto/RustCrypto.qll index cbc638c8ae54..41fdd4abe728 100644 --- a/rust/ql/lib/codeql/rust/frameworks/rustcrypto/RustCrypto.qll +++ b/rust/ql/lib/codeql/rust/frameworks/rustcrypto/RustCrypto.qll @@ -5,8 +5,8 @@ private import rust private import codeql.rust.Concepts private import codeql.rust.dataflow.DataFlow -private import codeql.rust.internal.TypeInference -private import codeql.rust.internal.Type +private import codeql.rust.internal.typeinference.TypeInference +private import codeql.rust.internal.typeinference.Type bindingset[algorithmName] private string simplifyAlgorithmName(string algorithmName) { diff --git a/rust/ql/lib/codeql/rust/internal/CachedStages.qll b/rust/ql/lib/codeql/rust/internal/CachedStages.qll index dc80fc09dad9..a92770ed2384 100644 --- a/rust/ql/lib/codeql/rust/internal/CachedStages.qll +++ b/rust/ql/lib/codeql/rust/internal/CachedStages.qll @@ -128,8 +128,8 @@ module Stages { */ cached module TypeInferenceStage { - private import codeql.rust.internal.Type - private import codeql.rust.internal.TypeInference + private import codeql.rust.internal.typeinference.Type + private import codeql.rust.internal.typeinference.TypeInference /** * Always holds. diff --git a/rust/ql/lib/codeql/rust/internal/typeinference/BlanketImplementation.qll b/rust/ql/lib/codeql/rust/internal/typeinference/BlanketImplementation.qll index c60ad3f6ae3f..1d2eda61ddb4 100644 --- a/rust/ql/lib/codeql/rust/internal/typeinference/BlanketImplementation.qll +++ b/rust/ql/lib/codeql/rust/internal/typeinference/BlanketImplementation.qll @@ -7,9 +7,9 @@ private import rust private import codeql.rust.internal.PathResolution -private import codeql.rust.internal.Type -private import codeql.rust.internal.TypeMention -private import codeql.rust.internal.TypeInference +private import Type +private import TypeMention +private import TypeInference /** * Holds if `traitBound` is the first non-trivial trait bound of `tp`. diff --git a/rust/ql/lib/codeql/rust/internal/typeinference/DerefChain.qll b/rust/ql/lib/codeql/rust/internal/typeinference/DerefChain.qll index 16e35bae421d..7fbfb7b9d7d6 100644 --- a/rust/ql/lib/codeql/rust/internal/typeinference/DerefChain.qll +++ b/rust/ql/lib/codeql/rust/internal/typeinference/DerefChain.qll @@ -2,9 +2,9 @@ private import rust private import codeql.rust.internal.PathResolution -private import codeql.rust.internal.Type -private import codeql.rust.internal.TypeInference -private import codeql.rust.internal.TypeMention +private import Type +private import TypeInference +private import codeql.rust.internal.typeinference.TypeMention private import codeql.rust.frameworks.stdlib.Stdlib private import codeql.rust.frameworks.stdlib.Builtins as Builtins private import codeql.util.UnboundList as UnboundListImpl diff --git a/rust/ql/lib/codeql/rust/internal/typeinference/FunctionOverloading.qll b/rust/ql/lib/codeql/rust/internal/typeinference/FunctionOverloading.qll index b58084e31cfb..e67fb05485f5 100644 --- a/rust/ql/lib/codeql/rust/internal/typeinference/FunctionOverloading.qll +++ b/rust/ql/lib/codeql/rust/internal/typeinference/FunctionOverloading.qll @@ -7,9 +7,9 @@ private import rust private import codeql.rust.internal.PathResolution -private import codeql.rust.internal.Type -private import codeql.rust.internal.TypeMention -private import codeql.rust.internal.TypeInference +private import Type +private import TypeMention +private import TypeInference private import FunctionType pragma[nomagic] diff --git a/rust/ql/lib/codeql/rust/internal/typeinference/FunctionType.qll b/rust/ql/lib/codeql/rust/internal/typeinference/FunctionType.qll index bbbbeaba2a64..8a72c967867d 100644 --- a/rust/ql/lib/codeql/rust/internal/typeinference/FunctionType.qll +++ b/rust/ql/lib/codeql/rust/internal/typeinference/FunctionType.qll @@ -1,8 +1,8 @@ private import rust -private import codeql.rust.internal.TypeInference private import codeql.rust.internal.PathResolution -private import codeql.rust.internal.Type -private import codeql.rust.internal.TypeMention +private import TypeInference +private import Type +private import TypeMention private newtype TFunctionPosition = TArgumentFunctionPosition(ArgumentPosition pos) or diff --git a/rust/ql/lib/codeql/rust/internal/Type.qll b/rust/ql/lib/codeql/rust/internal/typeinference/Type.qll similarity index 99% rename from rust/ql/lib/codeql/rust/internal/Type.qll rename to rust/ql/lib/codeql/rust/internal/typeinference/Type.qll index 9b409e20f76e..df08d84edd03 100644 --- a/rust/ql/lib/codeql/rust/internal/Type.qll +++ b/rust/ql/lib/codeql/rust/internal/typeinference/Type.qll @@ -1,7 +1,7 @@ /** Provides classes representing types without type arguments. */ private import rust -private import PathResolution +private import codeql.rust.internal.PathResolution private import TypeMention private import codeql.rust.internal.CachedStages private import codeql.rust.elements.internal.generated.Raw diff --git a/rust/ql/lib/codeql/rust/internal/TypeInference.qll b/rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll similarity index 99% rename from rust/ql/lib/codeql/rust/internal/TypeInference.qll rename to rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll index 22fa673af940..46454ec88b09 100644 --- a/rust/ql/lib/codeql/rust/internal/TypeInference.qll +++ b/rust/ql/lib/codeql/rust/internal/typeinference/TypeInference.qll @@ -3,14 +3,14 @@ private import codeql.util.Boolean private import codeql.util.Option private import rust -private import PathResolution +private import codeql.rust.internal.PathResolution private import Type private import Type as T private import TypeMention -private import typeinference.DerefChain -private import typeinference.FunctionType -private import typeinference.FunctionOverloading as FunctionOverloading -private import typeinference.BlanketImplementation as BlanketImplementation +private import codeql.rust.internal.typeinference.DerefChain +private import FunctionType +private import FunctionOverloading as FunctionOverloading +private import BlanketImplementation as BlanketImplementation private import codeql.rust.elements.internal.VariableImpl::Impl as VariableImpl private import codeql.rust.internal.CachedStages private import codeql.typeinference.internal.TypeInference diff --git a/rust/ql/lib/codeql/rust/internal/TypeInferenceConsistency.qll b/rust/ql/lib/codeql/rust/internal/typeinference/TypeInferenceConsistency.qll similarity index 100% rename from rust/ql/lib/codeql/rust/internal/TypeInferenceConsistency.qll rename to rust/ql/lib/codeql/rust/internal/typeinference/TypeInferenceConsistency.qll diff --git a/rust/ql/lib/codeql/rust/internal/TypeMention.qll b/rust/ql/lib/codeql/rust/internal/typeinference/TypeMention.qll similarity index 99% rename from rust/ql/lib/codeql/rust/internal/TypeMention.qll rename to rust/ql/lib/codeql/rust/internal/typeinference/TypeMention.qll index 2f451c521d89..41146e22c1b6 100644 --- a/rust/ql/lib/codeql/rust/internal/TypeMention.qll +++ b/rust/ql/lib/codeql/rust/internal/typeinference/TypeMention.qll @@ -1,9 +1,9 @@ /** Provides classes for representing type mentions, used in type inference. */ private import rust +private import codeql.rust.internal.PathResolution private import codeql.rust.frameworks.stdlib.Stdlib private import Type -private import PathResolution private import TypeInference /** An AST node that may mention a type. */ diff --git a/rust/ql/lib/codeql/rust/security/AccessAfterLifetimeExtensions.qll b/rust/ql/lib/codeql/rust/security/AccessAfterLifetimeExtensions.qll index c404f13b5314..a23e3886b245 100644 --- a/rust/ql/lib/codeql/rust/security/AccessAfterLifetimeExtensions.qll +++ b/rust/ql/lib/codeql/rust/security/AccessAfterLifetimeExtensions.qll @@ -6,8 +6,8 @@ import rust private import codeql.rust.dataflow.DataFlow private import codeql.rust.security.AccessInvalidPointerExtensions -private import codeql.rust.internal.Type -private import codeql.rust.internal.TypeInference as TypeInference +private import codeql.rust.internal.typeinference.Type +private import codeql.rust.internal.typeinference.TypeInference as TypeInference /** * Provides default sources, sinks and barriers for detecting accesses to a diff --git a/rust/ql/lib/codeql/rust/security/AccessInvalidPointerExtensions.qll b/rust/ql/lib/codeql/rust/security/AccessInvalidPointerExtensions.qll index d8d7be259339..117f67a7b4e5 100644 --- a/rust/ql/lib/codeql/rust/security/AccessInvalidPointerExtensions.qll +++ b/rust/ql/lib/codeql/rust/security/AccessInvalidPointerExtensions.qll @@ -10,8 +10,8 @@ private import codeql.rust.dataflow.FlowSink private import codeql.rust.Concepts private import codeql.rust.dataflow.internal.Node private import codeql.rust.security.Barriers as Barriers -private import codeql.rust.internal.TypeInference as TypeInference -private import codeql.rust.internal.Type +private import codeql.rust.internal.typeinference.TypeInference as TypeInference +private import codeql.rust.internal.typeinference.Type /** * Provides default sources, sinks and barriers for detecting accesses to diff --git a/rust/ql/lib/codeql/rust/security/Barriers.qll b/rust/ql/lib/codeql/rust/security/Barriers.qll index a285bfe35694..3de984073a89 100644 --- a/rust/ql/lib/codeql/rust/security/Barriers.qll +++ b/rust/ql/lib/codeql/rust/security/Barriers.qll @@ -5,8 +5,8 @@ import rust private import codeql.rust.dataflow.DataFlow -private import codeql.rust.internal.TypeInference as TypeInference -private import codeql.rust.internal.Type +private import codeql.rust.internal.typeinference.TypeInference as TypeInference +private import codeql.rust.internal.typeinference.Type private import codeql.rust.controlflow.ControlFlowGraph as Cfg private import codeql.rust.controlflow.CfgNodes as CfgNodes private import codeql.rust.frameworks.stdlib.Builtins as Builtins diff --git a/rust/ql/lib/utils/test/PathResolutionInlineExpectationsTest.qll b/rust/ql/lib/utils/test/PathResolutionInlineExpectationsTest.qll index d8b2703203dc..bde96ace1a4a 100644 --- a/rust/ql/lib/utils/test/PathResolutionInlineExpectationsTest.qll +++ b/rust/ql/lib/utils/test/PathResolutionInlineExpectationsTest.qll @@ -4,7 +4,7 @@ private import rust private import codeql.rust.internal.PathResolution -private import codeql.rust.internal.TypeInference +private import codeql.rust.internal.typeinference.TypeInference private import utils.test.InlineExpectationsTest private module ResolveTest implements TestSig { diff --git a/rust/ql/src/queries/diagnostics/TypeInferenceConsistencyCounts.ql b/rust/ql/src/queries/diagnostics/TypeInferenceConsistencyCounts.ql index 3a98cef3b818..c3cd00674c9a 100644 --- a/rust/ql/src/queries/diagnostics/TypeInferenceConsistencyCounts.ql +++ b/rust/ql/src/queries/diagnostics/TypeInferenceConsistencyCounts.ql @@ -5,7 +5,7 @@ * @id rust/diagnostics/type-inference-consistency-counts */ -private import codeql.rust.internal.TypeInferenceConsistency as Consistency +private import codeql.rust.internal.typeinference.TypeInferenceConsistency as Consistency // see also `rust/diagnostics/type-inference-consistency`, which lists the // individual inconsistency results. diff --git a/rust/ql/src/queries/summary/NodesWithTypeAtLengthLimit.ql b/rust/ql/src/queries/summary/NodesWithTypeAtLengthLimit.ql index d06d1af510c9..135bb8098ca1 100644 --- a/rust/ql/src/queries/summary/NodesWithTypeAtLengthLimit.ql +++ b/rust/ql/src/queries/summary/NodesWithTypeAtLengthLimit.ql @@ -7,7 +7,7 @@ */ import rust -import codeql.rust.internal.TypeInference +import codeql.rust.internal.typeinference.TypeInference from int atLimit where diff --git a/rust/ql/src/queries/summary/Stats.qll b/rust/ql/src/queries/summary/Stats.qll index d06389fb6a77..36eeb0df4ef4 100644 --- a/rust/ql/src/queries/summary/Stats.qll +++ b/rust/ql/src/queries/summary/Stats.qll @@ -8,7 +8,7 @@ private import codeql.rust.dataflow.internal.DataFlowImpl private import codeql.rust.dataflow.internal.TaintTrackingImpl private import codeql.rust.internal.AstConsistency as AstConsistency private import codeql.rust.internal.PathResolutionConsistency as PathResolutionConsistency -private import codeql.rust.internal.TypeInferenceConsistency as TypeInferenceConsistency +private import codeql.rust.internal.typeinference.TypeInferenceConsistency as TypeInferenceConsistency private import codeql.rust.controlflow.internal.CfgConsistency as CfgConsistency private import codeql.rust.dataflow.internal.DataFlowConsistency as DataFlowConsistency private import codeql.rust.dataflow.internal.SsaImpl::Consistency as SsaConsistency diff --git a/rust/ql/src/queries/telemetry/DatabaseQuality.qll b/rust/ql/src/queries/telemetry/DatabaseQuality.qll index 5f50cdd4c4ff..37163ffd7dda 100644 --- a/rust/ql/src/queries/telemetry/DatabaseQuality.qll +++ b/rust/ql/src/queries/telemetry/DatabaseQuality.qll @@ -7,8 +7,8 @@ import rust import codeql.util.ReportStats import codeql.rust.elements.internal.CallExprImpl::Impl as CallExprImpl -import codeql.rust.internal.TypeInference as TypeInference -import codeql.rust.internal.Type +import codeql.rust.internal.typeinference.TypeInference as TypeInference +import codeql.rust.internal.typeinference.Type /** * A file that is included in the quality statistics. diff --git a/rust/ql/test/library-tests/type-inference/type-inference.ql b/rust/ql/test/library-tests/type-inference/type-inference.ql index 81cad0f975e7..c4653f557ac7 100644 --- a/rust/ql/test/library-tests/type-inference/type-inference.ql +++ b/rust/ql/test/library-tests/type-inference/type-inference.ql @@ -1,7 +1,7 @@ import rust import utils.test.InlineExpectationsTest -import codeql.rust.internal.Type -import codeql.rust.internal.TypeInference as TypeInference +import codeql.rust.internal.typeinference.Type +import codeql.rust.internal.typeinference.TypeInference as TypeInference import TypeInference private predicate relevantNode(AstNode n) {