diff --git a/rust/ql/integration-tests/query-suite/rust-code-scanning.qls.expected b/rust/ql/integration-tests/query-suite/rust-code-scanning.qls.expected index 97e1cbe67ca4..df46f5273096 100644 --- a/rust/ql/integration-tests/query-suite/rust-code-scanning.qls.expected +++ b/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 diff --git a/rust/ql/integration-tests/query-suite/rust-security-and-quality.qls.expected b/rust/ql/integration-tests/query-suite/rust-security-and-quality.qls.expected index ae90e05411f0..5a7ddf642119 100644 --- a/rust/ql/integration-tests/query-suite/rust-security-and-quality.qls.expected +++ b/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 diff --git a/rust/ql/integration-tests/query-suite/rust-security-extended.qls.expected b/rust/ql/integration-tests/query-suite/rust-security-extended.qls.expected index 1e5167f84fba..2e34d57a5222 100644 --- a/rust/ql/integration-tests/query-suite/rust-security-extended.qls.expected +++ b/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 diff --git a/rust/ql/src/queries/diagnostics/TypeInferenceConsistencyCounts.ql b/rust/ql/src/queries/diagnostics/TypeInferenceConsistencyCounts.ql new file mode 100644 index 000000000000..3a98cef3b818 --- /dev/null +++ b/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