Merge pull request #20185 from geoffw0/typeconsistencycounts

Rust: Add rust/diagnostics/type-inference-consistency-counts.

Author: geoffw0

rust/ql/integration-tests/query-suite/rust-code-scanning.qls.expected

@@ -5,6 +5,7 @@ ql/rust/ql/src/queries/diagnostics/ExtractedFiles.ql
 ql/rust/ql/src/queries/diagnostics/ExtractionErrors.ql
 ql/rust/ql/src/queries/diagnostics/ExtractionWarnings.ql
 ql/rust/ql/src/queries/diagnostics/SsaConsistencyCounts.ql
+ql/rust/ql/src/queries/diagnostics/TypeInferenceConsistencyCounts.ql
 ql/rust/ql/src/queries/diagnostics/UnextractedElements.ql
 ql/rust/ql/src/queries/diagnostics/UnresolvedMacroCalls.ql
 ql/rust/ql/src/queries/security/CWE-020/RegexInjection.ql

rust/ql/integration-tests/query-suite/rust-security-and-quality.qls.expected

@@ -5,6 +5,7 @@ ql/rust/ql/src/queries/diagnostics/ExtractedFiles.ql
 ql/rust/ql/src/queries/diagnostics/ExtractionErrors.ql
 ql/rust/ql/src/queries/diagnostics/ExtractionWarnings.ql
 ql/rust/ql/src/queries/diagnostics/SsaConsistencyCounts.ql
+ql/rust/ql/src/queries/diagnostics/TypeInferenceConsistencyCounts.ql
 ql/rust/ql/src/queries/diagnostics/UnextractedElements.ql
 ql/rust/ql/src/queries/diagnostics/UnresolvedMacroCalls.ql
 ql/rust/ql/src/queries/security/CWE-020/RegexInjection.ql

rust/ql/integration-tests/query-suite/rust-security-extended.qls.expected

@@ -5,6 +5,7 @@ ql/rust/ql/src/queries/diagnostics/ExtractedFiles.ql
 ql/rust/ql/src/queries/diagnostics/ExtractionErrors.ql
 ql/rust/ql/src/queries/diagnostics/ExtractionWarnings.ql
 ql/rust/ql/src/queries/diagnostics/SsaConsistencyCounts.ql
+ql/rust/ql/src/queries/diagnostics/TypeInferenceConsistencyCounts.ql
 ql/rust/ql/src/queries/diagnostics/UnextractedElements.ql
 ql/rust/ql/src/queries/diagnostics/UnresolvedMacroCalls.ql
 ql/rust/ql/src/queries/security/CWE-020/RegexInjection.ql

rust/ql/src/queries/diagnostics/TypeInferenceConsistencyCounts.ql

@@ -0,0 +1,14 @@
+/**
+ * @name Type inference inconsistency counts
+ * @description Counts the number of type inference inconsistencies of each type.  This query is intended for internal use.
+ * @kind diagnostic
+ * @id rust/diagnostics/type-inference-consistency-counts
+ */
+
+private import codeql.rust.internal.TypeInferenceConsistency as Consistency
+
+// see also `rust/diagnostics/type-inference-consistency`, which lists the
+// individual inconsistency results.
+from string type, int num
+where num = Consistency::getTypeInferenceInconsistencyCounts(type)
+select type, num