Skip to content

Rust: Rename `ContextType` -> `UnknownType`

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

Rust: Restrict type propagation into arguments #20683

Rust: Rename `ContextType` -> `UnknownType`
4c7f9c0
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL completed Nov 14, 2025 in 8s

5 configurations not found

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

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/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

  • 1 warning

Alerts not introduced by this pull request might have been detected because the code changes were too large.

See annotations below for details.

View all branch alerts.

Annotations

Check warning on line 2011 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
.