Skip to content

Rust: Add type inference debug predicates

4f5b340
Select commit
Loading
Failed to load commit list.
Merged

Rust: Add type inference debug predicates #19425

Rust: Add type inference debug predicates
4f5b340
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL completed Apr 30, 2025 in 8s

7 configurations not found

Warning: Code scanning may not have found all the alerts introduced by this pull request, because 7 configurations present on refs/heads/main were not found:

Actions workflow (rust-analysis.yml)

  • ❓  .github/workflows/rust-analysis.yml:analyze/language:rust

Actions workflow (csv-coverage-metrics.yml)

  • ❓  .github/workflows/csv-coverage-metrics.yml:publish-csharp
  • ❓  .github/workflows/csv-coverage-metrics.yml:publish-java

Actions workflow (codeql-analysis.yml)

  • ❓  .github/workflows/codeql-analysis.yml:CodeQL-Build
  • ❓  .github/workflows/codeql-analysis.yml:CodeQL-Build/language:actions
  • ❓  .github/workflows/codeql-analysis.yml:CodeQL-Build/language:csharp

Actions workflow (cpp-swift-analysis.yml)

  • ❓  .github/workflows/cpp-swift-analysis.yml:CodeQL-Build

New alerts in code changed by this pull request

  • 4 warnings

See annotations below for details.

View all branch alerts.

Annotations

Check warning on line 1022 in rust/ql/lib/codeql/rust/internal/TypeInference.qll

See this annotation in the file changed.

Code scanning / CodeQL

Dead code Warning

This code is never used, and it's not publicly exported.

Check warning on line 1024 in rust/ql/lib/codeql/rust/internal/TypeInference.qll

See this annotation in the file changed.

Code scanning / CodeQL

Omittable 'exists' variable Warning

This exists variable can be omitted by using a don't-care expression
in this argument
.

Check warning on line 1024 in rust/ql/lib/codeql/rust/internal/TypeInference.qll

See this annotation in the file changed.

Code scanning / CodeQL

Omittable 'exists' variable Warning

This exists variable can be omitted by using a don't-care expression
in this argument
.

Check warning on line 1024 in rust/ql/lib/codeql/rust/internal/TypeInference.qll

See this annotation in the file changed.

Code scanning / CodeQL

Omittable 'exists' variable Warning

This exists variable can be omitted by using a don't-care expression
in this argument
.