Rust: Type inference timing experiment

Author: hvitved

rust/ql/src/codeql-suites/rust-code-quality-extended.qls

@@ -1,3 +1,4 @@
 - queries: .
-- apply: code-quality-extended-selectors.yml
-  from: codeql/suite-helpers
+- include:
+    tags contain:
+      - type-inference-warmup

rust/ql/src/codeql-suites/rust-code-quality.qls

@@ -1,3 +1,4 @@
 - queries: .
-- apply: code-quality-selectors.yml
-  from: codeql/suite-helpers
+- include:
+    tags contain:
+      - type-inference-warmup

rust/ql/src/codeql-suites/rust-code-scanning.qls

@@ -1,4 +1,4 @@
-- description: Standard Code Scanning queries for Rust
 - queries: .
-- apply: code-scanning-selectors.yml
-  from: codeql/suite-helpers
+- include:
+    tags contain:
+      - type-inference-warmup

rust/ql/src/codeql-suites/rust-security-and-quality.qls

@@ -1,4 +1,4 @@
-- description: Security-and-quality queries for Rust
 - queries: .
-- apply: security-and-quality-selectors.yml
-  from: codeql/suite-helpers
+- include:
+    tags contain:
+      - type-inference-warmup

rust/ql/src/codeql-suites/rust-security-experimental.qls

@@ -1,4 +1,4 @@
-- description: Extended and experimental security queries for Rust
 - queries: .
-- apply: security-experimental-selectors.yml
-  from: codeql/suite-helpers
+- include:
+    tags contain:
+      - type-inference-warmup

rust/ql/src/codeql-suites/rust-security-extended.qls

@@ -1,4 +1,4 @@
-- description: Security-extended queries for Rust
 - queries: .
-- apply: security-extended-selectors.yml
-  from: codeql/suite-helpers
+- include:
+    tags contain:
+      - type-inference-warmup

rust/ql/src/queries/diagnostics/TypeInferenceWarmup.ql

@@ -0,0 +1,16 @@
+/**
+ * @name Warmup type inference cache
+ * @description Exercises the type inference implementation to make sure that it is in the cache.
+ * @kind problem
+ * @problem.severity recommendation
+ * @id rust/diagnostics/type-inference-warmup
+ * @tags type-inference-warmup
+ */
+
+import rust
+import codeql.rust.internal.Type
+import codeql.rust.internal.TypeInference
+
+from UnitType t
+where t = inferType(_)
+select t, "Dummy result"